Equazioni sub-lineari con dati regolari ed irregolari

Documenti analoghi
I teoremi della funzione inversa e della funzione implicita

Il Teorema di Mountain-Pass

Consideriamo il seguente sistema di equazioni differenziali ordinarie (ODE) ai valori iniziali:

11. Misure con segno.

Esistenza ed unicità per equazioni differenziali

Dimostrazione. Indichiamo con α e β (finiti o infiniti) gli estremi dell intervallo I. Poniamo

non solo otteniamo il valore cercato per la validità della (1.4), ma anche che tale valore non dipende da

Equazione di Laplace

ANALISI MATEMATICA 3. esercizi assegnati per la prova scritta del 31 gennaio 2011

In questo lavoro ci occupiamo di soluzioni forti per il problema di. Dirichlet associato ad un operatore lineare uniformemente ellittico del.

Pag. 151 Dimostrazioni dei criteri per lo studio della convergenza di serie numeriche

0.1 Condizione sufficiente di diagonalizzabilità

Massimi e minimi vincolati

ANALISI 1 - Teoremi e dimostrazioni vari

Metodi di Iterazione Funzionale

LEZIONE i i 3

Corso di Calcolo Numerico

Laurea in Informatica e Tecnologie per la Produzione del Software Corso di Analisi Matematica Successioni e loro limiti

NOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE

Risoluzione di sistemi lineari sparsi e di grandi dimensioni

Geometria analitica del piano pag 12 Adolfo Scimone

LEZIONE 2. ( ) a 1 x 1 + a 2 x a n x n = b, ove a j, b R sono fissati.

CORSO DI ANALISI MATEMATICA 2 SOLUZIONI ESERCIZI PROPOSTI 15/04/2013

COMPLETEZZA DELL INSIEME DEI NUMERI REALI R.

LEZIONE 3. a + b + 2c + e = 1 b + d + g = 0 3b + f + 3g = 2. a b c d e f g

3. Successioni di insiemi.

Equazione di Laplace

8. Completamento di uno spazio di misura.

A.A CORSO DI ALGEBRA 1. PROFF. P. PIAZZA, E. SPINELLI. SOLUZIONE ESERCIZI FOGLIO 5.

TEMI D ESAME DI ANALISI MATEMATICA I

8 Metodi iterativi per la risoluzione di sistemi lineari

Elezione di un leader in una rete ad anello

Introduzione al Metodo agli Elementi Finiti (FEM) (x, y) Γ Tale formulazione viene detta Formulazione forte del problema.

Massimi e minimi vincolati

PRINCIPI DEL MASSIMO 3.1 PRINCIPI DEL MASSIMO IN FORMA DEBOLE CAPITOLO 3

CORSO DI ANALISI MATEMATICA 2 SOLUZIONI ESERCIZI PROPOSTI 18/03/2013

Corso di Matematica per la Chimica. Dott.ssa Maria Carmela De Bonis a.a

1. Funzioni implicite

Funzioni elementari: funzioni potenza

IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero

NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n

Alcuni Teoremi sulle funzioni continue e uniforme continuità

Esempi 1. Troviamo, se esistono, sup/inf, max/min dell insieme A = n : n N,n>0 } A è composto dai numeri. 4,... Vediamo subito che 1 A e 1 n 2, 1 3, 1

Corso di Calcolo Numerico

Calcolo Numerico con elementi di programmazione

Sviluppi e derivate delle funzioni elementari

1-Forme Differenziali

0.1 Spazi Euclidei in generale

Dimostrazioni del capitolo 8

2 - Le successioni per ricorrenza

Massimo limite e minimo limite di una funzione

Analisi Matematica 2: Esercizi su Equazioni Ordinarie

y 3y + 2y = 1 + x x 2.

Limiti di successioni

Analisi Matematica 1. Serie numeriche. (Parte 2) Dott. Ezio Di Costanzo.

Analisi Matematica II - INGEGNERIA Gestionale - B 20 luglio 2017 Cognome: Nome: Matricola:

SERIE NUMERICHE FAUSTO FERRARI

Su una classe di equazioni ellittiche perturbate singolarmente in forma di divergenza

8.1 Problema della diffusione in meccanica quantistica

Teorema delle Funzioni Implicite

Il teorema di Lagrange e la formula di Taylor

Capitolo IV SPAZI VETTORIALI EUCLIDEI

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.

Equazioni, funzioni e algoritmi: il metodo delle secanti

Analisi Matematica II Corso di Ingegneria Gestionale Compito del f(x, y) = e (x3 +x) y

Introduciamo ora un altro campo, formato da un numero finito di elementi; il campo delle classi resto modulo n, con n numero primo.

SPAZI METRICI COMPLETI

a) Il denominatore dev essere diverso da zero. Studiamo il trinomio x 2 5x + 6. Si ha: x 1,2 = 5 ± se x ], 2[ ]3, + [;

(2) se A A, allora A c A; (3) se {A n } A, allora +

Sistemi di equazioni differenziali

SERIE NUMERICHE FAUSTO FERRARI

k=0 a k k=0 a k, quando si voglia precisare qual è l indice iniziale: si possono infatti considerare anche serie del tipo k=1 a k, k=50 a k,

Calcolo Numerico per Ingegneria. Corso estivo di Bressanone. Prof. L. Bergamaschi SOLUZIONE DELLA PROVA SCRITTA del

La forma normale di Schur

Esercizi sulle equazioni differenziali a cura di Sisto Baldo, Elisabetta Ossanna e Sandro Innocenti

1 - Estremo superiore ed estremo inferiore di insiemi

SEMINARIO ANALISI ARMONICA PROF. VLADIMIR GEORGIEV UNIVERSITA DI PISA - A.A. 2012/2013 MATTEO DI NUNNO

Analisi 2. Roberto Monti. Appunti del Corso - Versione 5 Ottobre 2012

Appunti sulle equazioni differenziali lineari a coefficienti costanti del secondo ordine

STUDIO DELLE RADICI DI UNA EQUAZIONE ALGEBRICA DI TERZO GRADO A COEFFICIENTI REALI

Note sulle Catene di Markov

Tracce di soluzioni di alcuni esercizi di matematica 1 - gruppo 76-93

II Università degli Studi di Roma

ANALISI 1 1 QUINTA LEZIONE

Equazioni differenziali lineari del secondo ordine a coefficienti costanti

Similitudine (ortogonale) e congruenza (ortogonale) di matrici.

LEZIONI Dispense a cura del Docente.

Una successione numerica è una funzione : che associa ad ogni numero naturale un numero reale :. In simboli:

Alcune nozioni di calcolo differenziale

Precorso di Matematica

FUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi risolti

Esercitazione di Calcolo Numerico 1 22 Aprile Determinare la fattorizzazione LU della matrice a 1 1 A = 3a 2 a 2a a a 2 A =

LEZIONE 12. v = α 1 v α n v n =

04 - Logica delle dimostrazioni

Analisi 4 - SOLUZIONI (compito del 29/09/2011)

Dipendenza continua. A. Figà Talamanca

CAPITOLO SECONDO APPLICAZIONI TRA INSIEMI E RELAZIONI DI EQUIVALENZA

ANALISI MATEMATICA I-A. Prova scritta del 1/9/2009 TUTTE LE RISPOSTE DEVONO ESSERE MOTIVATE

Esercizi di Complementi di Matematica (L-Z) a.a. 2015/2016

Algoritmi e Strutture Dati

Transcript:

Capitolo 5 Equazioni sub-lineari con dati regolari ed irregolari In questo capitolo, ci proponiamo di affrontare un problema omogeneo differente dal problema agli autovalori; il nostro scopo, sarà quello di risolvere: dove: Lu) = ρx)fu) u > 0 u = 0 I) R N, N 3, è un aperto limitato; in in su Γ = 5.1) II) Lu) = divax) u), con Ax) = a i,j x)) i,j=1,..,n, a i,j : R, sono funzioni limitate come nei capitoli precedenti, Ax) è ancora simmetrica ed esistono α, Λ R + per cui si ha α ξ 2 Ax)ξ ξ Λ ξ 2 ξ R N. Per quanto riguarda le ipotesi su f e su ρ, vedremo in seguito come assegnarle; al momento, possiamo dire soltanto che: III) ρ : R, è una funzione misurabile; IV) f : R + R +, f è continua, crescente e tale che f0) = 0. Il metodo che sfrutteremo per studiare equazioni di questo tipo è il cosiddetto metodo di soprasoluzioni e sottosoluzioni, ma per poterlo usare ci servono alcune definizioni ed alcuni risultati preliminari. 78

5.1 Definizioni e risultati preliminari 79 5.1 Definizioni e risultati preliminari Consideriamo il problema { Lu) = gx, u) in u = 0 su Γ =, 5.2) supponendo che i) g : R + sia misurabile rispetto alla prima variabile e continua rispetto alla seconda, inoltre gx, 0) = 0 qualsiasi sia x. Definizione 5.1.1. Diremo che u H 1 ) è una sottosoluzione del problema 5.2), se: { Lu) gx, u) in 5.3) u 0 su Γ = e cioè se: gx, u) L 2N N+2 ) Ax) u ϕdx gx, u)ϕdx ϕ H1 0 ), ϕ 0. Definizione 5.1.2. Diremo che u H 1 ) è una soprasoluzione del problema 5.2), se: { Lu) gx, u) in 5.4) u 0 su Γ = e cioè se: gx, u) L 2N N+2 ) Ax) u ϕdx gx, u)ϕdx ϕ H1 0 ), ϕ 0. Iniziamo con l enunciare e dimostrare i seguenti Lemmi. Lemma 5.1.3. Sia w una soprasoluzione del problema 5.2), con gx, s) 0, allora w 0 q.o. in. Dimostrazione. Dal momento che w è soprasoluzione del problema 5.2), possiamo considerare come funzione test nella formulazione variazionale del problema 5.4), ϕ = w Ax) w + w ) w dx 0

80 Equazioni sub-lineari con dati regolari ed irregolari quindi grazie all ipotesi II), si ha e cioè Ax) w w dx 0 λ w 2 dx 0 w 1,0 2 0 pertanto w = 0 q.o., ovvero w 0 q.o.. Con dimostrazione identica alla precedente, scegliendo però w + come funzione test, si vede che Lemma 5.1.4. Sia w una sottosoluzione del problema 5.2), con gx, s) 0, allora w 0 q.o. in. Un Teorema di fondamentale importanza è il seguente Teorema 5.1.5. Consideriamo il problema 5.2), supponendo che siano valide le ipotesi I), II), i). Supponiamo inoltre che esistano u, u, sottosoluzione e soprasoluzione del problema 5.2), tali che a) u u; b) gx, t) è crescente in t qualsiasi sia x fissata. Allora esiste u soluzione del problema 5.2), ed u soddisfa: Dimostrazione. problema ux) ux) ux) q.o.in. Rinominiamo u 0 = u, e sia u 1 l unica soluzione del { Lu1 ) = gx, u 0 ) in u 1 = 0 su Γ = 5.5) siamo sicuri sia dell esistenza che dell unicità della soluzione u 1 grazie al fatto che, essendo u 0 una sottosoluzione del problema 5.2), gx, u 0 ) L 2N N+2 )). Per ipotesi u0 soddisfa il problema 5.3), quindi sottraendo membro a membro 5.3) da 5.5), si ha { Lu1 u 0 ) 0 in u 1 u 0 0 su Γ =.

5.1 Definizioni e risultati preliminari 81 Il Lemma 5.1.3 ci garantisce che u 1 u 0 0 q.o.. Definiamo ricorsivamente, la successione di funzioni {u n }: u 0 = u u n risolve { Lun ) = gx, u n 1 ) in u n = 0 su Γ = ; possiamo dimostrare che u n è monotona crescente, sfruttando un argomento induttivo; u 0 u 1 perché lo si è dimostrato pocanzi, supponiamo ora ipotesi induttiva) che u n 1 u n e dimostriamo che u n u n+1 : { Lun u n+1 ) = gx, u n 1 ) gx, u n ) in u n u n+1 = 0 su Γ =. Grazie all ipotesi induttiva, ed al fatto che gx, t) è crescente nella seconda variabile fissato x ), si ha: { Lun u n+1 ) 0 in u n u n+1 = 0 su Γ = ; quindi il Lemma 5.1.4, ci assicura che u n u n+1 q.o..inoltre si ha u n u q.o. qualsiasi sia n N e per farlo vedere si userà ancora il principio di induzione; per ipotesi u 0 u, supponiamo che u n u ipotesi induttiva) e dimostriamo che u n+1 u: { Lun+1 u) gx, u n ) gx, u) in u n+1 u 0 su Γ = ; grazie ancora all ipotesi induttiva ed alle proprietà di g, si ha: { Lun+1 u) 0 in u n+1 u 0 su Γ = ; il Lemma 5.1.4, ci assicura che u n+1 u. Pertanto, per quasi ogni x in, u n x) è monotona crescente e limitata, come successione numerica, dunque esiste ux) tale che u n x) converge ad ux) q.o. in. Facciamo ora vedere che u n converge debolmente ad u in H0 1 ), mostrando semplicemente che u n è limitata in H0 1): u n 2 1 ) gx, u n 1 )u n dx 1,0 α allora, usando la disuguaglianza di Hölder, la monotonia di g, il fatto che u n u n N e che gx, u), gx, u) L 2) ) per ipotesi, si ha u n 2 1,0 1 α max{ gx, u), gx, u) } 2 ) u n 2 ;

82 Equazioni sub-lineari con dati regolari ed irregolari quindi, sfruttando la disuguaglianza di Sobolev, si ottiene u n 2 1 1,0 αs max{ gx, u), gx, u) } 2 ) u n 1,0 con S costante di Sobolev. Dividendo ambo i membri della precedente relazione, per u n, si perviene a 1,0 u n 1 1,0 αs max{ gx, u), gx, u) } 2 ), dunque, essendo limitata e convergendo ad u q.o., u n converge ad u debolmente in H0 1 ), allora: Inoltre: lim n + Ax) u n ϕdx = Ax) u ϕdx ϕ H 1 0 ). gx, u n 1 ) gx, u) per q.o. x essendo g continua nella seconda variabile); gx, u n 1 ) max{ gx, u), gx, u) } L 2 ) ). Quindi gx, u n 1 ) converge a gx, u) in L 2 ) ), pertanto gx, u n 1 )ϕdxϕ = gx, u)ϕdx ϕ H0 1 ) lim n + Allora u è soluzione del problema 5.2) e per costruzione, è compresa tra u ed u come richiesto nell enunciato. Esempio Un semplice esempio di applicazione di questo Teorema, si ha considerando: θ [0, 1) fissato, gx, t) = t θ, t R, e di conseguenza il problema Lu) = u θ in u > 0 in 5.6) u = 0 su Γ = ; scegliendo u > 0, stiamo escludendo di poter scegliere u = 0 come sottosoluzione. Consideriamo u = ε ϕ 1, e cerchiamo ε tale che u sia una sottosoluzione del problema 5.6), imponendo: λ 1 ε ϕ 1 ε ϕ 1 ) θ, così facendo, u è sottosoluzione, non appena si scelga ε ε 0 dove ε 0 = 1 λ1 ) 1 1 θ 1 M con M = ϕ 1. Per determinare u, invece, consideriamo il problema { Lu) = T in e ricerchiamo T in modo che: u = 0 su Γ = ;

5.1 Definizioni e risultati preliminari 83 - u sia una soprasoluzione per il problema 5.6); - u u. Perché u sia una soprasoluzione, è sufficiente che T u) θ il Teorema di Stampacchia, cioè il Teorema 2.1.4 del Capitolo 2, ci garantisce poi che esiste c R + tale che u ct. Dunque, perché u sia una soprasoluzione, ci basta che T T 0, dove T 0 = c θ 1 θ. Tuttavia, per poter applicare il Teorema 5.1.5, ci serve che u u, e perché questo avvenga, è sufficiente scegliere T = max{t 0, T 1 } con T 1 = λ 1 ε 0 M ed M è ancora M = ϕ 1. Per quanto riguarda poi la sommabilità di u) θ ed u) θ, si ha che per costruzione u, u L ) e così anche u) θ ed u) θ ; pertanto il Teorema 5.1.5 ci assicura che esiste u soluzione del problema 5.6), con u uu, quindi u L ). A questo punto, è legittimo porsi due domande: - una soluzione che sia stata ottenuta per iterazioni monotone dal Teorema 5.1.5 è unica? - E possibile risolvere problemi super-lineari sfruttando il metodo fino ad ora descritto, dal momento che a g si richiede soltanto di essere monotona? La risposta è negativa in tutti e due i casi; se infatti si definisce ricorsivamente {v n } come v 0 = u v n risolve { Lvn ) = gx, v n 1 ) in v n = 0 su Γ =, allora con gli stessi metodi usati nella dimostrazione del Teorema 5.1.5, si può far vedere che - v n x) è, per q.o. x in, una successione monotona decrescente; - v n x) è, per q.o. x in, incastrata tra u ed u, quindi esiste v in H0 1) tale che v n converge debolmente a v in H0 1 ), u v u, v risolve il problema 5.2) ed u v, dove u è la soluzione ottenuta mediante il Teorema.

84 Equazioni sub-lineari con dati regolari ed irregolari Per quanto concerne la seconda domanda, la risposta è espressa dal fatto che una soprasoluzione e sottosoluzione di un problema super-lineare, non sono ordinate come richiede il Teorema 5.1.5, e quindi non si riesce ad ottenere un limite q.o. per le eventuali successioni {u n }, {v n }. Ancora in merito alla prima domanda, possiamo tuttavia dimostrare la seguente: Proposizione 5.1.6. Siano u 1, u 2 due soluzioni del problema 5.2), con 0 < u 1 < u 2, e sia g : R + R + tale che gx,t) t è decrescente nella variabile t) per q.o. x. Allora u 1 = u 2 q.o.. Dimostrazione. Sappiamo che Ax) u 1 ϕdx = gx, u 1 )ϕdx ϕ H0 1 ), 5.7) e Ax) u 2 ϕdx = gx, u 2 )ϕdx ϕ H 1 0 ), 5.8) posta ϕ = u 2 nella relazione 5.7) e ϕ = u 1 nella relazione 5.8) si hanno le due relazioni: Ax) u 1 u 2 dx = gx, u 1 )u 2 dx, Ax) u 2 u 1 dx = gx, u 2 )u 1 dx, che sottratte membro a membro, sfruttando la simmetria della matrica A, forniscono gx, u 1 )u 2 gx, u 2 )u 1 dx = 0. Pertanto gx, u1 ) gx, u ) 2) u 1 u 2 dx = 0, u 1 u 2 ma u 1 > 0 ed u 2 > 0, quindi u 1 u 2 > 0 e gx,t) t è decrescente; dunque, poiché, per ipotesi u 1 u 2 q.o., si ha u 1 = u 2 q.o.. Così, per quanto riguarda l esempio precedente, si ha che le due soluzioni che si trovano per iterazioni monotone, a partire da u e da u, sono coincidenti, dal momento che ht) = tθ t è decrescente. 5.2 Due risultati di esistenza nel caso limitato, ρ L ) Consideriamo il problema 5.1) Lu) = ρx)fu) u > 0 u = 0 in in su Γ =,

5.2 Due risultati di esistenza nel caso limitato, ρ L ) 85 supponendo che valgano le ipotesi I) IV ), e che inoltre sussista: V) esistono γ R +, θ [0, 1) tali che Allora possiamo dimostrare il seguente ft) γt θ t 0. Teorema 5.2.1. Supponiamo che valgano le ipotesi I) V ), e che inoltre: a) ρ L ); b) esiste ρ 0 in R + tale che c) si abbia ρx) ρ 0 > 0; ft) lim > λ 1 t 0 + t ρ 0 con λ 1 primo autovalore dell operatore L in. Allora esiste u soluzione del problema 5.1), u L ) H 1 0 ). Dimostrazione. La funzione gx, t) = ρx)ft), soddisfa in primo luogo l ipotesi i), inoltre unendo l ipotesi IV ) all ipotesi b), si ha che gx, t) è crescente nella seconda variabile per q.o. x. Se troviamo una sottosoluzione u ed una soprasoluzione u, ordinate in modo che u u, applicando il Teorema 5.1.5, avremo l asserto. Se consideriamo u = ε ϕ 1, affinché u sia una sottosoluzione del problema 5.1), è sufficiente che ε ε 0, dove ε 0 soddisfa: ε 0 ϕ 1 ) 1 fε 0 ϕ 1 ) > λ 1 ρ 0, l esistenza di ε 0 è garantita dall ipotesi c)). Per quanto riguarda la soprasoluzione, consideriamo u tale che { Lu) = T in u = 0 su Γ =, e scegliamo T in modo che u sia una soprasoluzione per il problema 5.1); ) 1 cioè T ρ γc θ 1 θ = T 0, dove c è la costante fornita dal Teore- ma di Stampacchia 2.1.4 e quindi soddisfa u ct. Vogliamo infine che u u, e affinché ciò avvenga è sufficiente scegliere T = max{t 0, T 1 } dove T 1 = ε 0 Mλ 1 ed M = ϕ 1. Allora u risolve l equazione, inoltre 0 < u u u, così u risolve il problema 5.1) ed essendo u L ), si ha che u L ) H0 1).

86 Equazioni sub-lineari con dati regolari ed irregolari Il precedente risultato può essere migliorato, facendo delle ipotesi più deboli sul segno della funzione ρx), cioè supponendo ρx) positiva non su tutto, ma soltanto su di un insieme compattamente contenuto in stesso; a patto però di sfruttare il Lemma seguente, che ci occorre a stabilire il comportamento di un autofunzione dell operatore L su, al di fuori di e cioè su tutto l insieme. Lemma 5.2.2. Sia A un operatore differenziale ellittico, che agisca tra H0 1) ed H 1 ). Sia un aperto, compattamente contenuto in, cioè, g H 1 ), con g 0, e ζ H0 1) con ζ 0 in ed Aζ) g in. Definiamo ζ come ζ = ζ in e ζ = 0 altrove in. Allora A ζ) g in. Dimostrazione. Sia K = {w H0 1) : v ζin}, e consideriamo la soluzione w della disuguaglianza variazionale: w K t.c. Aw) g, v w 0 v K 5.9) usando w come funzione test nell equazione 5.9, si prova che w = 0 q.o., allora w 0 q.o., pertanto 0 w ζ, e così w = 0 q.o. in \. In particolare, si ha A ζ) g, ζ w = Aζ) g, ζ w, 5.10) grazie alle ipotesi su ζ. Inoltre, le proprietà di monotonia di A, 5.9) ed 5.10), ci assicurano che: Aw) A ζ), w ζ A ζ) g, w ζ 0, e così w = ζ su. D altra parte la soluzione w dell equazione 5.9), soddisfa Aw) g in, da cui la tesi. Teorema 5.2.3. Supponiamo che valgano le ipotesi I) V ), e che: a) ρ L ); b) esistono ρ 0 in R +,, aperto, tali che c) si abbia ρx) ρ 0 > 0 in ; ft) lim > λ 1 t 0 + t ρ 0 dove λ 1 è il primo autovalore di L su e ρ 0 è quello introdotto nel punto b).

5.2 Due risultati di esistenza nel caso limitato, ρ L ) 87 Allora, esiste u soluzione del problema 5.1), con u H 1 0 ) L ). Dimostrazione. Sia ρ + x) = maxρx), 0), e sia v la soluzione del problema { Lv) = γρ + x) in v = 0 su Γ =, 5.11) con γ introdotto nell ipotesi V ), allora per il Teorema 2.1.2 v è positiva, essendo tali, sia γ che ρ + x); inoltre, dal momento che γρ + x) L ) allora per il Teorema 2.1.4, v L ). Definiamo u = T v naturalmente, appena T > 1, u è una soprasoluzione del problema 5.11)), allora perché u sia una soprasoluzione del problema 5.1), occorre che { Lu) ρx)fu) 0 in 5.12) u 0 su Γ =. Ma Lu) ρx)fu) T γρ + x) ρx)fvt ) T γρ + x) ρx)γ vt ) θ, dunque, perché u sia soprasoluzione del problema 5.1), basta trovare T tale che T γρ + x) ρx)γ vt ) θ 0; sfruttando il Teorema 2.1.4, si ha v v γc ρ + x), dunque, perché sia soddisfatto il problema 5.12), basta che e cioè: pertanto T γρ + x) ρx)γ θ+1 ct ρ + x) ) θ 0 T 1 θ T 1 θ ) θ ρ ρ + x) cγ ρ +, x) ) θ ) θ ρ + x) cγ ρ + x) cγ ρ ρ +. x) Dal momento che ρ 0, c > 0, ρ + 0, ρ + x) 0, perché sia soddisfatto il problema 5.12), è sufficiente che Sia ora u = εϕ con T ) θ ρ + 1 θ x) cγ { ϕ1 in ϕ = 0 in \, = T 0. e ϕ 1 prima autofunzione di L in. Il Lemma 5.2.2, con g = λ 1 ϕ, λ 1 primo autovalore in, ζ = ϕ 1, ci garantisce che Lϕ) λ 1 ϕ in ; quindi Lu) ρx)fu) λ 1 u ρ 0 fu),

88 Equazioni sub-lineari con dati regolari ed irregolari se ε è scelto abbastanza piccolo, si ha effettivamente { Lu) ρx)fu) 0 in u 0 su Γ =. Basta scegliere ε ε 0, dove ε 0 è tale che ε 0 ϕ) 1 fε 0 ϕ) > λ 1 ρ 0 l esistenza di un tale ε 0 è garantita dall ipotesi c) del Teorema). Vogliamo ora ordinare u, u, in modo che u u, ma dal momento che se ε è abbastanza piccolo, u è anche una sottosoluzione per il problema 5.11) e che basta porre T > 1, perché u sia una soprasoluzione dello stesso problema, allora è sufficiente per ottenere il giusto ordinamento, che ε sia piccolo, e T = max{t 0, 1}. Procediamo ora come già fatto nella dimostrazione del Teorema 5.1.5, per iterazioni monotone, osservando che non è possibile applicare il suddetto Teorema, a causa del fatto che, ρx)ft) potrebbe anche non essere crescente nella variabile t stante la mutevolezza di segno della funzione ρx). Definiamo pertanto ricorsivamente, la successione di funzioni {u n }: u 0 = u u n risolve { Lun ) + ρ x) = ρ + x)fu n 1 ) in u n = 0 su Γ =. Dimostriamo, mediante un procedimento induttivo che {u n } è monotona crescente: u 1 u 0, infatti si ha che Lu 0 u 1 ) ρ x) [fu 1 ) fu 0 )] scelta come funzione test u 0 u 1 ) +, si ha Ax) u 0 u 1 ) + u 0 u 1 ) + dx ρ x) [fu 1 ) fu 0 )] u 0 u 1 ) + dx così, usando l ipotesi II) sula matrice A, ed il fatto che f è crescente, si ottiene α u 0 u 1 ) + 2 dx 0, pertanto u 0 u 1 ) + = 0 q.o., cioè u 0 u 1 q.o.. Supponiamo che u n 1 u n q.o. ipotesi induttiva) e dimostriamo che u n u n+1 q.o.: Lu n u n+1 ) = ρ x) [fu n+1 ) fu n )] + ρ + x) [fu n 1 ) fu n )]. Sfruttando l ipotesi induttiva e la monotonia di f, si ha Lu n u n+1 ) = ρ x) [fu n+1 ) fu n )]

5.2 Due risultati di esistenza nel caso limitato, ρ L ) 89 da cui procedendo come nel primo passo scegliendo come test u n u n+1 ) + ) si ottiene u n u n+1 q.o.. Sfruttando ancora un processo induttivo, si può dimostrare che u n u q.o. per ogni n N, infatti: u 0 u q.o. per costruzione, supponiamo che u n u q.o. ipotesi induttiva) e dimostriamo che u n+1 u q.o.; allora Lu n+1 u) ρ + x)fu n ) ρx)fu) ρ x)fu n+1 ), Lu n+1 u) ρ + x)fu n ) ρ + x)fu) + ρ x)fu) ρ x)fu n+1 ), grazie nuovamente all ipotesi induttiva ed al fatto che f è crescente, si ha Lu n+1 u) ρ x) [fu) fu n+1 )] ; scelta come funzione test u n+1 u) +, si ha u n+1 u q.o.. Pertanto, per q.o. x fissato in, u n x) è monotona crescente e limitata, come successione numerica, dunque esiste ux) tale che u n x) converge ad ux) q.o. in. Facciamo ora vedere che u n x), converge debolmente ad u in H0 1), mostrando che u n è limitata in H0 1): u n 2 1 [ ] ρ + fu n 1 )u n dx ρ fu n )u n dx, 1,0 α u n u > 0, f : R + R + e ρ x) 0 q.o., quindi u n 2 1 ρ + fu n 1 )u n dx. 1,0 α Dal momento che f è crescente e u n u per ogni n N, si ha u n 2 1 ρ + fu)u n dx. 1,0 α Così, sfruttando la disuguaglianza di Hölder, perveniamo a u n 2 1,0 1 α ρ+ max{ fu), fu) } 2 ) u n 2 si è usata anche la limitatezza di ρ + x)). Usando sull ultima relazione ottenuta la disuguaglianza di Sobolev, si arriva a u n 2 1,0 1 Sα ρ+ max{ fu), fu) } 2 ) u n 1,0, dividendo ambo i membri per u n 1,0, si ha u n 1,0 1 Sα ρ+ max{ fu), fu) } 2 ).

90 Equazioni sub-lineari con dati regolari ed irregolari Dunque u n u in H0 1 ), pertanto Ax) u n wdx = inoltre lim n + Ax) u wdx w H 1 0 ); ρ + x)fu n 1 ) ρ x)fu n ) converge q.o. in a ρx)fu); ρ + x)fu n 1 ) ρ x)fu n ) ρ + x)fu n 1 ) + ρ x)fu n ) 2 ρ max{ fu), fu) } L 2N N+2 ). Così, ρ + x)fu n 1 ) ρ x)fu n ) in L 2N N+2 ) a ρx)fu), pertanto ρ + x)fu n 1 ) ρ x)fu n ) ) wdx = lim n + = ρx)fu)wdx w H 1 0 ). Dunque passando al limite su entrambi i membri del problema che definisce u n, cioè: Ax) u n wdx = ρ + x)fu n 1 ) ρ x)fu n ) ) wdx w H0 1 ) si ottiene Ax) u wdx = ρx)fu)wdx w H 1 0 ), allora u risolve l equazione del problema 5.1), ed inoltre 0 < u u u, così, effettivamente u risolve il problema 5.1) ed u L ) H0 1). Osservazione. Si noti che la sottosoluzione u = εϕ è del tutto indipendente dalla ρ. Essa infatti dipende esclusivamente da f e da ρ 0, e questo ci sarà molto utile in seguito. 5.3 Esistenza e regolarità nel caso variazionale In questo terzo paragrafo, ci proponiamo di indebolire ulteriormente le ipotesi sulla funzione ρx), pur continuando a ricercare soluzioni in senso debole del problema 5.1), e cioè facendo in modo che la sommabilità della funzione ρx), ci consenta di scegliere ancora, come funzioni test, delle funzioni in H0 1 ); il motivo per cui è ragionevole aspettarsi di poter considerare ρx) che non sia in L ) è interamente contenuto nell osservazione che troviamo alla fine del precedente paragrafo, e consiste appunto nel fatto che per trovare una sottosoluzione del problema in questione, ci basta avere una stima dal basso della funzione ρx). Sussiste il seguente