Equazione differenziale alle derivate parziali

In analisi matematica, un'equazione differenziale alle derivate parziali, detta anche equazione alle derivate parziali (termine abbreviato in EDP o spesso in PDE, dall'acronimo inglese Partial Differential Equation), è un'equazione differenziale che coinvolge le derivate parziali di una funzione incognita di più variabili indipendenti.

In essa si descrive la funzione indirettamente attraverso una relazione fra se stessa e le sue derivate parziali, invece di scrivere esplicitamente la funzione. La relazione deve essere locale - cioè deve connettere la funzione e le sue derivate nello stesso punto. Una soluzione classica (o in senso classico) dell'equazione è una funzione di tutte le variabili indipendenti espresse nell'equazione e che possieda tutte le derivate necessarie per dare senso alla relazione verificandola puntualmente.

Sono comunemente usate per formulare e risolvere problemi fisici importanti quali la propagazione del suono o del calore e in svariati campi quali l'elettrostatica, l'elettrodinamica, meccanica dei fluidi, aerodinamica, elasticità, meccanica quantistica, relatività. Importanti applicazioni sono presenti anche in geometria differenziale in connessione con le diverse nozioni di curvatura. Sono inoltre state usate con successo per descrivere modelli matematici in biologia e medicina come modelli di dinamica delle popolazioni, crescita di cellule nei tumori e chemiotassi. Altre applicazioni recenti riguardano invece i modelli matematici dei mercati finanziari, in particolare con esse viene descritta la dinamica delle opzioni finanziarie attraverso la celebre formula di Black e Scholes.

In generale per una EDP possono essere studiati svariati problemi che dipendono dalla natura stessa della equazione. Per esempio, nelle equazioni classiche della fisica matematica, definite in un certo dominio spaziale, vengono prescritte delle condizioni al bordo se il dominio ha una frontiera, o delle condizioni ai limiti se si considerano domini infiniti. Qualora, come nel caso ad esempio della equazione del calore o della equazione delle onde, una delle variabili sia il tempo allora ha senso prescrivere anche delle condizioni iniziali studiando il relativo problema di Cauchy. In tal caso il problema è ben posto se si ha esistenza, unicità e dipendenza continua dai dati (al contorno o iniziali).

Un'equazione differenziale alle derivate parziali di ordine ha la forma:[1]

dove è un numero intero, è un operatore di derivazione di ordine rispetto a una o più variabili e la variabile appartiene ad un sottoinsieme aperto di .

La funzione :

è data, mentre la funzione :

è l'incognita dell'equazione.

La risoluzione di un'equazione differenziale alle derivate parziali consiste nella ricerca delle funzioni che la rendono un'identità su un opportuno insieme. Solitamente è anche richiesto che le soluzioni soddisfino determinate condizioni al contorno ausiliarie. Ad esempio, per ottenere l'unicità della soluzione si pongono spesso opportune condizioni per un qualche cammino della frontiera di .

Solitamente non è possibile trovare la funzione incognita esplicita: ad eccezione di casi particolari, la ricerca della soluzione consiste nello studio dell'esistenza e delle proprietà che essa deve assumere.

Nella teoria delle PDE se si indica con la funzione incognita allora la sua derivata parziale rispetto alla variabile viene spesso indicata con la notazione abbreviata :

Nella tradizione anglosassone si preferisce l'uso dell'operatore nabla, che in un sistema cartesiano viene formalmente trattato come il campo vettoriale . Ad esempio, per una funzione scalare ed un campo vettoriale :

Nella tradizione della fisica matematica le derivate rispetto al tempo vengono talvolta indicate con la notazione di Newton.

L'equazione è detta di ordine q se è l'ordine massimo delle derivate che vi compaiono. Se l'equazione dipende linearmente dall'incognita e dalle sue derivate è detta lineare, mentre nel caso in cui le derivate di ordine massimo compaiano solo linearmente (con coefficienti che possono dipendere dalle derivate di ordine inferiore), l'equazione è detta quasi-lineare. Un'equazione quasi-lineare i cui coefficienti sono solo funzione delle variabili indipendenti (ma non dipendono dalla soluzione ) è detta semi-lineare. Infine un'equazione è detta omogenea se non compaiono termini indipendenti dalla funzione incognita .

Un'equazione differenziale alle derivate parziali può essere lineare, semilineare, quasilineare o totalmente non lineare:[2]

  • L'equazione si dice lineare se ha la forma:
per opportune funzioni ed . Se l'equazione si dice omogenea.
  • L'equazione si dice semilineare se ha la forma:
  • L'equazione si dice quasilineare se ha la forma:
  • L'equazione si dice totalmente non lineare se dipende in modo non lineare dal più alto grado di derivazione.

Sistema di equazioni alle derivate parziali

[modifica | modifica wikitesto]

Un sistema di equazioni differenziali alle derivate parziali di ordine ha la forma:[2]

La funzione:

è data, mentre la funzione :

con

che è l'incognita del sistema.

Si è posto che il sistema abbia tante equazioni quante incognite, in numero pari a .

Problemi ben posti e soluzioni

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Formulazione debole.

Non esiste una teoria universale che fornisca un metodo unico per risolvere le equazioni alle derivate parziali.[3] La ricerca scientifica si è di conseguenza concentrata principalmente su equazioni di rilevante interesse matematico e fisico, sviluppandone le particolari metodologie risolutive.

Un problema relativo ad un'equazione differenziale alle derivate parziali si dice informalmente ben posto se ha una soluzione, se tale soluzione è unica e se dipende in modo continuo dai dati forniti dal problema.[4] Un problema ben posto contiene tutte le caratteristiche ideali al fine di studiarne la risolubilità. L'ultima condizione è particolarmente importante nelle applicazioni fisiche: la dipendenza continua dai dati del problema significa che una loro variazione piccola a piacere ha conseguenze altrettanto piccole sulla soluzione. Per ottenere problemi ben posti si utilizzano solitamente opportune condizioni al contorno.

La soluzione di un'equazione alle derivate parziali non possiede caratteristiche generali, e varia a seconda del problema. Si definisce informalmente soluzione classica di una PDE di ordine una funzione differenziabile fino all'ordine -esimo,[4] tale che tutte le derivate esistono e sono continue. Risolvere una PDE in senso classico significa dunque cercare una funzione liscia o almeno di classe .

Si determina quindi la soluzione di un problema ben posto in senso classico quando tra le soluzioni in senso classico ne esiste soltanto una che soddisfi la definizione di problema ben posto.

Per la maggior parte delle equazioni differenziali alle derivate parziali, tuttavia, non esistono soluzioni classiche. In generale, ad esempio, le equazioni di continuità non hanno soluzioni classiche. Se si ammette una funzione non differenziabile come soluzione di un problema ben posto, tale soluzione è chiamata debole o generalizzata.[5] Il motivo per cui si definisce una classe di funzioni che sono soluzioni deboli di una PDE risiede nel fatto che la ricerca di una soluzione classica è spesso di notevole difficoltà, qualora sia possibile. Ponendo condizioni meno restrittive alla soluzione il problema si semplifica o diventa possibile, essendo più semplice trovare una soluzione unica e dipendente in modo continuo dai dati del problema. Esistono casi, infine, in cui la soluzione debole trovata è sufficientemente regolare da poter essere considerata classica. Il problema del poter considerare regolare una soluzione debole, tuttavia, è frequentemente succube di notevoli difficoltà matematiche.

Per illustrare quanto detto con un esempio, si consideri la successione di problemi di Cauchy per l'equazione di Laplace:

con condizioni al contorno:

dove è intero. La derivata di rispetto a converge uniformemente a zero nella variabile al crescere di , ma la soluzione è:

Questa soluzione tende a infinito se non è un multiplo intero di per ogni . Il problema non è dunque un problema ben posto poiché la soluzione non dipende con continuità dal dato iniziale.

Limiti del teorema di Cauchy-Kovalevskaya

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Teorema di Cauchy-Kovalevskaya.

Mentre per le equazioni ordinarie il teorema di esistenza e unicità per un problema di Cauchy ed il teorema di esistenza di Peano forniscono un'ampia risposta al problema dell'esistenza e unicità di eventuali soluzioni, il caso delle equazioni alle derivate parziali è molto più complesso. Il teorema di Cauchy-Kovalevskaya stabilisce che se i coefficienti dell'equazione sono funzioni analitiche rispetto alla funzione incognita e le sue derivate, allora esiste una funzione analitica che è localmente l'unica soluzione. Questo risultato, tuttavia, non si applica alle funzioni lisce. Un noto esempio, dovuto a Hans Lewy, mostra che su esiste una funzione liscia tale che l'equazione:

non ha soluzioni su nessun aperto. Se fosse analitica il teorema di Cauchy-Kovalevskaya garantirebbe l'esistenza di una soluzione.

Nella maggior parte dei casi non è possibile determinare la soluzione di una EDP; quando risulta fattibile si nota che mentre le soluzioni generali delle equazioni differenziali ordinarie vedono la presenza di costanti arbitrarie, le soluzioni delle equazioni differenziali alle derivate parziali implicano funzioni arbitrarie. Si consideri ad esempio l'equazione differenziale alle derivate parziali:

Tale relazione implica che la funzione è indipendente da . Quindi la soluzione generale di questa equazione è:

dove è un'arbitraria funzione di . L'analoga equazione differenziale ordinaria è:

che ha come soluzione:

dove è una costante.

La soluzione di un'equazione differenziale alle derivate parziali non è in generale unica, e risulta necessario porre delle condizioni aggiuntive alla frontiera di una regione in cui la soluzione è definita. Ad esempio, la funzione può essere determinata se è nota lungo la linea .

PDE in due variabili

[modifica | modifica wikitesto]

PDE del primo ordine

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Metodo delle caratteristiche.

Un'equazione differenziale alle derivate parziali del primo ordine ha la forma:

In due dimensioni:

dove e . Un integrale completo dell'equazione è una soluzione dipendente da due parametri e (in particolare, il numero dei parametri è pari alla dimensione dello spazio). Scegliendo una funzione arbitraria , ponendo e determinando richiedendo che la derivata totale sia nulla:

una soluzione è data da:

Se non è possibile avere l'integrale completo si può ricavare una soluzione risolvendo un sistema di equazioni differenziali ordinarie ottenuto sfruttando il metodo delle caratteristiche, che permette di trovare le curve lungo le quali l'equazione si comporta come un'equazione ordinaria.

PDE del secondo ordine

[modifica | modifica wikitesto]

La classificazione di una PDE dipende esclusivamente dai coefficienti delle derivate di ordine massimo presenti nell'equazione stessa. Le equazioni alle derivate parziali del secondo ordine in due variabili, cui si possono ricondurre con opportuni cambi di variabile anche i sistemi di PDE del secondo ordine, hanno forma generale:

dove si sono scritti i termini di grado massimo e si è assunto . Se in una regione del piano , in tale regione l'equazione è del secondo ordine. Convertendo (tramite, ad esempio, la trasformata di Fourier) le derivate in variabili elevate al grado della derivata (ovvero l'esponente è il grado di derivazione) si ottiene l'equazione della sezione conica:

Queste PDE vengono allora generalmente classificate come paraboliche, iperboliche o ellittiche secondo la tipologia dell'equazione associata, col criterio sul discriminante riportato brevemente :

Le equazioni iperboliche sono il contesto più generale in cui si applica il metodo delle caratteristiche, valido anche per le equazioni del primo ordine.

Se vi sono variabili indipendenti , una generica PDE del secondo ordine ha la forma:

dove si sono scritti i termini di grado massimo. La classificazione avviene in base al segno degli autovalori dei coefficienti :

  • L'equazione è ellittica se gli autovalori sono tutti positivi o tutti negativi.
  • L'equazione è parabolica se gli autovalori sono tutti positivi o negativi, tranne uno uguale a zero.
  • L'equazione è iperbolica se c'è soltanto un autovalore negativo, mentre i restanti sono positivi, oppure c'è soltanto un autovalore positivo e i restanti sono negativi.
  • L'equazione è ultraiperbolica se c'è almeno un autovalore positivo e un autovalore negativo, e nessun autovalore è nullo.

Questo porta all'analisi delle matrici definite positive e definite negative, in maniera analoga a quanto succede nella discussione dei massimi e minimi.

La matrice associata al sistema:

è la seguente:

Gli autovettori sono e con autovalori e , quindi il sistema è iperbolico. Dato che il sistema comprende due equazioni del prim'ordine (anche se ciascuna in due funzioni incognite), si vuole dimostrare la sua equivalenza con due equazioni del secondo ordine iperboliche disgiunte, cioè ciascuna in una funzione incognita. Derivando quindi la prima equazione rispetto a e la seconda rispetto a , supponendo le funzioni sufficientemente regolari, si ottiene:

da cui, supponendo le derivate seconde continue, cosicché commutino per il teorema di Schwarz, si ha:

Analogamente, derivando la prima rispetto a e la seconda rispetto a si ottiene:

Si tratta di equazioni ellittiche monodimensionali, entrambe di velocità di propagazione immaginaria

Equazioni notevoli

[modifica | modifica wikitesto]

Di seguito si mostrano alcune delle più importanti equazioni alle derivate parziali.

Equazione delle onde

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione delle onde ed Equazione della corda vibrante.

L'equazione delle onde è il prototipo di equazione iperbolica del second'ordine, e le sue soluzioni descrivono onde come il suono o le onde luminose. La forma generale dell'equazione riguarda una funzione della posizione e del tempo . Si tratta di un'equazione alle derivate parziali iperbolica la cui espressione generale è:[6]

dove rappresenta la velocità di propagazione dell'onda. La funzione incognita esprime l'intensità dell'onda in una particolare posizione al tempo . Per una corda vibrante, ad esempio, esprime lo spostamento fisico della corda dalla sua posizione di riposo. In una e due dimensioni, infatti, questa equazione può descrivere le vibrazioni di una corda o di un tamburo.

Le soluzioni sono in genere combinazioni di onde sinusoidali oscillanti. Se la velocità è dipendente dalla frequenza allora deve essere rimpiazzata dalla velocità di fase:

Nel caso meno frequente in cui la velocità sia dipendente dall'ampiezza, essa è in funzione di e l'equazione diventa non lineare.

L'equazione delle onde può anche essere scritta utilizzando l'operatore dalembertiano come:

Equazione del trasporto

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione del trasporto.

L'equazione del trasporto descrive il trasporto di una quantità in una data regione spaziale ed è usata per lo studio dei fenomeni di trasporto. Ha la forma:

Dove il termine noto è detto termine sorgente. Il vettore dei coefficienti , detto spesso velocità di trasporto, è solenoidale, vale a dire:

L'equazione del trasporto può anche essere scritta utilizzando l'operatore derivata lagrangiana come:

Equazione di continuità

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di continuità.

La forma omogenea dell'equazione del trasporto è detta equazione di continuità ed è usata per la descrizione. Ha la forma:

L'equazione di continuità può anche essere scritta utilizzando l'operatore derivata lagrangiana come:

L'equazione di continuità unidimensionale a velocità costante è il prototipo di equazione del prim'ordine:

ed è comunemente indicata come il problema del porcile. Se invece dipende dalla soluzione e in particolare è uguale alla funzione incognita l'equazione è chiamata equazione di Burgers.

Equazione di avvezione

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Avvezione.

L'equazione di avvezione è un esempio semplice di equazione alle derivate parziali del prim'ordine. Ha la forma:

L'equazione può essere riscritta attraverso l'operatore di avvezione come:

Equazione del calore

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione del calore.

L'equazione del calore descrive l'evoluzione nel tempo della temperatura di una data regione spaziale. Ha la forma:

Il termine descrive la diffusività del materiale.

Equazioni di Poisson e Laplace

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di Laplace ed Equazione di Poisson.

Sia una funzione definita sulla chiusura dell'insieme di a valori in . L'equazione di Poisson per ha la forma:[7]

dove è l'operatore di Laplace o laplaciano e è definita in a valori in . Nello spazio euclideo in coordinate cartesiane in tre dimensioni l'equazione prende la forma:

L'equazione di Poisson omogenea è detta equazione di Laplace:

La funzione rappresenta il termine forzante o di sorgente al secondo membro. In fisica le soluzioni di questa equazione descrivono un potenziale scalare in presenza di una sorgente, rispettivamente. Le soluzioni dell'equazione di Laplace assumono inoltre rilevanza in tantissime discipline, tra cui la scienza delle costruzioni, ad esempio per il caso della torsione nella trave di de Saint Venant.

Equazione di Helmholtz

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di Helmholtz.

L'equazione di Helmholtz ha forma canonica:

dove è l'operatore di Laplace, è la velocità delle onde, e il vettore d'onda. Si può vedere l'equazione di Helmholtz come un'equazione agli autovalori del laplaciano, e le soluzioni dell'equazione di Helmholtz come le autofunzioni del laplaciano, dette anche armoniche.

L'equazione si può anche ottenere a partire dall'equazione delle onde imponendo che la soluzione sia del tipo:

Equazione di Eulero-Tricomi

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di Eulero-Tricomi.

L'equazione di Eulero-Tricomi è un'equazione iperbolica lineare del second'ordine, usata per studiare i flussi transonici. Ha la forma:

Equazione di Ginzburg-Landau

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di Ginzburg-Landau.

L'equazione di Ginzburg-Landau è un'equazione parabolica che trova molte applicazioni fisiche. Ha la forma:

dove e è l'unità immaginaria.

Equazioni di Dym

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di Dym.

L'equazione di Dym è un'equazione del terz'ordine non lineare, chiamata così in onore di Harry Dym, che si incontra nello studio dei solitoni. Ha la forma:

Equazione di Bernoulli

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione differenziale di Bernoulli.

Equazioni di Maxwell

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazioni di Maxwell.

Equazione di Schroedinger

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di Schroedinger.

Equazione di Burgers

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di Burgers.

Equazione di Monge-Ampere

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di Monge-Ampère.

Equazioni di Navier-Stokes

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazioni di Navier-Stokes.

Equazione di sine-Gordon

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Equazione di sine-Gordon.

Eccetto per le ultime quattro, tutte le equazioni precedenti sono lineari, nel senso che possono essere scritte nella forma dati un determinato operatore lineare e una determinata funzione . Altre importanti equazioni non lineari sono le equazioni di Navier-Stokes che descrivono il flusso dei fluidi, e le equazioni di campo della relatività generale di Einstein. L'equazione di Schrödinger è inoltre una PDE fondamentale per la meccanica quantistica. Nell'approssimazione WKB vi è invece l'equazione di Hamilton-Jacobi.

Metodi di risoluzione

[modifica | modifica wikitesto]

Le PDE lineari in genere sono risolte, quando possibile, decomponendo l'equazione secondo una base di funzioni, risolvendo le equazioni così ottenute singolarmente e usando la sovrapposizione per trovare la soluzione corrispondente alle condizioni al contorno. Il metodo di separazione delle variabili è applicabile in molti casi particolari importanti.

Non esistono metodi generali per risolvere le PDE. Ciononostante risultati di esistenza e unicità (come il teorema di Cauchy-Kovalevskaya) sono spesso possibili, così come prove di importanti proprietà quantitative e qualitative delle soluzioni (trovare questi risultati è la parte più importante della teoria delle equazioni differenziali).

Tuttavia, alcune tecniche possono essere usate per diversi tipi di equazioni. Il principio di omotetia è il metodo più potente per risolvere le equazioni sottodeterminate. La teoria di Riquier-Janet è un metodo effettivo per ottenere informazioni su molti sistemi analitici sovradeterminati.

Il metodo delle caratteristiche può essere usato in alcuni casi molto particolari per risolvere le equazioni alle derivate parziali.

In alcuni casi, una PDE può essere risolta attraverso l'analisi delle perturbazioni, nella quale la soluzione è considerata come una correzione di un'equazione con una soluzione nota. Le alternative sono le tecniche di analisi numerica, dai semplici schemi di differenze finite ai più maturi metodi multigrid e di elementi finiti. Molti problemi interessanti in scienza e ingegneria vengono risolti in questo modo usando computers, e talvolta supercomputers molto potenti. Comunque, molti problemi in scienza e ingegneria vengono affrontati usando calcoli scientifici piuttosto che l'analisi numerica, siccome in genere non è noto se il metodo numerico produca soluzioni vicine a quella reale. È comunque bene sottolineare che la via numerica è spesso l'unica strada percorribile per trovare soluzioni, seppur approssimate, di molti problemi di matematica applicata.

  1. ^ Evans, Pag. 1.
  2. ^ a b Evans, Pag. 2.
  3. ^ Evans, Pag. 3.
  4. ^ a b Evans, Pag. 7.
  5. ^ Evans, Pag. 8.
  6. ^ Evans, Pag. 65.
  7. ^ Evans, Pag. 20.

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàThesaurus BNCF 20868 · LCCN (ENsh85037912 · GND (DE4044779-0 · BNF (FRcb11931364s (data) · J9U (ENHE987007552909105171 · NDL (ENJA00563088
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica