Dimostrazioni del Capitolo 18

Dimostrazione del Teorema 18.1 (olomora della trasformata di Laplace),

pagina 490
Dobbiamo dimostrare che la trasformata di Laplace F(p) = L[f] di f con ascissa
di convergenza a < + `e olomorfa nel semipiano {p C : Re p > a} e
F

(p) =
_
+
0
xe
px
f(x) dx.
Fissato p, verichiamo che
I(h) :=
F(p + h) F(p)
h
+
_
+
0
xe
px
f(x) dx
=
_
+
0
_
e
hx
1
hx
+ 1
_
xe
px
f(x) dx 0 per h 0 (h C).
Osserviamo preliminarmente che, poiche Re p > a, esiste R
+
tale che p

=
p 2 > a. Non `e restrittivo supporre nel seguito che |h| < . Inne, poniamo
g(z) =
_
e
z
1
z
+ 1 se z = 0
0 se z = 0.
Ricordando che (e
z
1)/z 1 per z 0, risulta g C(C) e I(h) si riscrive come
I(h) =
_
+
0
g(hx)xe
px
f(x) dx.
Proviamo anzitutto che, detta C una opportuna costante che specicheremo in
seguito, per ogni > 0 esiste K > 0 tale che

_
+
K
g(hx)xe
px
f(x) dx

C per ogni |h| < . (D.64)

Si ha
|g(hx)|
_
_
_
M := sup
|z|<1
|g(z)| se |hx| < 1
1 +
|e
hx
1|
|hx|
2 + e
|hx|
se |hx| 1.
Perci`o in ogni caso
|g(z)| M + 2 + e
|hx|
(M + 2)e
|hx|
(M + 2)e
x
e quindi

_
+
K
g(hx)xe
px
f(x) dx

(M + 2)
_
sup
x(K,+)
xe
x
_
_
+
K
|e
(p2)x
f(x)| dx
C,
25
Analisi matematica - Michiel Bertsch, Roberta Dal Passo, Lorenzo Giacomelli
Copyright 2007 -The McGraw-Hill Companies s.r.l.
avendo scelto C = (M + 2)
_
+
0
|e
p

x
f(x)| dx e K tale che sup
x(K,+)
xe
x
< .
Ci`o prova la (D.64). Daltra parte, per ogni K > 0 esiste h
0
> 0 tale che

_
K
0
g(hx)xe
px
f(x) dx

< . (D.65)
Infatti la funzione integranda `e continua rispetto ad (h, x) [, ] [0, K], quindi
ragionando come nella dimostrazione del Teorema 11.5 si pu`o passare al limite
sotto integrale:
lim
h0
_
K
0
g(hx)xe
px
f(x) dx =
_
K
0
_
lim
h0
g(hx)
_
xe
px
f(x) dx = 0
da cui segue la (D.65) per denizione di limite.
Combinando la (D.64) e la (D.65) si conclude che per ogni > 0 esiste h

=
min{h
0
, } tale che |I(h)| < 2 per ogni |h| < h

, e il teorema `e dimostrato.
Dimostrazione del Teorema 18.2 (antitrasformata di Laplace), pagina
491
Sia f : [0, +) C, localmente integrabile in [0, +), tale che
|f(x)| Me
s
0
x
se x 0 . (D.66)
Siano a
0
> s
0
e F(p) = L[f] se Re p > s
0
. Dobbiamo dimostrare che
v.p.
1
2i
_
a
0
+i
a
0
i
F(p)e
px
dp =
_
f(x) se x > 0 e f `e continua in x
0 se x < 0 .
(D.67)
Estendiamo f a tutto R ponendo f(x) = 0 se x < 0. Dobbiamo calcolare,
ssato x = 0 tale che f `e continua in x,
lim
b+
1
2
_
b
b
F(a + it)e
(a+it)x
dt
= lim
b+
1
2
_
b
b
e
(a+it)x
lim
M+
_
_
M
0
e
(a+it)s
f(s)
_
ds dt.
Ragionando come nella dimostrazione del Teorema 11.5, `e possibile dimostrare che
si possono scambiare tra loro le operazioni di limite e di integrale. Perci`o
lim
b+
1
2
_
b
b
F(a+it)e
(a+it)x
dt = lim
b+
lim
M+
1
2
_
b
b
_
M
0
e
(a+it)(xs)
f(s) ds dt.
26
Analisi matematica - Michiel Bertsch, Roberta Dal Passo, Lorenzo Giacomelli
Copyright 2007 -The McGraw-Hill Companies s.r.l.
Si ha
I(b, M) :=
1
2
_
b
b
e
(a+it)x
_
M
0
e
(a+it)(xs)
f(s) ds dt
=
1
2
_
M
0
f(s)
_
b
b
e
(a+it)(xs)
dt ds
=
1
2
_
M
0
f(s)e
a(xs)
e
it(xs)
i(x s)

t=b
t=b
ds
=
1

_
M
0
1
x s
f(s)e
a(xs)
sin(b(x s)) ds.
Ponendo y = b(x s) si ottiene
I(b, M) =
1

_
b(x+M)
bx
f
_
x +
y
b
_
e

ay
b
siny
y
dy.
Passando al limite per M + si ottiene
I(b) := lim
M+
I(b, M) =
1

_
+
bx
f
_
x +
y
b
_
e

ay
b
siny
y
dy,
che `e ben denita per lipotesi di crescita su f. Passando al limite in modo formale
per b + si ottiene
lim
b+
I(b) =
_
_
_
f(x)
1

_
+

siny
y
dy se x > 0
0 se x < 0,
ovvero, ricordando lEsempio 18.17,
lim
b+
I(b) =
_
f(x) se x > 0
0 se x < 0,
(D.68)
da cui la tesi. Per giusticare rigorosamente il limite (D.68) si procede come nellE-
sempio 18.17, utilizzando il Lemma di Jordan e il Teorema dei residui; omettiamo
i dettagli.
Dimostrazione del Teorema 18.4 (originale di una serie di Laurent),
pagina 503
Sia F(p) una funzione olomorfa per |p| > R con uno sviluppo in serie di Laurent
del tipo
F(p) =

k=1
c
k
p
k
per |p| > R. (D.69)
Dobbiamo dimostrare che la funzione
f(z) =

k=1
c
k
(k 1)!
z
k1
27
Analisi matematica - Michiel Bertsch, Roberta Dal Passo, Lorenzo Giacomelli
Copyright 2007 -The McGraw-Hill Companies s.r.l.
`e olomorfa in C e che L[Hf] = F(p).
Posto q =
1
p
e
G(q) =

k=1
c
k
q
k
se |q| <
1
R
,
si ha che G `e olomorfa per |q| < 1/R. Siano > R e M = max{|G(q)| : |q| =
1

}.
Poiche la serie `e assolutamente convergente per q = 1/, si ha in particolare
|c
k
| M
k
.
Di conseguenza

k=1
|c
k
|
|z|
k1
(k 1)!
M

k=1
(|z|)
k1
(k 1)!
= M

n=0
(|z|)
n
n!
= Me
|z|
.
Ci`o prova che la serie

k=1
c
k
z
k1
(k1)!
converge assolutamente in C e la sua somma,
f(z), `e una funzione olomorfa. Inoltre, poiche |f(x)| Me
x
per x 0, H(x)f(x)
`e originale per la trasformata di Laplace. Inne, per Re p sucientemente grande,
_
+
0
f(x)e
px
dx =
_
+
0
_

k=1
c
k
x
k1
(k 1)!
e
px
_
dx
=

k=1
c
k
(k 1)!
__
+
0
x
k1
e
px
dx
_
=

k=1
c
k
1
p
k
= Y (p)
(lo scambio tra serie e integrale improprio pu`o essere giusticato rigorosamente,
ma omettiamo i dettagli).
28
Analisi matematica - Michiel Bertsch, Roberta Dal Passo, Lorenzo Giacomelli
Copyright 2007 -The McGraw-Hill Companies s.r.l.