Esame di Metodi Matematici per lIngegneria

Prof. M. Bramanti
Politecnico di Milano, A.A. 2014/15
Seconda prova in itinere. Giugno 2015
Cognome:
Nome
N matr. o cod. persona:

Domande a risposta aperta (rispondere a due domande su tre, a

propria scelta)
A. (6 punti) Mostrare come si risolve mediante la trasformata di Fourier il
problema di Cauchy-Dirichlet per lequazione del calore in tutto lo spazio Rn :
ut D u = 0 per x 2 Rn ; t > 0
u (0; x) = f (x) per x 2 Rn :
Nel corso dello svolgimento, richiamare le propriet della trasformata di Fourier
che si utilizzano esplicitamente.
B. (6 punti) Dopo aver richiamato la denizione di spazio di Hilbert, enunciare e dimostrare il teorema della proiezione in uno spazio di Hilbert.
C. (6 punti) Si consideri il problema di Dirichlet per il laplaciano sulla
sfera in R3 , che in coordinate sferiche
8
< x = sin # cos '
y = sin # sin '
:
z = cos #
e nel caso particolare di un dato al bordo indipendente dalla longitudine assume
la forma:
8 2
1
@
@u
per 0 < < r;
< @ u 2 @u
+
+ 2
sin #
=0
0<#<
@ 2
@
sin # @#
@#
:
u (r; #) = f (#)
per 0 < # < :

Impostare la soluzione del problema per separazione delle variabili, arrivando

a ricondurre lequazione angolare (nella variabile t = cos #) allequazione di
Legendre e a scrivere le soluzioni a variabili separate e quindi la soluzione del
problema di Dirichlet.

Svolgere i seguenti esercizi

1. (4 punti) Risolvere il seguente problema di Cauchy per la corda vibrante
illimitata:
8
< utt 4uxx = 0 per x 2 R; t > 0
u (x; 0) = e jxj
2
:
ut (x; 0) = xe x :
2. (5 punti) Determinare la retta che meglio approssima la funzione ex in
L ( 1; 1), utilizzando i polinomi di Legendre. Ricordiamo che:
2

1
P0 (x) = p ;
2
r
3
x:
P1 (x) =
2
3. (6 punti) Si consideri la funzione
f (x) =

xn per jxj < 1

0 altrimenti

con n intero positivo dispari ssato.

In base alle propriet studiate della trasformata di Fourier, rispondere alle

seguenti domande, giusticando la risposta:
a. La trasformata di Fourier fb( ) esiste o no?
b. La trasformata di Fourier fb( ) una funzione reale, immaginaria pura,
o nessuna delle due cose?
c. La trasformata di Fourier fb( ) una funzione pari, dispari, o nessuna
delle due cose?
d. La trasformata di Fourier fb( ) una funzione continua? Derivabile una
volta? Derivabile innite volte?
e. La trasformata di Fourier fb( ) tende a zero allinnito pi rapidamente
k
di 1= j j per qualche intero positivo k?
Calcolare quindi la trasformata per n = 1, vericando la coerenza con le
risposte date.
4. (5 punti) Si consideri il seguente problema di Cauchy-Dirichlet per
lequazione del calore nel cerchio:
8
per x2 + y 2 < 1; t > 0
< ut = 5 u
u (x; y; t) = 0
per x2 + y 2 = 1; t > 0
:
u (x; y; 0) = u0 (x; y) per x2 + y 2 < 1
dove, in coordinate polari,

u0 (x; y) = 2J0 (k0;1 )

3J0 (k0;2 ) :

Dopo aver impostato la soluzione del problema per separazione delle variabili, utilizzando la conoscenza delle soluzioni del problema agli autovalori per
il laplaciano sul cerchio, scrivere la soluzione del problema di Cauchy-Dirichlet.

Esame di Metodi Matematici per lIngegneria

Prof. M. Bramanti
Politecnico di Milano, A.A. 2014/15
Seconda prova in itinere. Giugno 2015
Svolgimento
Domande a risposta aperta (rispondere a due domande su tre, a
propria scelta)
A. (6 punti) Mostrare come si risolve mediante la trasformata di Fourier il
problema di Cauchy-Dirichlet per lequazione del calore in tutto lo spazio Rn :
ut D u = 0 per x 2 Rn ; t > 0
u (0; x) = f (x) per x 2 Rn :
Nel corso dello svolgimento, richiamare le propriet della trasformata di Fourier
che si utilizzano esplicitamente.
(v. dispensa, 6.3)
B. (6 punti) Dopo aver richiamato la denizione di spazio di Hilbert, enunciare e dimostrare il teorema della proiezione in uno spazio di Hilbert.
(v. dispensa, 7.2)
C. (6 punti) Si consideri il problema di Dirichlet per il laplaciano sulla
sfera in R3 , che in coordinate sferiche
8
< x = sin # cos '
y = sin # sin '
:
z = cos #
e nel caso particolare di un dato al bordo indipendente dalla longitudine assume
la forma:
8 2
1
@
@u
per 0 < < r;
< @ u 2 @u
+
+ 2
sin #
=0
0<#<
@ 2
@
sin # @#
@#
:
u (r; #) = f (#)
per 0 < # < :

Impostare la soluzione del problema per separazione delle variabili, arrivando

a ricondurre lequazione angolare (nella variabile t = cos #) allequazione di
Legendre e a scrivere le soluzioni a variabili separate e quindi la soluzione del
problema di Dirichlet.
(v. dispensa, 8.3.1)
Esercizi
1. (4 punti) Risolvere il seguente problema di Cauchy per la corda vibrante
illimitata:
8
< utt 4uxx = 0 per x 2 R; t > 0
u (x; 0) = e jxj
2
:
ut (x; 0) = xe x :
3

Applichiamo la formula di DAlembert

u(x; t) =
con c = 2; u0 (x) = e
u(x; t) =

1
(u0 (x + ct) + u0 (x
2
jxj

1
e
2

1
e
2
1
e
=
2

x2

, v0 (x) = xe
jx+2tj

+e

ct)) +

1
2c

x+ct

v0 (s) ds

x ct

. Si ha:

jx 2tj

jx+2tj

+e

jx 2tj

jx+2tj

+e

jx 2tj

+
+

1
4

x+2t

se

s2

ds

x 2t
x+2t

1
1 s2
e
4
2
x 2t
2
1
e (x+2t)
e
8

(x 2t)2

2. (5 punti) Determinare la retta che meglio approssima la funzione ex in

L ( 1; 1), utilizzando i polinomi di Legendre. Ricordiamo che:
2

1
P0 (x) = p ;
2
r
3
P1 (x) =
x:
2
Z 1
1
1
1
he ; P0 i = p
;
e
ex dx = p
e
2 1
2
r Z 1
r
Z
3
3
1
hex ; P1 i =
xex dx =
[xex ] 1
2 1
2
r
r
3
1
1
2 3
e+
e
=
=
2
e
e
e 2
x

ex dx
1

PV1 (ex ) = hex ; P0 i P0 + hex ; P1 i P1

r r
1
1
1
2 3
3
p +
=p
e
x
e
e
2
2
2
2
1
1
3
=
e
+ x:
2
e
e
La retta quindi
y=

1
2

1
e

3
+ x:
e

3. (6 punti) Si consideri la funzione

f (x) =

xn per jxj < 1

0 altrimenti

con n intero positivo dispari ssato.

In base alle propriet studiate della trasformata di Fourier, rispondere alle

seguenti domande, giusticando la risposta:
a. La trasformata di Fourier fb( ) esiste o no?
b. La trasformata di Fourier fb( ) una funzione reale, immaginaria pura,
o nessuna delle due cose?
c. La trasformata di Fourier fb( ) una funzione pari, dispari, o nessuna
delle due cose?
d. La trasformata di Fourier fb( ) una funzione continua? Derivabile una
volta? Derivabile innite volte?
e. La trasformata di Fourier fb( ) tende a zero allinnito pi rapidamente
k
di 1= j j per qualche intero positivo k?
Calcolare quindi la trasformata per n = 1, vericando la coerenza con le
risposte date.
a. S perch f 2 L1 (R) essendo continua e limitata in jxj < 1 e nulla al di
fuori di questo intervallo.
b.-c. Poich f reale e dispari, fb immaginaria pura e dispari.
d. Poich f nulla per jxj > 1 (quindi allinnito tende a zero pi rapidamente di qualsiasi potenza negativa), fb innitamente derivabile.
e. Poich f discontinua, fb tende a zero "lentamente", a priori non
k
o 1= j j per alcun k > 0.
Calcoliamo
Z 1
Z 1
fb( ) =
xe 2 ix dx = 2i
x sin (2 x ) dx
1
0
)
(
Z 1
1
cos (2 x )
x cos (2 x )
+
dx
= 2i
2
2
0
0
)
(
1
cos (2 )
1 sin (2 x )
= 2i
+
2
2
2
0
(
)
cos (2 ) sin (2 )
= 2i
+
2
2
(2 )
Si osserva che fb immaginaria pura, dispari, tende a zero allinnito come 1= ,
regolare perch la funzione
g (t) =

cos t sin t
sin t t cos t
+ 2 =
;
t
t
t2

che fuori dallorigine innitamente derivabile, nellorigine pure innitamente

derivabile in quanto
sin t

t cos t = t

t3
+ o t3
6

t 1

perci anche divisa per t2 rimane C 1 .

5

1 2
t + o t2
2

t2
+ o t2 ;
3

4. (5 punti) Si consideri il seguente problema di Cauchy-Dirichlet per

lequazione del calore nel cerchio:
8
per x2 + y 2 < 1; t > 0
< ut = 5 u
u (x; y; t) = 0
per x2 + y 2 = 1; t > 0
:
u (x; y; 0) = u0 (x; y) per x2 + y 2 < 1
dove, in coordinate polari,

u0 (x; y) = 2J0 (k0;1 )

3J0 (k0;2 ) :

Dopo aver impostato la soluzione del problema per separazione delle variabili, utilizzando la conoscenza delle soluzioni del problema agli autovalori per
il laplaciano sul cerchio, scrivere la soluzione del problema di Cauchy-Dirichlet.
Cercando u (x; y; t) = X (x; y) T (t) si trova
X
T0
=
=
5T
X

Sappiamo che il problema agli autovalori per il laplaciano ha autosoluzioni

Jn (kn;m ) cos (n#) per n = 1; 2; 3; ::: m = 1; 2; 3; :::
Jn (kn;m ) sin (n#) per n = 1; 2; 3; ::: m = 1; 2; 3; :::
J0 (k0;m )
per
m = 1; 2; 3; :::
corrispondenti agli autovalori

n;m

2
= kn;m
. Lequazione in T quindi

T0 =

2
5kn;m
T

che ha soluzione (a meno di costante moltiplicativa)

T (t) = e

2
5kn;m
t

Osservando la struttura del dato iniziale, la soluzione del problema si pu

scrivere nella forma:
u ( ; t) = 2J0 (k0;1 ) e

2
5k0;1
t

3J0 (k0;2 ) e

2
5k0;2
t