DIARIO DELLE LEZIONI DEL CORSO DI FISICA MATEMATICA A.A. 2014/2015 CORSO DI LAUREA MAGISTRALE IN INGEGNERIA MECCANICA

Transcript

1 DIARIO DELLE LEZIONI DEL CORSO DI FISICA MATEMATICA A.A. 2014/2015 CORSO DI LAUREA MAGISTRALE IN INGEGNERIA MECCANICA DANIELE ANDREUCCI DIP. SCIENZE DI BASE E APPLICATE PER L INGEGNERIA UNIVERSITÀ LA SAPIENZA VIA A.SCARPA 16, ROMA, ITALY 1

2 1. Lunedì 29/09/2014 Presentazione del corso. Equazioni alle derivate ordinarie e alle derivate parziali. Esempio di e.d.p. banale: u t = u 1 + x, x R, t > 0. 2 Esempio dell equazione integrazione per caratteristiche. Caso dell equazione u t + cu x = 0, x R, t > 0 ; u t cu x = 0, x R, t > 0. Deduzione dell equazione delle onde u tt c 2 u xx = 0, dalle due precedenti. Deduzione dell equazione della corda vibrante dalle equazioni di moto. Deduzione dell equazione del calore [della diffusione] dalla legge di Fourier [di Fick]. Paragrafi di riferimento sul testo: 1.1,

3 2. Mercoledì 1/10/2014 Soluzioni dell equazione della corda vibrante a variabili separabili: il caso u(x, t) = [k 1 cos( λct) + k 2 sin( λct)][k 3 cos( λx) + k 4 sin( λx)]. Soluzioni dell equazione del calore a variabili separabili: il caso u(x, t) = exp( λdt)[k 1 cos( λx) + k 2 sin( λx)]. Per casa 2.1. Gli altri casi, anche per l equazione di Laplace in dimensione 2. Problemi al contorno, condizioni del tipo di Dirichlet e di Neumann. Soluzioni a variabili separabili di problemi al contorno per l equazione del calore (Neumann) e l equazione delle onde (Dirichlet). Separazione delle variabili in dimensione spaziale maggiore di 1. Problemi agli autovalori per il laplaciano, con condizioni al contorno di Dirichlet e di Neumann. Definizione di coppia autofunzione/autovalore. Similitudine con gli autovettori/autovalori di matrici. Teorema 2.2. Tutti gli autovalori del problema di Dirichlet per il laplaciano sono positivi. Tutti gli autovalori del problema di Neumann per il laplaciano sono non negativi, e lo zero è un autovalore. Paragrafi di riferimento sul testo: 3.1, 5.1,

4 3. Venerdì 3/10/2014 Risoluzione per separazione delle variabili di: u tt c 2 u = 0, (x, y) (0, π) (0, π), t > 0, u(x, y, t) = 0, x Ω, t > 0, u(x, y, 0) = sin(x) sin(3y), (x, y) (0, π) (0, π), u t (x, y, 0) = 0, (x, y) (0, π) (0, π). Identità di Green. Teorema 3.1. Due autofunzioni dello stesso problema per il laplaciano, corrispondenti ad autovalori diversi, sono ortogonali. Analogia con il caso di autovettori di matrici simmetriche. Esercizio 3.2. Calcolo di tutte le autofunzioni per il problema di Dirichlet (in dimensione 1). Integrale generale di un sistema lineare di e.d.o. a coefficienti costanti y = Ay come N y(t) = c n e λnt v n, n=1 se {v n } è una base di autovettori di A con Av n = λ n v n. Equazione differenziale soddisfatta da α(t) = y(t) v n. Sviluppo della soluzione del problema di Dirichlet per l equazione delle onde in serie di autofunzioni; scelta delle condizioni al bordo per le autofunzioni (uguali a quelle nel problema). Condizione { 1, n = m, ϕ n (x)ϕ m (x) dx = 0, n m. Ω Esercizio 3.3. Calcolo di tutte le autofunzioni per il problema di Neumann (in dimensione 1). Paragrafi di riferimento sul testo: 1.6, 5.2,

5 4. Lunedì 6/10/2014 Problemi al contorno, condizioni di Neumann e di Dirichlet. Caso delle equazioni evolutive e dell equazione di Poisson. Condizione necessaria per l esistenza di soluzioni del problema di Neumann per l equazione di Poisson e suo significato. Teorema 4.1. Se u risolve l equazione delle onde u tt c 2 u xx = 0 in un rettangolo, allora u(x, t) = f(x ct) + g(x + ct). Teorema 4.2. Il problema di Cauchy per l equazione delle onde ha un unica soluzione data dalla formula di D Alembert. Esercizio ) Dimostrare che l equazione delle onde governa fenomeni reversibili. 2) Dimostrare che l equazione del calore governa fenomeni irreversibili. Paragrafi di riferimento sul testo: 2.1, 2.2, 2.3, 2.4, 2.5, 3.3, Mercoledì 8/10/2014 Velocità finita di propagazione del segnale nell equazione delle onde e conseguenze nella formula di D Alembert; dominio di influenza. Funzioni non costanti con derivate nulle in aperti non normali. Problema della completezza del sistema delle autofunzioni. Prodotto scalare tra funzioni. Norma di una funzione. Proprietà di simmetria, linearità e positività del prodotto scalare. Disuguaglianza di Cauchy-Schwarz e triangolare. Riflessioni pari e dispari di funzioni intorno a un punto arbitrario. Applicazioni all equazione della corda vibrante. Esercizio /300; 17/320. Per casa /320. Paragrafi di riferimento sul testo: 7.1,

6 6. Venerdì 10/10/2014 Riflessioni di dati per problemi al contorno in intervalli limitati. Esercizio /320. Proposizione 6.2. Se i dati sono pari [dispari] la soluzione data dalla formula di D Alembert è pari [dispari]. Corollario 6.3. f g f g. Definizione di convergenza f n f in L 2 (I). Esempio 6.4. Comportamento di n α n α+1 x, 0 < x < 1 f n (x) = n, 1 0, n x < 1, al variare di α > 0. Corollario 6.5. Se f n f allora f n f. Corollario 6.6. Se f n f allora e se n F n = F allora Sistemi ortogonali. (f n, g) (f, g), (F, g) = + n=1 (F n, g). Teorema 6.7. Un insieme di funzioni ortogonali due a due (e non nulle) sono linearmente indipendenti. Corollario 6.8. Lo spazio L 2 (I) ha dimensione infinita come spazio vettoriale. Per casa /300 Paragrafi di riferimento sul testo: 7.1, 7.2,

7 7. Lunedì 13/10/2014 Analisi qualitativa delle soluzioni date dalla formula di D Alembert. Propagazione delle perturbazioni dovute a u(x, 0) e di quelle dovute a u t (x, 0). Concetto di dipendenza continua delle soluzioni dai dati. Dipendenza continua mediante la formula di D Alembert. Esercizio /310 Soluzioni deboli per l equazione delle onde. Esercizio 7.2. Problema dell impulso concentrato: 3/310. Cenno alla delta di Dirac. Paragrafi di riferimento sul testo: 10.1, 10.4, Mercoledì 15/10/2014 Migliore approssimazione di soluzioni con sistemi ortonormali. Definizione di sistema ortonormale completo. Serie sviluppo di una funzione in un sistema ortonormale completo. La disuguaglianza di Bessel. Sistemi ortonormali completi e identità di Parseval. Corollario 8.1. Il s.o. {ϕ n } è completo se e solo se per ogni f, g L 2 (I) vale (f, g) = + n=1 I sistemi di Fourier, dei seni e dei coseni. Esercizio , 5/605; 2, 4/600. (ϕ n, f)(ϕ n, g). Paragrafi di riferimento sul testo: 7.3,

8 9. Venerdì 17/10/2014 Teorema 9.1. Il sistema di Fourier è completo in L 2 ( π, π).(s.d.) Teorema 9.2. Il sistema dei seni e quello dei coseni sono completi in L 2 (0, π). Trasformazione di un sistema ortonormale completo in L 2 (c, d) in un sistema ortonormale completo in L 2 (a, b). Esercizio , 9/610. Per casa /620. Paragrafi di riferimento sul testo: 8.1, 8.2, Lunedì 20/10/2014 Soluzioni dell equazione di Laplace in coordinate polari a variabili separabili (in R 2 ). Vari casi di ammissibilità delle soluzioni ottenute. Esercizio Applicazioni a problemi al contorno in settori di piano e in corone circolari. Il principio del massimo debole per funzioni armoniche ( u = 0), subarmoniche ( u 0), superarmoniche ( u 0). Il principio del massimo forte (s.d.). Il Lemma di Hopf (s.d.). Esercizio Applicazioni del principio di massimo e del lemma di Hopf. Per casa Dimostrare che la soluzione di soddisfa u(x, y) = u(y, x). u = 0, x 2 + y 2 < 1, u(x, y) = cos(xy + 1), x 2 + y 2 = 1, Paragrafi di riferimento sul testo: 3.2, 4.1,

9 11. Mercoledì 22/10/2014 Teorema Se f C 1 ([ π, π]), f( π) = f(π) allora la sua serie di Fourier converge uniformemente. Esercizio /605. Il fenomeno di Gibbs. Teorema (s.d.) Prodotti di sistemi ortonormali completi: se {ϕ n } è completo in A e {ψ m } è completo in B, allora {ϕ n ψ m } è completo in A B. Applicazione al caso delle autofunzioni del laplaciano in rettangoli, con varie condizioni al bordo. Sistemi ortonormali completi a doppio indice. Teorema (s.d.) I sistemi { } { } 2 2 π sin(2n + 1)x n 0 π cos(2n + 1)x n 0 sono completi in L 2 ((0, π/2)). Esercizio /620; 1/625. Paragrafi di riferimento sul testo: 8.2, 8.4, 8.5,

10 12. Venerdì 24/10/2014 Ricapitolazione sul metodo di Fourier. Casi degli intervalli e dei prodotti di intervalli. Teorema di Sturm-Liouville sulla completezza dei sistemi di autofunzioni del laplaciano. Cenno al metodo di Gram-Schmidt per l ortonormalizzazione di autofunzioni. Teorema (Stima dell energia) La soluzione del problema al contorno di Dirichlet (o di Neumann) per l equazione del calore nell aperto Ω soddisfa sup 0<t<T Ω T u(x, t) dx Ω D u(x, τ) 2 dx dτ = 2 Ω u(x, 0) dx. Lemma (Gronwall) Se y C 1 ([0, T ]) è una funzione positiva, c, k > 0 e se y (t) cy(t) + k, t > 0, allora y(t) [y(0) + kc 1 ]e ct kc 1, t [0, T ]. Per casa Stima dell energia nel caso di equazione del calore non omogenea. Teorema Lo sviluppo in serie di autofunzioni della soluzione al problema di Neumann per l equazione del calore non omogenea converge alla soluzione. Esercizio /605; 12/600. Per casa /610. Paragrafi di riferimento sul testo: 6.2,

11 13. Lunedì 27/10/2014 Esercizio , 11/430. Applicazioni del principio di massimo per l equazione di Laplace: Teorema La soluzione del problema di Dirichlet è unica. Teorema La soluzione del problema di Dirichlet dipende con continuità dai dati. Interno parabolico, frontiera parabolica. Il principio di massimo debole per l equazione del calore. Il principio di massimo forte e il lemma di Hopf per l equazione del calore. Esercizio , 10/420. Per casa /430. Paragrafi di riferimento sul testo: 4.2, 4.3, 4.4, Mercoledì 29/10/2013 Autofunzioni e autovalori del problema di Dirichlet per il laplaciano nel caso del cerchio; funzioni di Bessel. Esercizio /630. Il problema della lunghezza critica; trasformata esponenziale e analisi di Fourier. Paragrafi di riferimento sul testo: 9.5,

12 15. Venerdì 31/10/2014 Derivazione dell equazione di Laplace in teoria dell elasticità: principio di Dirichlet. Teorema Se u minimizza J(u) = u 2 dx, u K = {u C 2 (Ω) u = u 0 su Ω}, (15.1) Ω allora u risolve u = 0, in Ω, (15.2) u = u 0, su Ω. (15.3) Teorema Se vale (15.2) (15.3) allora u minimizza J come in (15.1). Condizioni alla frontiera del tipo di Robin: u ν = αu, α > 0. Segno di soluzioni di problemi per l equazione omogenea del calore con condizioni di Robin al bordo: non possono prendere minimimi negativi (o massimi positivi) sulla frontiera per t > 0. Confronto con soluzioni del problema con dati di Dirichlet nulli. Per casa Trovare l equazione degli autovalori per il problema con dati di Robin per il laplaciano sull intervallo (0, L). Dimostrare che il primo autovalore di Robin è minore del primo autovalore di Dirichlet. Paragrafi di riferimento sul testo: 1.3, 6.4. il 12

13 16. Lunedì 3/11/2014 Principio di Duhamel. Esempio di applicazione all e.d.o. y = ay+f(t). Applicazione al problema di Cauchy per l equazione delle onde non omogenea. Esercizio , 5/350. Se u(x, t) = v( x, t) è una soluzione radiale dell equazione delle onde in R 3 allora rv(r, t) è soluzione dell equazione delle onde in R. Onde sferiche. Armoniche e onde stazionarie. Soluzioni dell equazione del calore con dato iniziale sin(nx) e loro decadimento. Esercizio /420. Per casa /420; 21, 25/470. Paragrafi di riferimento sul testo: 3.3, 10.2, 12.1, Lunedì 10/11/2014 Derivazione dell equazione della diffusione come modello per il moto browniano. Cammino medio. Soluzione fondamentale dell equazione del calore come distribuzione di probabilità. Esercizio /470. Paragrafi di riferimento sul testo:

14 18. Mercoledì 12/11/2014 Delta di Dirac. Nuclei di approssimazione, convoluzioni. Teorema Se {ϕ λ } è una famiglia di nuclei di approssimazione e f : R N R N è una funzione limitata, allora f ϕ λ (x) f(x), per ogni x R N ove f è continua, per λ 0. Proposizione Se m f M e i ϕ λ sono nuclei di approssimazione, allora m f ϕ λ M. Risoluzione di problemi al contorno in rettangoli per l equazione di Laplace con serie di autofunzioni nel rettangolo. Esercizio /630. Paragrafi di riferimento sul testo: 11.1, Venerdì 14/11/2014 Formula di rappresentazione della soluzione del problema di Dirichlet nel semispazio per l equazione di Laplace. Teorema di esistenza e unicità per soluzioni limitate. Teorema Se il dato al bordo soddisfa m u 0 M, allora la soluzione del problema di Dirichlet nel semispazio per l equazione di Laplace soddisfa m u M. Se il dato iniziale è integrabile in R N allora la soluzione soddisfa u(x, y) C y N, y > 0. Famiglie di nuclei di approssimazione nella forma ϕ λ (x) = 1 ( ) x λ ϕ. N λ Esercizio , 11/530; 17/

15 20. Lunedì 17/11/2014 Formula di rappresentazione della soluzione del problema di Cauchy per l equazione del calore. Teorema di esistenza e unicità per soluzioni limitate. Teorema Se il dato iniziale soddisfa m u 0 M, allora la soluzione del problema di Cauchy per l equazione del calore soddisfa m u M. Se il dato iniziale è integrabile in R N allora la soluzione soddisfa u(x, t) C, t > 0. Effetto regolarizzante dell equazione del calore. Propagazione con velocità infinita. t N 2 Teorema (s.d.) Se u è la soluzione del problema di Cauchy per l equazione del calore, corrispondente al dato iniziale non negativo u 0, vale che per ogni ε > 0 esiste C ε > 0 tale che u(x, t) dx (1 ε) u 0 (x) dx, { x C ε Dt+L} { x L} per ogni u 0 0, L > 0. Ottimalità della stima asintotica u(x, t) costante t N 2 per soluzioni non negative del problema di Cauchy per l equazione dl calore. Esercizio /

16 21. Mercoledì 19/11/2014 Dimostrazione del teorema Teorema Se u è la soluzione del problema di Cauchy per l equazione del calore, corrispondente al dato iniziale non negativo u 0, vale che per ogni ε > 0 esiste C ε > 0 tale che u(x, t) dx (1 ε) u 0 (x) dx, { x C ε Dt+L} { x L} per ogni u 0 0, L > 0. Teorema Se u è la soluzione del problema di Cauchy per l equazione del calore, corrispondente al dato iniziale non negativo u 0, vale che u(x, t) c 0, x C Dt, t t (Dt) N 0, 2 ove c 0 > 0 e C > 0 dipendono da u 0, L, t 0 e D. Il metodo di Galerkin; confronto con il metodo di Fourier. Caso dell equazione del calore con diffusività discontinua: u t ( D(x)u x )x = f(x). Soluzione esplicita nel caso stazionario. Condizioni di interfaccia e loro significato modellistico. Per casa Impostazione del problema degli autovalori/autofunzioni del problema di Dirichlet per l equazione del calore con diffusività costante a tratti. Esercizio Esercizio analogo al 17/530 per l equazione del calore. Paragrafi di riferimento sul testo: 11.5, 14.1,

17 22. Venerdì 21/11/2014 Soluzioni fondamentali dell equazione di Laplace in R N. Identità di Stokes. Significato locale del laplaciano. Interpretazione dal punto di vista delle equazioni evolutive. Formula della media per funzioni armoniche. Esercizio , 26/430. Paragrafi di riferimento sul testo: Lunedì 24/11/2014 Corda vibrante con carico: il caso stazionario con carico regolare (soluzione esplicita); il caso stazionario con carico concentrato c 2 u xx = pδ(x a), 0 < x < L. (soluzione esplicita limite di soluzioni con carico regolare dato da nuclei di approssimazione); le condizioni di interfaccia o salto [u] = 0, [u x ] = p c 2, e il loro significato modellistico; il caso evolutivo con carico concentrato (soluzione secondo Duhamel del problema di Cauchy con dati iniziali nulli). Esercizio /300. Paragrafi di riferimento sul testo: 14.2,

18 24. Mercoledì 26/11/2014 Corda vibrante con carico concentrato, caso evolutivo; risoluzione con il metodo di Fourier. Corda vibrante con carico concentrato; il caso evolutivo con carico dipendente linearmente dall incognita: u tt c 2 u xx = pu(a, t)δ(x a), 0 < x < L. Applicazione del metodo di Galerkin. Risoluzione con il metodo di Fourier, ossia sviluppo della soluzione in un opportuno sistema ortonormale di autofunzioni, soluzioni non identicamente nulle in C([0, L]) di ϕ = λϕ, x (0, a) (a, L) ; ϕ (a+) ϕ(a ) = p c 2 ϕ(a), ϕ(0) = ϕ(l) = 0. Per casa ) Se (ϕ, λ) è come sopra, allora λ > 0. 2) Se (ϕ i, λ i ), i = 1, 2, sono come sopra con λ 1 λ 2, allora L 0 ϕ 1 (x)ϕ 2 (x) dx = 0. L equazione u = pδ(x x 0 ), x R N. Definizione di soluzione debole. Dimostrazione dell esistenza di una soluzione debole (soluzione fondamentale) mediante l identità di Stokes. Esercizio /420. Paragrafi di riferimento sul testo: 14.3,

19 25. Venerdì 28/11/2014 Il bilaplaciano. Le autofunzioni del laplaciano lo sono anche del bilaplaciano; autovalori corrispondenti. Teorema Se u = 0 allora 2 (x i u) = 0 e 2 ( x 2 u) = 0. Il bilaplaciano in R 2 Soluzioni radiali del bilaplaciano: 1, r 2, r 2 ln r, ln r. Risoluzione del problema radiale in r 2 = x 2 + y 2 < R 2 2 u = p, 0 < r < R, u(r) = 0, u r (R) = 0. La piastra di lunghezza infinita con carico concentrato sul segmento y = 0. Risoluzione per serie di seni. Paragrafi di riferimento sul testo: Lunedì 1/12/2014 Trasformata di Fourier. Applicazione alla ricerca della soluzione fondamentale per l equazione del calore. Esercizio /470; 1/490 (problema a frontiera libera). Paragrafi di riferimento sul testo: 15.1, 15.2,

20 27. Mercoledì 3/12/2014 Approssimazione della soluzione fondamentale in R 2 di u = pδ con soluzioni di u ε = p πε χ 2 B ε(0). Approssimazione della soluzione fondamentale in R 2 di con soluzioni di 2 u ε = Esercizio /480; 16/ u = pδ p πε 2 χ B ε(0). Paragrafi di riferimento sul testo: 14.6, Venerdì 5/12/2014 Teorema La soluzione di soddisfa Ω u t u = F (x, t), x Ω, t > 0, u(x, t) = 0, x Ω, t > 0, u(x, 0) = u 0 (x), x Ω, u(x, t) 2 dx e t { Ω u 0 (x) 2 dx + t 0 Ω } F (x, τ) 2 dx dτ. Dimostrazione del principio di massimo forte per funzioni subarmoniche. Lemma La proprietà della media per superfici sferiche equivale a quella per sfere solide. Esercizio , 25/520. Paragrafi di riferimento sul testo: 1.6, 4.1,

21 29. Mercoledì 10/12/2014 Trasformata di Laplace e sue proprietà. Applicazioni alla risoluzione di problemi di Cauchy per equazioni differenziali ordinarie. Applicazione alla risoluzione di problemi ai valori iniziali e al contorno per l equazione del calore. Esercizio , 3/960. Paragrafi di riferimento sul testo: 16.1, 16.2, Venerdì 12/12/2014 Forma complessa delle serie di Fourier. Esercizio Studio della derivata temporale della soluzione fondamentale dell equazione del calore. Teorema di Liouville per funzioni armoniche non negative. Cenno al metodo delle caratteristiche per e.d.p. del primo ordine. Uso di funzioni barriera nel problema di Stefan. Paragrafi di riferimento sul testo: Lunedì 15/12/2014 Classificazione delle equazioni alle derivate parziali del secondo ordine in due variabili: iperboliche, paraboliche, ellittiche. Esempi di tecniche per equazioni ellittiche in forma di divergenza. Esercizio /470; 9, 36/480. Paragrafi di riferimento sul testo: 18.1, 18.2, Mercoledì 17/12/2014 Commenti al metodo delle soprasoluzioni per l equazione del calore. Esercizio /110; 4, 9/350; 15/420; 19/620. FINE DEL CORSO 21