Analisi Complessa in pillole (iv)
Parti precedentihttps://steemit.com/ita/@charlesx/analisi-complessa-in-pillole-i-introduzione
https://steemit.com/ita/@charlesx/analisi-complessa-in-pillole-ii
https://steemit.com/ita/@charlesx/analisi-complessa-in-pillole-iii
Ho definito nell'ultimo post cosa è una funzione analitica, abbiamo visto il sistema di equazioni di Cauchy Riemann che ci dice in modo semplice quando una funzione è analitica. Vediamo adesso una definizione in più e qualche altro teorema/proposizione.
Definizione: funzione armonica.
Sia A aperto di ℝ^n e u: A → ℂ funzione, u si dice armonica se:
u ∈ C^2(A) (questo simbolo vuol dire che u ammette derivate continue fino al secondo ordine in A).
Δu = 0 (verifica l'equazione di Lagrange, ovvero la somma delle derivate di secondo grado fa zero, basta fare la somma della traccia dell'Hessiana dove l'Hessiana è la matrice che rappresenta tutte le derivate di secondo grado della funzione rispetto alle variabili presenti).
Teorema.
Siano A ⊂ ℝ^2 aperto e f=u+iv :A → ℂ funzione analitica con u parte reale e v parte immaginaria di f, allora u e v sono armoniche.
Il teorema è di facile dimostrazione, il primo punto che caratterizza le funzioni armoniche ci viene dalla definizione di funzione analitica, per quanto riguarda la parte sull'equazione di Lagrange basta usare il sistema di equazioni di Cauchy Riemann, si derivano le equazioni rispetto a dx e dy e si trova il risultato.
Definizione: armoniche coniugate.
Siano A ⊂ ℂ aperto, u e v: A → ℝ funzioni tali che u e v siano C^2(A), u e v si dicono armoniche coniugate se f=u+iv è analitica.
Proposizione.
Siano A ⊂ ℂ aperto connesso (intuitivamente un aperto è connesso se è comporto da un'unica componente, pensiamo che A è connesso se ogni suo punto può essere collegato agli altri da una curva continua) e f: A → ℝ funzione analitica allora f è costante.
Questa proposizione è di facile dimostrazione e comprensione, infatti notiamo che il codomidio della funzione è ℝ, questo vuol dire che f della forma u+iv deve avere necessariamente v = 0 (altrimenti avremmo l'unità immaginaria in ℝ che sarebbe un controsenso). Essendo v = 0 anche la sua derivata è 0 e quindi per Cauchy Riemann anche la derivata di u è zero ma noi sappiamo che se una funzione ha derivata 0 allora è costante.
Proposizione.
Siano A ⊂ ℂ aperto connesso, u,v1,v2 : A → ℝ funzioni armoniche e siano f1 = u + v1 e f2 = u + v2 funzioni analitiche allora v1-v2 è costante.
Anche questa dimostrazione è molto semplice, prendiamo la funzione f = 1/i (f1-f2) = v1-v2, abbiamo che v1-v2 è analitica ma soprattutto è a valori reali, per la proposizione precedente dunque v1-v2 è costante.
P. S.
Tutto ciò scritto nel post è realizzato sul momento, se doveste notare degli errori vi sarei grato di farmelo notare nei commenti o in privato, anche se rileggo il post capita di sbagliare.
![](https://steemitimages.com/640x0/https://i.imgur.com/w163BPY.jpg)
![](https://steemitimages.com/DQmegBvMTpBDPT4bZSgx8ASeL9KZHnKPjSpjKuLjVhuBmdw/18.png)
Canali social e contatti:
Twitter: https://twitter.com/Charles73710680
[email protected]
Mi trovate anche su koinsquare:
https://www.facebook.com/groups/125929638106816
https://twitter.com/koinsquareNews
Email: [email protected]
![](https://steemitimages.com/640x0/https://steemitimages.com/DQmegBvMTpBDPT4bZSgx8ASeL9KZHnKPjSpjKuLjVhuBmdw/18.png)
This post has been voted on by the steemstem curation team and voting trail.
There is more to SteemSTEM than just writing posts, check here for some more tips on being a community member. You can also join our discord here to get to know the rest of the community!