SOLUC

IÓN DE UNA ECUAC

IÓN EN DER
IVADAS PARC
IALES NOL
INEAL
ELÍPT
ICA USANDO EL M
ÉTODO VAR
IAC
IONAL

CESARIVAN ORT
IZSAAVEDRA
LEÓN DAR
IOSOLANO R
INCÓN

UN
IVERS
IDAD DEL TOL
IMA
FACULTAD DE EDUCA
IÓN
PROGRAMA DEL
ICENC
IATURA EN MATEMÁT
ICAS
IBAGU
É
2013
SOLUC
IÓN DE UNA ECUAC
IÓN EN DER
IVADAS PARC
IALES NOL
INEAL
ELÍPT
ICA USANDO EL M
ÉTODO VAR
IAC
IONAL

CESARIVAN ORT
IZSAAVEDRA
C
ód
igo0
511
501
620
08
LEÓN DAR
IOSOLANO R
INCÓN
C
ód
igo0
511
001
220
08

T
rab
ajod
egr
adop
araop
tara
ltı́
tul
odeL
icen
ciad
oen M
atem
á
tic
as

D
ire
cto
r
JUAN CARLOS CARDEÑO ARD
ILA
P
rof
eso
rde
lDep
art
amen
tod
eMa
tem
á
tic
asyE
stad
ı́
sti
ca

UN
IVERS
IDAD DEL TOL
IMA
FACULTAD DE EDUCAC
IÓN
PROGRAMA DEL
ICENC
IATRA EN MATEMÁT
ICAS
IBAGU
É
2013
Ded
ica
tor
ia

D
edi
cadoala m
emo
riad
eANDRESCAM
ILOACEVEDORU
IZya m
ifam
il
ia.
Ce
sarIvan Or
tizSaavedra

D
edi
cadoa
lSeño
rJe
suc
ris
toya m
ifam
il
ia.
L
eón Dar
ı́o So
lano R
incón
Ag
radec
imien
tos

A
grad
ezc
opr
ofund
amen
tea D
iospo
rlas
abidu
rı́
abr
ind
ada
,a m
imad
reC
arm
enz
a
S
aav
edr
a,a m
ipad
reC
arl
osIv
an O
rti
zy m
ihe
rman
aKa
the
rin
eOr
tizS
aav
edr
apo
r
a
comp
añ
arm
eyapo
yarm
edu
ran
tet
odam
ica
rre
raun
ive
rsi
tar
ia. Qu
ier
oman
ife
sta
rmi
m
á
ssin
cer
oag
rad
ecim
ien
toa
lpr
ofe
sorJu
anC
arl
osC
ard
eñ
oArd
ilapo
rac
ept
aryd
ir
igi
r
é
stet
rab
ajod
egr
ado
,po
rsud
edi
cac
iónin
cond
ic
ion
al,su
scon
cej
osys
obr
etod
opo
rsu
s
apo
rte
sva
lio
sosyad
emá
sa m
iam
igoL
eón D
arı́
oqu
iéna
yud
ós
ign
ific
ativ
amen
teene
l
d
esa
rro
llod
elt
rab
ajo
,lee
sto
ysin
cer
amen
tea
grad
ecid
o. Yfin
alm
ent
edeboa
grad
ece
r
am
isc
omp
añ
ero
syam
ino
viaY
orl
ady
saqu
ienam
o,po
rqu
esinsua
yud
a,é
stet
rab
ajo
n
oseh
abr
ı́
aes
cri
to.

Ce
sarIvan Or
tizSaavedra

A
grad
ezc
opr
ofund
amen
teaD
iospo
rhab
erm
epe
rmi
tid
oviv
irc
adad
ı́
aycu
lmin
arc
on
éx
itom
ica
rre
rad
epr
egr
ado
,siné
lé
stel
ogr
onos
erı́
apo
sib
le
.Ag
rad
ezc
oa m
ifam
il
ia
yam
igo
s. Am
icomp
añ
eroC
esa
rpo
rqu
esec
onv
irt
ióenunam
igom
á
sypo
rqu
esu
p
aci
enc
iah
izoqu
ees
tet
rab
ajol
leg
araaunf
el
izt
é
rmin
o.P
orú
l
tim
oys
inlu
gara
dud
asa
lpr
ofe
sorJu
anC
arl
osC
ard
eñ
oArd
ilapo
rhab
erc
omp
art
idosut
iempop
ara
qu
ees
tet
rab
ajod
ier
afru
tos
.

L
eón Dar
ı́o So
lano R
incón
 Re
sumen

Ene
stet
rab
ajop
res
ent
amo
selr
esu
ltad
omá
simpo
rtan
ted
enu
est
rain
ves
tig
aci
ónen
e
les
tud
iod
elaex
ist
enc
iad
elas
olu
ciónaun
aEcu
aci
ónenD
eriv
ada
sPa
rci
ale
sel
ı́p
tic
a
n
olin
eald
elaf
orm
a

−∆u−λu+u3=f en Ω
(
1)
 u=0 s
obr
e ∂Ω

d
ond
eλ∈R,Ωe
sunsub
con
jun
toab
ier
toya
cot
ad eRn c
od onf
ron
ter 2
a∂Ωyf∈l(Ω
).
E
lmé
tod
oau
ti
li
zare
sun
adel
ash
err
ami
ent
asd
elAn
á
li
sisF
unc
ion
aln
oLin
ealc
ono
-
c
idoc
omoM
etod
oVa
ria
cion
al,e
lcu
á
lcon
sis
teenen
con
tra
rlo
spun
tosc
rı́
t
i c
osd
eun
fun
cion
alap
rop
iad
ode(
1).
Pa
lab
rasc
lav
e:E
cua
cion
esenD
eriv
ada
sPa
rci
ale
sel
ı́p
tic
asn
olin
eal
es,M
é
tod
oVa
ria
-
c
ion
al,F
unc
ion
al,S
olu
ciónd
éb
il
,Pun
tosc
rı́
t
i c
os,C
ond
ic
iónd
eDi
rich
let
.

Ab
strac
t

Inth
isp
ape
rwep
res
entth
emo
stimpo
rtan
tre
sul
tofou
rre
sea
rchonth
estudyo
fth
e
ex
ist
enc
eofth
eso
lut
iono
fnon
lin
earP
art
ialD
iffe
ren
tia
lEqu
ati
onso
fth
etyp
e

−∆u−λu+u3=f in Ω
(1
)
 u=0 on ∂Ω

wh
ereλ∈R,Ωi
sabound
edop
ensub
se fRn wh
to itbound
a 2
ry∂Ωandf∈l(Ω
). Th
e
m
eth
odu
sedi
son
eofth
etoo
lso
fNon
lin
earF
unc
tion
alAn
aly
siskn
owna
sVa
ria
tion
al
M
eth
od,wh
ichi
stofindth
ecr
it
ica
lpo
int
sofasu
itab
lefun
cti
ona
lof(
1).
Key wo
rds
: N
onl
ine
are
ll
ipt
icP
art
ialD
iffe
ren
tia
l Equ
ati
on,V
ari
ati
ona
l M
eth
od,
F
unc
tion
al,W
eaks
olu
tion
,Cr
it
ica
lpo
int
s,D
ir
ich
letc
ond
it
ion
.

5
T
ablade Con
ten
ido

In
troducc
ión 8

0 P
rel
imina
res 10

0
.1 E
spa
cio
sno
rmad
os............................. 1
0

0
.2 E
spa
cio
sconp
rudu
ctoin
tern
o....................... 1
0

0
.3 Su
ces
iónd
eCau
chy............................. 1
1

0
.4 E
spa
cio
sdeH
ilb
ert............................. 1
1

0
.5 E
spa
cio
sdeS
obo
lev............................. 1
1

1 Ecuac
ione
sDi
ferenc
iale
s Pa
rcia
les 13

1
.1 E
cua
cion
esD
ife
ren
cia
lesP
arc
ial
es..................... 1
3

1
.1.
1 N
ota
ciónd
el Mu
lt
iind
ice...................... 1
4

1
.2 C
las
ific
aci
ón d
ela
sEcu
aci
one
sDi
fer
enc
ial
esP
arc
ial
es......... 1
5

1
.2.
1 C
las
ific
aci
óns
egúnsuo
rden
..................... 1
6

1
.3 C
ara
cte
riz
aci
ónyc
las
ific
aci
ónd
eun
aEDP
,med
ian
tee
lDi
scr
imin
ant
ey
D
ete
rmin
ant
edel
aecu
aci
ón
......................... 1
6

1
.3.
1 C
las
ific
aci
ón m
edi
ant
eelD
isc
rim
inan
te. ............. 1
8

1
.3.
2 C
las
ific
aci
ón m
edi
ant
eelD
ete
rmin
ant
e............... 1
9

1
.3.
3 C
las
ific
aci
óns
egúnsul
ine
alid
ad. ................. 2
0

1
.4 S
ist
emad
eecu
aci
one
send
eriv
ada
spa
rci
ale
s............... 2
1

6
 1
.5 C
ond
ic
ion
esd
eFr
ont
era.......................... 2
3

2 Ex
istenc
iay Un
icidaddelaSo
luc
ión Pa
rauna EDP 25

2
.1 P
rob
lem
adeC
auch
y............................ 2
5

2
.2 C
auch
y-K
ova
lév
ska
ya........................... 2
7

2
.3 S
olu
ciónd
eun
aEcu
aci
ón D
ife
ren
cia
lPa
rci
al............... 2
9

3 A
lguna
s Noc
ione
sde
l Aná
l
i s
isFunc
iona
l 34

3
.1 D
efin
ic
iónd
elo
sEsp
aci
osLp........................ 3
4

3
.2 Id
ent
idad
esd
eGr
een............................ 3
6

3
.3 F
unc
ion
al .................................. 3
7

3
.3.
1 P
rob
lem
adeD
ir
ich
letp
araun
aEDPe
lı́p
tic
ades
egund
oord
en 3
8

4 Mé
todo V
ariac
iona
l 42

4
.1 In
trodu
cci
ón................................. 4
2

4
.2 S
olu
ciónaun
aEDPn
olin
eale
lı́p
tic
aconc
ond
ic
iónd
eDi
rich
letm
edi
ant
e
e
lMé
tod
oVa
ria
cion
al ........................... 4
3

4
.2.
1 E
jemp
lo............................... 4
3

B
ibl
iog
raf
ı́a 47

7
In
troducc
ión

E
lin
ter
é
sdel
acomun
idadc
ien
tı́fi
caene
lan
á
li
sisn
olin
ealh
aid
ocr
eci
end
osi
gnifi
ca-
t
ivam
ent
eenl
asú
l
tim
asd
é
cad
as.P
ore
star
azón
,nu
est
rot
rab
ajoe
sta
rád
ir
igid
oal
e
stud
iod
ela
sEcu
aci
one
sDi
fer
enc
ial
esP
arc
ial
es(
deah
oraenad
elan
teEDP)
,dad
o
suamp
lioc
ampod
eap
li
cac
iónqu
eé
sta
sti
enen
.Con
secu
ent
econe
sto
,de
cid
imo
sen
-
f
oca
rno
senl
aso
luc
iónd
eun
aEDPn
olin
eale
lı́p
tic
aus
and
oelM
é
tod
oVa
ria
cion
al,
e
lcu
ale
sun
adel
asp
rin
cip
ale
she
rram
ien
tasemp
lead
asp
arae
stud
iarl
aex
ist
enc
iad
e
s
olu
cion
esd
epr
obl
ema
sel
ı́p
tic
osn
olin
eal
.

E
stet
rab
ajoe
sta
rád
ivid
idoenp
rel
imin
are
sy4 C
apı́
tul
os.L
osp
rel
imin
are
spo
seen
d
efin
ic
ion
esb
á
sic
asc
omoE
spa
cio
sNo
rmad
os,E
spa
cio
scon P
rodu
cto Pun
to,Su
ce-
s
ion
esd
eCau
chy
,Esp
aci
osd
eHi
lbe
rt,ad
emá
scon
tar
aconl
osE
spa
ciod
eSobo
lev
,
e
lcu
ale
sdeg
ranu
ti
lid
adpo
rqu
eese
lesp
aci
ofun
cion
alene
lcu
ale
stáp
lan
tead
ala
s
olu
ciónd
elaEDP(
1)(
pos
ter
iorm
ent
elae
cua
ción(
1),e
sta
rap
res
entadaene
lCap
ı́
tulo
4c
one
lı́nd
iced
e(4
.4)
).L
os4c
apı́
tul
oss
ede
sar
rol
lar
and
elas
igu
ien
tef
orm
a:
Ene
lCap
ı́
tul
o1in
ic
iar
aconl
adefin
ic
iónd
eEDP m
enc
ion
and
oal
gún
asd
ela
sEDP
m
á
simpo
rtan
tes
,si
gui
end
oconl
adefin
ic
iónd
eord
enyl
ine
alid
adyfin
ali
zand
oconl
as
d
efin
ic
ion
esd
esi
stem
asd
eEDPyc
ond
ic
ion
esd
efr
ont
era
s.
Ene
lCap
ı́
tul
o2e
stud
iar
emo
selp
rob
lem
adeC
auch
yye
lte
orem
adeC
auch
y- K
o-
v
alév
ska
ya,e
lcu
á
lga
ran
tiz
alaex
ist
enc
iayl
aun
ic
idadenl
aso
luc
iónd
elp
rob
lem
ade
C
auch
yfo
rmu
lad
oan
ter
iorm
ent
e,p
arae
lca
sod
eun
aEDPan
alı́
t
i c
ayun
asc
ond
ic
ion
es
in
ı́
c
i a
lesan
alı́
t
i c
as.
Ene
lCap
ı́
tul
o3e
stab
lec
erem
osa
lgun
asn
oci
one
sde
lAn
á
li
sisfun
cion
alyd
esi
gua
ldad
es
impo
rtan
tes
,ta
lesc
omol
aDe
sigu
ald
add
eHö
lde
r,D
esi
gua
ldadd
ePo
inc
aré
,elt
eor
ema
d
eLax
-Mi
lgr
am,e
lte
orem
aPr
inc
ipi
odeD
ir
ich
let
,lo
scu
ale
scon
tribu
irána
lde
sar
rol
lo
d
elt
emac
ent
rald
elp
res
ent
etr
aba
jo.
P
orú
l
tim
o,e
lCap
ı́
tul
o4c
orr
espond
eal
ain
trodu
cci
ónd
eun
odel
osm
é
tod
osm
á
s

8
u
ti
li
zad
osp
araob
ten
ers
olu
cion
esap
rox
imad
asap
rob
lem
asqu
enopo
seens
olu
ción
an
alı́
t
i c
a.P
arae
jemp
lare
stem
é
tod
oten
emo
sen m
ent
eunp
rob
lem
adev
alo
rdef
ron
-
t
erat
ipoD
ir
ich
letp
araun
aEDPe
lı́p
tic
anol
ine
al.

9
P
rel
imina
res

0
.1 E
spac
iosno
rmado
s

Defin
ición0
.1. Unano
rmaenune
spa
ciov
ecto
ria
lH so
breRóC e
sunaap
li
cac
ión
,d
efin
idaenH ava
lorr
ealp
osi
tivo

:H → R+

ta
lqu
e

• x ≥0p
arato
dox∈H y x =0↔ x=0

• λx =|
λ|x p
arato
dox∈H yp
arato
doλ∈R óC

• x+y ≤ x + y p
arato
dox
,y∈H

a
lpa
r(H
, )lol
lama
remo
sesp
aciov
ecto
ria
lno
rmado
.

0
.2 E
spac
iosconp
rudu
ctoin
terno

Defin
ición0
.2.S
eaH une
spa
ciov
ecto
ria
lso
bree
lcamp
oK =R óC,unp
rodu
cto
in
ternoe
sunafun
ción :H ×H → K ta
lqu
e,

•x
,x ≥0p
arato
dox∈H y x
,x =0 s
ix=0

•x
,y = y
,x p
arato
dox
,y∈H (
con
jugad
ocom
ple
jod
ex,y)

1
0
 • λx
,y =λ x
,y p
arato
doλ∈C yp
arato
dox
,y∈H

• x+y
,z = x
,z + y
,z p
arato
dox
,y,z∈H

S
iH e
sune
spa
ciov
ecto
ria
lconp
rodu
ctoin
terno
,lap
are
ja(
H, )s
econo
cec
omo
une
spa
cioc
onp
rodu
ctoin
terno
.

0
.3 Suce
siónde Cau
chy

Defin
ición0
.3.S
eaE une
spa
ciono
rmado
.Sed
icequ
eunasu
ces
iónSn ∈E,e
suna
su
ces
iónd
ecau
chy
,sip
arato
do >0
,ex
ist
eunen
ter
oN ta
lqu
e

Sn−Sm < pa
rat
odon
,m≥N

An
tesd
ehab
lard
elo
sesp
aci
osd
eHi
lbe
rt,e
spr
eci
soa
cla
rarqu
eenund
ete
rmin
ado
e
spa
cioE,l
ano
rma x+y,pu
edes
erindu
cid
apo
relp
rodu
ctoin
tern
o. A
sı́po
r
e
jemp
lopod
rem
osd
eci e x+y = x
rqu ,y.

0
.4 E
spac
iosde H
ilbe
rt

Defin
ición0
.4.S
eaH e
sune
spa
cioc
onp
rodu
ctoin
terno
,é
s
t es
edi
cec
omp
letos
ito
da
su
ces
iónd
e Cau
chyc
onv
erg
eenH,ad
emá
ssiH e
scomp
letoc
onlano
rmaindu
cid
a
p
ore
lpr
odu
ctoin
terno
,é
s
t es
econo
cec
omoe
spa
ciod
eHi
lbe
rt.L
ose
spa
c sRn,C
io n n
,L
sone
spa
cio
sdeH
ilb
ertc
one
lpr
odu
ctoin
ternoyad
efin
ido
.

0
.5 E
spac
iosdeSobo
lev

Defin
ición0
.5.S
eak≥ 0unen
ter
oys
ea1≤ p <∞. En
ton
cesd
efin
imo
slo
s
e
spa
cio
sdeSo
bol
e omoW k,p(Ω
vc ),e
lcon
jun
tod
eto
dasla
sde
rivada
sdi
str
ibu
ciona
les
u∈Lp(Ω
)ta eDαu∈Lp(Ω
lqu )pa
r α|≤k. EnW k,p(Ω
a| ),d
efin
imo
slano
rmap
or
 p1

u k,p=  Dαu p
p
 s
i 1≤p<∞
|
α|≤
k

1
1
 ax Dαu ∞
u k,∞ =m s
ip=∞
|
α|≤
k

yp
arap=2,d
efin
imo
selp
rodu
ctoin
terno

u
,vk = Dαu(
x)Dαv(
x)dx
.
| k Ω
α|≤

p
ar ,v∈W k,p(Ω
au ).

Defin
ición0
.6.D
eno
tamo
spo
r
k,p
W0 (Ω
)
∞
lac
lau
sur
adeC0 )enW k,p(Ω
(Ω )

No
ta0
.7.D
eno
tar s W k,p(Ω
emo )comoHk(Ω
),s
iendoH une
spa
ciod
eHi
lbe
rt.D
e
e
staman
eraqu
edae
scr
ito
W k,2(Ω
)=Hk(Ω
)

d
eah
iqu
esik=0 en
ton
ces
W 0,2(Ω
)=L2(Ω
).

1
2
Cap
ı́
tulo1

Ecuac
ione
sDi
ferenc
iale
s Pa
rcia
les

L
ase
cua
cion
esd
ife
ren
cia
lesp
arc
ial
ess
ond
egr
anin
ter
é
sac
aus
adesuc
onex
iónc
on
f
enóm
eno
sde
l mund
ofı́
s
i c
o,po
rel
losemp
eza
rem
osd
efin
iend
oun
aEDPypo
ste
rio
r-
m
ent
e,h
abl
arem
osa
cer
cad
esuc
las
ific
aci
ón
.

1
.1 Ecuac
ione
sDi
ferenc
iale
s Pa
rcia
les

Defin
ición1
.1.S
eaΩ⊆H (
Hune
spa
ciod
eHi
lbe
rt)unc
onjun
toa
bie
rtoya
cotado
.
L
lama
remo
sEDPalafun
ciónF:Ω→ R d
efin
idac
omos
igu
e:

∂u ∂u ∂mu
F x1,
...
,xn,u
, ,.
.., ,.
.., =0 (
1.1
)
∂x1 ∂xn ∂xm
1···
∂xm
n

enlacu
alF e
sunafun
ciónd
en-
var
iab
lesind
epend
ien
tesx1,
...
,xn,unafun
ción d
e-
s
cono
cida u(
x1,
...
,xn)y d
e un núm
ero fin
ito d
ela
sde
rivada
spa
rcia
lesd
e
u(
x1,
...
,xn)
.

Ac
ont
inu
aci
ónenun
cia
rem
osa
lgun
asd
ela
sEDP m
á
simpo
rtan
tes
.

•L
aEDPc
ono
cid
acom
oecu
aci
ónd
eLap
lac
epa
ran>1v
ari
abl
ese
s
n
∂2u
2
≡∆u≡ ∇2u=0
i
=1
∂xi

d
ond
eels
ı́mbo
lo ∆ue
scon
ocid
ocom
oLap
lac
ian
ouop
erad
ord
eLap
lac
e.

1
3
 •L
aEDPc
ono
cid
acom
oecu
aci
ónd
eHe
lmh
otz

−∆u=λu

•L
aEDPc
ono
cid
acom
oecu
aci
ónd
eLi
ouv
il
le
n
i
ut− buxi =0
i
=1

P
araev
ita
rcon
fus
ion
esyd
ese
and
ose
rcoh
eren
tesc
onnu
est
roe
stud
ios
obr
eEDP
,in
-
t
rodu
cim
osun
ano
tac
iónl
lam
adamu
lt
iind
ice,l
acu
ale
spr
opu
est
apo
relm
atem
á
tic
o
f
ran
cé
sLau
renS
chwa
rtz.

1
.1.1 No
tac
iónde
l Mu
lti
ind
ice

C
ons
ide
rem
os ξ =(ξ
1,ξ
2,.
..,ξ
n) un v
ect
or c
on n c
ompon
ent
es r
eal
es y
α=(α1,α
2,.
..,α
n)unv
ect
ord
enc
ompon
ent
esr
eal
es,e
lcu
als
eráu
ti
li
zad
ocom
o
mu
lt
iind
iced
ond
ecad
acompon
ent
ede
lve
cto
rαs
eránen
ter
ospo
sit
ivo
s.A
soc
iad
oal
mu
lt
iind
ice αa
soc
iam
osl
ose
sca
lar
es

|
α|=α1+α2+·
··+αn, α
!=α1!
α2!
...α
n!.

d
elv
ect
orξye
lmu
lt
iind
ice pod
emo
sfo
rma
relm
onom
io

α α1 α2 αn
ξ =ξ
1ξ 2 ..
.ξn .

Ad
emá
s
,den
ota
rem
osc
omoCα aunc
oefi
cien
tequ
edep
end
edel
osnen
ter
ospo
sit
ivo
s
eα,e
d sde
cir
Cα =Cα1...αn.

D
eta
lman
eraqu
e,l
afo
rmag
ene
ralp
araunpo
lin
omi
oP(
ξ)d
egr
adom,c
onnv
ari
abl
es
ind
epend
ien
tes
,se
rád
elaf
orm
a

α
P(
ξ)= Cαξ.
|
α|≤
m

P
araa
yud
ara
lle
cto
renl
acomp
ren
siónd
ees
tan
ota
ción
,in
trodu
cim
osune
jemp
lo,e
l
cu
á
lse
rvi
ráp
arad
esp
eja
rla
spo
sib
lesdud
as.

1
4
E
jemp
lo1
.2.E
scr
ibi
renlafo
rmag
ene
ralunp
ol
inom
iod
egr
adodo
s,c
ondo
sva
ria
ble
s
ind
epend
ien
tes
.

C
omoe
lpo
lin
omi
oti
ened
osv
ari
abl
esind
epend
ien
tes
,ap
li
cand
olan
ota
ciónan
ter
ior
s
eti
ene
:
ξ=(ξ
1,ξ
2) α=(α1,α
2)

α α1 α2
ξ =ξ
1ξ 2 Cα =Cα1α2

C
omoe
lgr
adod
elpo
lin
omi
oP(
ξ)e
sdo
s,s
edeb
esa
tis
fac
erqu
e|α|=2
,esd
eci
rqu
e
α1 yα2 d
ebent
oma
rlo
sva
lor
esd
e{0
,1,
2},po
rse
rα1 yα2 en
ter
ospo
sit
ivo
s,po
rlo
t
ant
ola
spo
sib
less
olu
cion
e eα1+α2=2s
sd on

α1+α2=2+0=2

α1+α2=1+1=2

α1+α2=0+2=2

En
ton
cesl
afo
rmag
ene
ralp
araunpo
lin
omi
odeg
rad
odo
scond
osv
ari
abl
esind
epen
-
d
ien
tese
s:
α1 α2
P(
ξ1,ξ
2)= Cα1α2ξ
1ξ 2,
|
α|≤
2

D
ond
eels
ign
o ≤ enl
asum
ato
ria
,ind
ical
asum
adet
odo
slo
sté
rmin
osm
eno
rese
i
gua
lesad
os,a
sı́e
lpo
lin
omi
otom
alaf
orm
ade

20 11 02 10 01 00
P(
ξ1,ξ
2)=C2,0ξ
1ξ2+C1,
1ξ1ξ
2+C0,
2ξ1ξ
2+C1,
0ξ1ξ
2+C0,
1ξ1ξ
2+C0,
0ξ1ξ
2.

C
ont
inu
and
oconnu
est
roe
stud
iot
eó
r
i c
o,n
osd
ispon
emo
saexpon
erc
óm
oespo
sib
le
c
las
ific
arl
asEDP
,yd
arem
ose
jemp
losp
araa
yud
ara
lle
cto
rensuc
omp
ren
sión
.

1
.2 C
las
ificac
ión de la
s Ecua
cione
sDi
ferenc
iale
s
Pa
rcia
les

L
asEDPs
onpo
sib
lesc
las
ific
arl
asd
eacu
erd
oasuo
rdenysul
ine
alid
ad

1
5
1
.2.1 C
las
ificac
iónsegúnsuo
rden
.

Defin
ición1
.3.E
lor
dend
eunaEDPd
epend
ede
lmá
x
imoo
rdend
elad
eri
vadap
arc
ial
qu
eseen
cuen
treenlae
cua
ción
.

E
jemp
lo1
.4.L
ase
cua
cion
es
∂u ∂u
+ −2 u=u3 (
1.2
)
∂x ∂y
∂2u ∂u
+ =co
su (
1.3
)
∂x2 ∂y
∂4u ∂2u
+ =3u2 (
1.4
)
∂x2∂y2 ∂x2
sond
epr
ime
r,s
egundoycua
rtoo
rdenr
esp
ect
ivam
ent
e.
G
rac
iasalano
tac
iónd
elmu
lt
iind
ice
,la
secua
cion
esan
ter
iorm
ent
emen
cionada
stoman
lafo
rmad
e

u=u3;uxx+uy=c
ux+uy−2 osuyuxxyy+uxx =3u2

1
.3 Ca
rac
ter
izac
iónyc
las
ificac
ióndeunaEDP
, me
-
d
ian
tee
lDi
scr
iminan
te y De
term
inan
te dela
ecuac
ión
.

An
tesd
eenun
cia
rcóm
ocl
asifi
carl
asEDP m
edi
ant
eelm
é
tod
ode
lDi
scr
iminan
te ye
l
D
ete
rminan
te, m
ost
rar
emo
squ
eenl
aexp
res
ióng
ene
rald
elaEDPd
ese
gund
oOrd
en,
e
spo
sib
ler
edu
cirl
osc
oefi
cien
tesd
ela
sde
riv
ada
sdes
egund
oOrd
en,ac
ons
tan
tes muy
s
imp
lesm
edi
ant
eunc
amb
iod
ecoo
rden
ada
s.
S
eal
aEDPd
ese
gund
oord
enc
ond
osv
ari
abl
esind
epend
ien
tes

auxx+2bu
xy +cu
yy+dux+eu
y+fu+g=0 (
1.5
)

d
ond
elo
sco
efic
ien
tesa
,b,c
,d,e
,f,ge
stánd
efin
ido
senun
are
giónΩ⊆H.E
sne
ces
ari
o
h
ace
run
atr
ans
form
aci
ónal
aecu
aci
ón(
1.5
)med
ian
teunc
amb
iod
esu
sva
riab
lesind
e-
p
end
ien
teseno
trac
onf
orm
amá
ssimp
le
,pe
rmi
tiend
osuc
las
ific
aci
ónyena
lgun
osc
aso
s
sus
olu
ción
.Con
sid
erem
osun
atr
ans
form
aci
ónd
ecl
aseC2yunc
amb
iod
ecoo
rden
ada
s

1
6
d
efin
ida
spo
runs
ist
emad
ee cu
aci
one
sdelas
igu
ien
tef
orma

ξ=ξ(x,y) ∂(
ξ,η)
con =0,∀(x,y)∈Ω (
1.6
)
η=η(x,y) ∂(
x,y)

Ap
li
cand
olat
ran
sfo
rma
ción(
1.6
)al
apo
sib
les
olu
ciónu(
x,y)d
elae
cua
ción(
1.5
),
t
end
rı́
amo
squ
elas
olu
ciónu(
x,y)
,

u(
ξ,η
)=u(
ξ(x
,y),η
(x,y)
)

ap
li
cand
ore
glad
elac
aden
aob
ten
emo
s

ux =uξξ
x+uηη
x

uy=uξξ
y+uηη
y

d
eriv
and
ore
spe
ctoax

uxx =uξξ
xx+(uξ)
xξx+uηη
xx+(uη)
xηx

Ap
li
cand
ore
glad
elac
aden
apa
ral
ost
erm
ino
s(uξ)
x y(uη)
x

(
uξ)
x =uξξξ
x+uξηη
x

(
uη)
x =uηηη
x+uηξξ
x

lu
ego

2 2
uxx =uξξξ
x+2uξηξ
xηx+uηηη
x+uξξ
xx+uηη
xx (
1.7
)

an
á
log
amen
tes
eti
ene

2 2
uyy=uξξξ
y+2uξηξ
yηy+uηηη
y+uξξ
yy+uηη
yy (
1.8
)
uxy =uξξξ
xξy+uξη(
ξxη
y+ξ
yηx)+uηηη
xηy+uξξ
xy +uηη
xy (
1.9
)

ah
orar
emp
laz
and
o(1
.7)
,(1
.8)
,(1
.9)
,en(
1.5
)ten
emo
s

2 2
auξξξ
x+2uξηξ
xηx+uηηη
x+uξξ
xx+uηη
xx +

2
b[uξξξ
xξy+uξη(
ξxη
y+ξ
yηx)+uηηη
xηy+uξξ
xy +uηη
xy]+

2 2
cuξξξ
y+2uξηξ
yηy+uηηη
y+uξξ
yy+uηη
yy +R=0

1
7
d
ond
elo
sté
rmin
osd
ede
riv
ada
smen
ore
squ
edo
spe
ren
ecenaR

2 2
a
ξx+2b
ξxξ
y+c
ξy uξξ+
[aξxη
x+b(
ξxη
y+ξ
yηx)+cξ
yηy]2
uξη

2 2
η
x+2b
ηxη
y+η
y uηη+R=0.

Ob
ten
iend
oas
ı́
,qu
elaf
orm
agen
era
ldel
aEcu
aci
ónP
arc
ialenl
asc
ord
enad
as(ξ
,η)e
s
d
elt
ipo

Auξξ+2Buξη+Cuηη+R=0 (
1.1
0)

d
ond
elo
sco
efic
ien
tesd
elasd
erivadad
asd ese
gund oo
rdenest
ánd
ada
spo
r


A=a 2
ξx +2bξ 2
 xξ
y+c ξ
 y

B=a ξxηx+b (ξ
xηy+ξ yη
x)+ c
ξyη
y



C=η2+2b 2
x ηη +η
xy y

D
espu
é
sdeh
abe
rmo
str
adoqu
eespo
sib
ler
edu
cirl
asd
eriv
ada
sdes
egund
oOrd
end
e
un
aEDPaun
aecu
aci
ónd
ese
gund
ogr
ado
,enun
cia
rem
osc
óm
ocl
asifi
car
laap
art
ird
e
sud
isc
rim
inan
teyd
ete
rmin
ant
e.

1
.3.1 C
las
ificac
ión med
ian
tee
lDi
scr
iminan
te.

Defin
ición1
.5.S
ealaEDP(
1.1
0),unae
cua
ciónd
ese
gundoo
rden
,la
sfun
cion
esA
,B
yC sonc
ont
inua
synos
eanu
lans
imu
ltán
eam
ent
eenunc
onjun
toa
bie
rtoΩ ⊆ H,
en
ton
cesd
efin
imo
seld
isc
rim
inan
ted
elae
cua
ción(
1.1
0)c
omolafun
ciónψ:Ω→ R
dadap
or
ψ(
ξ )=B2(
,η ξ,η
)−4
A(ξ
,η)C(
ξ,η
)

Defin
ición1
.6.M
edian
telat
ran
sfo
rma
ción (
1.6
)enlae
cua
ción(
1.5
)sed
icequ
ela
EDPe
s:

1
.Pa
rabó
l
i c
aene
lpun
to(
ξ,η
)∈Ωs
ı́ψ(
ξ,η
)=0

2
.Hip
erbó
l
i c
aene
lpun
to(
ξ,η
)∈Ωs
ı́ψ(
ξ,η
)>0

3
.El
ı́p
tic
aene
lpun
to(
ξ,η
)∈Ωs
ı́ψ(
ξ,η
)<0

1
8
E
jemp
lo1
.7.S
ealae
cua
ciónuyy+5uxy+4uxx+uy+ux−3=0
,ten
emo
s

uyy+5uxy+4uxx+uy+ux−3=0→ B2−4
AC=9

e
ship
erbó
l
i c
a.

E
jemp
lo1
.8.S
ealae
cua
ción4
uy+3uxx =0,t
enemo
s

uy+3uxx =0→ B2−4

4 AC=0

e
spa
rab
ó
lic
a.

E
jemp
lo1
.9.S
ealae
cua
ciónuyy−yu
xx =0,t
enemo
s

2
uyy−yu
xx =0→ B −4
AC=0

h
ipe
rbó
icas
ı́y>0ye
lı́p
tic
ası́y<0
.

P
aral
as EDPh
ipe
rbó
l
ica
syp
arab
ó
li
cas
,ensu
sre
spe
ctiv
ass
olu
cion
esen
con
tram
os
p
arám
etr
osr
eal
es,m
ien
tra
squ
eenl
ase
lı́p
tic
asn
o,po
rloqu
eap
are
cer
ánp
arám
etr
os
c
omp
lej
os.

1
.3.2 C
las
ificac
ión med
ian
tee
l De
term
inan
te.

Defin
ición1
.10
.SaM m×n e
e lesp
aciod
ela
s ma
tri
cesr
eal
esyla ma
trzS∈M m×n ,
i
en
ton
cess
edi
cequ
e;
A B
S=
B C

1
.Sie
lde
tS=0,en
ton
cese
sPa
rabó
lico
;

2
.Sie
lde
tS<0
,en
ton
cese
sHip
erbó
l
ico
;

3
.Sie
lde
tS>0
,en
ton
cese
sEl
ı́p
tic
o

E
jemp
lo1
.11
.Se
alae
cua
ciónuyy+5uxy+4uxx+uy+ux−3=0

45
S= →d
etS=(
4)(
1)−(
5)(
5)=−2
1
51

1
9
e
ship
erbó
l
i c
o.

E
jemp
lo1
.12
.Se
alae
cua
ción4
uy+3uxx =0

30
S= →d
etS=(
3)(
0)−(
0)(
0)=0
00

e
spa
rab
ó
lic
o.

E
jemp
lo1
.13
.Se
alae
cua
ciónuyy−yu
xx =0

−y 0
S= →d
etS=(−y)(
1)−(
0)(
0)=−y
0 1

lae
cua
cióne
sel
ı́p
tic
asiyso
lam
ent
esiy∈Z−.
Po
demo
sob
ser
varqu
ees
tosm
é
todo
sso
lod
ifie
renenla
s EDPh
ipe
rbó
licaye
lı́p
tic
a,
dadoqu
esus
ignoc
amb
ia,enc
amb
iop
aralaEDPp
ara
bó
l
icae
lre
sul
tados
e man
tien
e.

1
.3.3 C
las
ificac
iónsegúnsul
inea
lidad
.

Defin
ición1
.14
.LaEDP(
1.1
)sed
icel
ine
als
iesd
elafo
rma

x)Dmu=f(
am ( x)
|
m|≤
N

e
sde
cir
,qu
ese
adep
rim
erg
radoenlava
ria
bled
epend
ien
te(
lafun
ciónd
esc
ono
cida
)y
ensu
sde
rivada
spa
rcia
les
.

E
jemp
lo1
.15
.Se
alae
cua
ciónd
eLap
lac
epa
rado
sva
ria
ble
sind
epend
ien
tes

uxx+uyy=0

e
slin
ealhomo
gén
ea.

Defin
ición1
.16
.LaE
.D.P
.(1
.1)s
edi
ces
emi
lin
eals
iesd
elafo
rma

x)Dmu+a0 Dm−1u
am ( ,..
.,Du
,u,x =0
|
m|=N

s
iescua
si
lin
ealylo
sco
efic
ien
tesd
ela
sde
rivada
sde ma
yoro
rdensonfun
cion
esqu
e
so
lod
epend
end
ela
sva
ria
ble
sind
epend
ien
tes
.

2
0
E
jemp
lo1
.17
.Se
alae
cua
ción

x2uxx+4x
yuyy+uux+u2=0

e
ssem
i-
lin
ealhomo
gén
ea.

Defin
ición1
.18
.LaEDP(
1.1
)sed
icecua
si
lin
eals
iesd
elafo
rma

a0 Dm−1u
,..
.,Du
,u,x Dmu+a0 Dm−1u
,..
.,Du
,u,x =0
|
m|=N

d
ebes
erl
ine
alr
esp
ectoala
sde
rivada
sdeo
rden má
x
imoqu
eap
are
zcanenlae
cua
ción
.

Defin
ición1
.19
.Se
alae
cua
ción

uxxx+uyy=0

e
scua
si
lin
eald
eor
dent
res
.

Defin
ición1
.20
.LaEDP(
1.1
)esnol
ine
al
,sie
lgr
adod
elava
rib
led
epend
ien
teysu
s
d
eri
vada
spa
rcia
lessond
eor
den ma
yor
.

E
jemp
lo1
.21
.Se
alae
cua
ción

uxuxx+uuyy=0

e
snol
ine
ald
eor
dendo
s.

1
.4 S
istemadeecuac
ione
sende
riv
ada
spa
rcia
les

Uns
ist
emad
eecu
aci
one
send
eriv
ada
spa
rci
ale
sesunc
onjun
tod
eva
ria
s EDP c
on
unnúm
erod
ete
rmin
adod
ein
có
gni
tas
. Cu
and
oauns
ist
em eEDP
ad s oaun
aEDP
d
efin
ida
senund
omin
oΩ,l
eag
reg
amo
sun
ase
ried
econd
ic
ion
esl
igad
asa
lmi
smos
is
-
t
emaoe
cua
ción
,ob
ten
emo
sunp
rob
lem
ama
tem
á
tic
o.Ex
ist
end
ost
ipo
sdec
ond
ic
ion
es:
d
econ
torn
ood
efr
ont
erayl
asc
ond
ic
ion
esin
ı́
c
i a
les
.La
scond
ic
ion
esd
econ
torn
oson
r
est
ric
cion
esqu
eseh
acens
obr
elaf
ron
ter
ade
ldom
ini
oΩya
sı́en
con
tra
run
aso
luc
ión
ual
aEDPoa
lsi
stem
adeEDP
s.E
sta
scond
ic
ion
ess
onfun
cion
esqu
edep
end
end
ela
s
v
ari
abl
esind
epend
ien
tesyd
ela
sde
riv
adsDαu. L
a asc
ond
ic
ion
esin
ic
ial
ess
onc
ond
i-
c
ion
esqu
eseh
acens
obr
eal
gun
asd
ela
sva
riab
lesind
epend
ien
tes
,pa
raun
afun
ción
u(
x1,
...
,xn)la
scond
ic
ion
esin
ic
ial
esr
esp
ect
oal
asv
ari
abl
esxit
omal
afo
rma
:
α
Diu=ψ(
x1,
...
,x−1,
i 0,x
i+1,
...
,xn) pa
ra α=0,
1,.
..,m cuand
o x
i=0

2
1
D
ond
e ψe
sun
afun
ciónqu
edep
end
ede
lre
stod
ela
sn−1v
ari
abl
esind
epend
ien
tes
,
enr
eal
idadh
ays
itu
aci
one
senqu
ela
scond
ic
ion
esin
ic
ial
ess
oni
gua
lesal
asd
econ
-
t
orn
o,p
erol
adi
fer
enc
iar
adi
cad
adoqu
ela
scond
ic
ion
esin
ic
ial
es,pu
edent
oma
rva
lor
es
xi∈in
t(Ω
),yl
asc
ond
ic
ion
esd
econ
torn
oesun
are
str
icc
iónenl
afr
ont
erad
eld
omin
io
∂Ω
.
An
tesd
eda
run
acl
asifi
cac
iónd
elo
ssi
stem
asd
e EDP
s,e
scr
ibi
rem
osl
afo
rmam
atr
i-
c
ialp
arauns
ist
emad
eEDP
s,d
epr
ime
rord
enc
onnv
ari
abl
esind
epend
ien
tesyN
e
cuac
ion e
sd ep
rime
rorden
,lascua
lestomanlaform
ad el
asigu
ien
teman e
ra


a111D1u1+··
·+a11ND1uN +···+an11Dnu1+···
+an1NDnuN =b

 1


a D u +· ·
·+a D u +· ··+a D u +· ··
+a D u =b
121 1 1 12N 1 N n21 n 1 n2N n N 2
. . . (
1.1
1)

 .
. .
. .
.




a D u +· ·
·+a1NND1uN +·
··+anN1Dnu1+·
··+anNNDnuN =b
1N1 1 1 N

l
afo
rmam
atr
ic
ialpar
aels i
stem ad
ee cu
a ci
on e
s( 1
.11
)plan
teadoe
s
    
ai11 ai12 ··· ai1N Diu1 b1
n     
ai21 ai22 ··· ai2N Diu2 b 2
 . . .  . =  .  (
1.1
2)
 . . ... .  .   .
.  .   .
 .
i
=1 . 
aiN1 aiN2 ·
·· aiNN DiuN b
N

C
onuns
ist
emad
eecu
aci
one
scom
oelan
ter
ioryunc
onjun
tod
econd
ic
ion
esin
ic
ial
es
od
efr
ont
era
,set
ien
equ
elas
olu
ciónp
ara(
1.1
2)s
onN fun
cion
esu1,u
2,.
..,u
N d
eta
l
f
orm
aqu
eses
ati
sfa
ga(
1.1
2).
E
lsi
stem
aan
ter
iorl
opod
emo
ses
crib
irenf
orm
adee
cua
ción
,ut
il
izand
ocom
oayud
a
suf
orm
ama
tri
cia
l(.
112
):
n N
aijkDiuk =b
j, (
1.1
3)
i
=1 k=1

aqu
ı́j=1,
...
,Nyl
osaijks
onl
asc
ompon
ent
esd
elam
atr
izAi,l
acu
ale
scu
adr
ada
N×N. Cu
and
oelv
ect
orb
jesi
gua
lalv
ect
ornu
lo,e
lsi
stem
ased
icequ
eesh
omo
gén
eo,
ad
emá
ssil
asN e
cua
cion
ess
onl
ine
ale
sels
ist
emae
slin
eal
,ys
ila
sN e
cua
cion
ess
on
cua
si
lin
eal
ese
lsi
stemae
scua
si
lin
eal
.

2
2
1
.5 Cond
icione
sdeF
ron
tera

L
oss
ist
ema
sdee
cua
cion
esd
ife
ren
cia
lesl
ospod
emo
scl
asifi
carent
rest
ipo
sdec
ond
i-
c
ion
esd
efr
ont
era
.

1
.Cond
iciónde D
irich
let
S
eal
aecu
aci
ón
, 
∆u=F en Ω
u=g so
bre ∂Ω
E
stae
slac
ond
ic
iónd
efr
ont
erad
eDi
rich
let
,pa
ral
aecu
aci
ónd
eLap
lac
e. C
ons
ist
e
enen
con
tra
rlas
olu
ciónu(
x)d
elaEDPyqu
ead
emá
sé
stas
eai
gua
lao
trafun
ción
g(
x)qu
eseen
cuen
tras
obr
elaf
ron
ter
a. Aunqu
e mu
cha
sve
cesg(
x)=0
.
Eno
tra
spa
lab
rase
stac
ond
ic
ión
,loqu
epr
etend
eesfi
jarl
osv
alo
resd
elafun
ción
in
có
gni
taenl
ospun
tosqu
ees
táns
obr
elaf
ron
ter
a.P
ort
alm
otiv
oes
tac
ond
ic
ión
l
apod
rem
osl
lam
art
amb
iénc
omoe
lPr
obl
emad
eVa
lorF
ijod
eDi
rich
let.

2
.Cond
iciónde Neumann
S
eal
aecu
aci
ón
, 
∆u=F en Ω
∂u =g s
obr
e ∂Ω
∂x

Ad
ife
ren
ciad
e lac
ond
ici
ónd
eDi
rich
let
,lac
ond
iciónd
efr
ont
erad
eNeumann
p
aral
aecu
aci
ónd
eLap
lac
e,n
oesp
ecifi
cal
afun
ciónu(
x)ens
ı́
,pe
ros
isud
eriv
ada
,
l
acu
als
erál
aso
luc
iónd
elaEDP.E
stad
eriv
adas
erái
gua
laun
afun
cióng(
x)
qu
eseen
cuen
tras
obr
elaf
ron
ter
a.
Ah
orab
ien
,ene
stac
ond
ic
iónl
oqu
esep
ret
end
eesfi
jary
anol
osv
alo
resd
e
l
afun
ciónin
có
gni
ta,s
inofi
jare
lflu
jod
elam
ism
a,l
oqu
equ
ier
ede
cir
,elv
alo
r
qu
eti
enel
ade
riv
adaenl
adi
rec
ciónn
orm
ald
elaf
ron
ter
a. Ae
stac
ond
ic
iónl
a
pod
rem
osl
lam
are
lPr
obl
emad
eFlu
joF
ijod
eNeumann
.

3
.Cond
iciónde Rob
ı́n
S
eal
aecu
aci
ón
, 

∆u=F en Ω


u=g s o
bre ∂Ω



∂u =h s
∂x
obr
e ∂Ω

2
3
L
acond
iciónd
eRo
bı́nc
ons
ist
eenun
acomb
ina
ciónd
ela
scond
icion
esd
eDi
rich
let
yN
eumann.L
ost
rest
ipo
sdec
ond
ic
ion
esd
efr
ont
eraan
ter
ior
es,t
alyc
omoe
stán
e
scr
ita
ssonh
omo
gén
easy
aqu
eseanu
lanen∂Ω
,di
rem
osqu
ela
scond
ic
ion
esd
e
f
ron
ter
anos
onh
omo
gén
eass
ita
lyc
omoe
stáne
scr
ita
ssoni
gua
lesaun
afun
ción
g=0qu
edep
end
edel
asnv
ari
abl
esind
epend
ien
tes
.

2
4
Cap
ı́
tulo2

Ex
istenc
iay Un
icidaddela
So
luc
ión Pa
rauna EDP

Ene
stec
apı́
tul
o,p
ret
end
emo
smo
str
arl
osc
rit
eri
osn
ece
sar
iosysufi
cien
tesp
arad
ete
r-
m
ina
rlaex
ist
enc
iayl
aun
ic
idadd
elas
olu
ciónan
alı́
t
i c
adeun
a EDP.P
arae
llo
,el
d
esa
rro
llod
elc
apı́
tul
oseh
aráend
oss
ecc
ion
es:l
apr
ime
rat
rat
aráa
cer
cad
elp
rob
lem
a
d
eCau
chy,ene
lqu
esem
enc
ion
aranl
asc
ara
cte
rı́
sti
casd
elo
sda
tosqu
eseimpond
rán
aun
aEDP,yenl
ase
gund
ase
cci
ón
,hab
lar
emo
sde
lte
orem
aqu
eno
sga
ran
tiz
alaex
is
-
t
enc
iad
elas
olu
ción
.Ten
iend
oes
tasd
oss
ecc
ion
es,fin
ali
zar
emo
sconun
ose
jemp
losen
l
osqu
eap
li
car
emo
selp
rob
lem
adeCau
chy ye
lte
orem
adeCau
chy
-Ko
val
é
vska
ya.

2
.1 P
rob
lemade Cauchy

P
araun
afun
ciónu(
x)=u(
x1,x
2,.
..,x
n)d
efin
idaenun
asup
erfi
cieΩ⊂H (d
ond
eH
e
sune
spa
ciod
eHi
lbe
rt)
,es
crib
imo
sdo
sEDP,d
ond
eLd
eno
tae
lop
erad
ord
ife
ren
cia
l
p
aral
afun
ciónu,d
ees
taf
orm
a:

Lu= x)Dαu=B(
Aα( x) (
2.1
)
|
α|≤
m

Lu= Aα Dβu
,x Dαu+C Dβu
,x (
2.2
)
|
α|=m

d
ond
elae
cua
ción(
2.1
)esl
afo
rmad
elaEDP l
ine
al,s
iend
oAα(
x)yB(
x)fun
cion
es
c
ono
cid
asqu
edep
end
end
ela
sx1,x
2,.
..,x
nva
riab
les
.Lae
cua
ción(
2.2
)esl
afo
rmad
e

2
5
l
aEDPcua
si
lin
eal,enl
acu
alAα Dβu
,x DαuyC Dβu
,x s
onfun
cion
esc
ono
cid
as
qu
edep
end
end
ela
sx1,x
2,.
..,x
nva
riab
lesyd
ela
sde
riv
adsDβu.É
a sta
sde
riv
ada
s
s
ond
eord
en|
β|≤m−1
.
Supon
iend
oqu
elasup
erfi
cieΩ
,esd
adapo
rlafun
ción

φ(
x1,x
2,.
..,x
n)=0 (
2.3
)

l
acu
alt
i em d
en eriv
ada
scon
tinu
as.L
asup
erfi
cies
edi
cer
egu
larene
lsen
tid
oqu
e

Dφ=(φx1,
...
,φxn)=0 (
2.4
)

Lu
egoc
adad
eriv
adap
arc
iald
eφr
esp
ect
oal
ava
riab
lexic
oni=1,
2,.
..,n
seen
cuen
tra
d
efin
idaenun
ave
cind
adab
ier
t .
aG⊂Ω
L
osda
tosd
eCau
chys
obr
elasup
erfi
cieΩp
araun
adel
ase
cua
cion
es(
2.1
)o(
2.2
)son
l
asd
eriv
ada
spa
rci
ale
sdeud
eord
en|
β| ≤m −1
. E
sta
sde
riv
ada
snopu
edens
er
t
omad
asa
rbi
tra
riam
ent
e,d
ebens
ati
sfa
cerun
acond
ic
iónd
ecomp
atib
il
idad
.

Defin
ición2
.1.L
asup
erfi
cieΩs
ellamano
-ca
rac
ter
ı́
sti
ca,s
iso
breΩs
epu
edenha
lla
r
to
dasla
sde
ri sDβud
vada els
ist
emaa
lge
bra
icod
eecua
cion
es,c
on|
β|< m. A
demá
s
,Ω
s
edi
cequ
eesc
ara
cte
rı́
s
t i
cas
ipa
rato
dox∈Ω,e
stee
sno
-no
car
act
erı́
s
t i
co.

P
arad
eja
renc
lar
oelc
rit
eri
oal
geb
rai
cos
obr
eecu
aci
one
sca
rac
ter
ı́
sti
cas
,con
sid
erem
os
e
lca
soe
spe
cia
ldond
elasup
erfi
cie Ωs
eanu
laensun
-es
imac
ompon
ent
e,e
sde
cir
xn =0
.As
ı́e
lda
tod
eCau
chyc
ons
ist
eenl
asDβuc
on|
β|≤m−1
,es
tasd
eriv
ase
stán
in
scr
ita
ssob
reΩys
ond
eriv
ada
sdeo
rden≤m−1
,as
ı́
:
k
Dnu=ψk(
x1,x
2,.
..,x
n) pa
ra k=0,
1,.
..,m
−1 cuand
o x
n =0

d
ees
taf
orm
aten
emo
ssob
reΩl
asd
eriv
ada
s
β1 β2 β
Dβu=D1 D2 ..
.Dn−1 ψ
n−1
βn (
2.5
)

l
ascu
ale
ssonl
asc
ond
ic
ion
esd
ecomp
atib
il
idadn
ece
sar
iasp
aralo
sda
tosd
eCau
chyen
t
é
rmin
osd
ela
sde
riv
ada
sno
rma
lesd
eΩ.
S
eae
lmu
lt
iind
ice α∗ e
lcu
ald
eno
tae
lve
cto
r

α∗=(
0,.
..,
0,m
).
∗
E
stev
ect
orp
erm
iteexp
res
arl
ost
é
rmin
osDα ,d eα∗=αd
ond eno
tad
eriv
ada
sdeo
rden
m
ayo
rqu
eha
cenp
art
edel
ost
é
rmin
osd
ela
s EDP (
2.1
)ó(
2.2
)defin
ida
senΩ
,es
tas

2
6
d
eriv
ada
snos
onexp
res
abl
espo
r(2.
5)enfun
ciónd
eψ0,ψ
1,.
..,ψ
m−1 ya
sı́ent
é
rmin
os
d
elo
sda
tosd
eCau
chy
.Cone
stol
ost
é
rmin
o eDαuc
sd on|
α|< me
stánd
ete
rmin
ado
s
∗
s
obr
eΩs
isepu
eder
eso
lve
rlaEDP (
2.1
)ó(
2.2
)pa
rae
lte
rm oDα u,e
in stos
olos
e
pu
edes
ilam
atr
izAα∗ e
snod
egen
erad
a,e
sde
cire
lde
t(Aα∗)=0
.Dee
staf
orm
a,e
l
p
rob
lem
adeCau
chyc
ons
ist
eenen
con
tra
run
aso
luc
iónu∈Cm−1(Ω
)pa
raun
adel
as
d
ose
cua
cion
es(
2.1
)ó(
2.2
)ten
iend
ocom
ocond
ic
ion
esin
ı́
c
i a
leslo
sda
tosd
eCau
chy
.

2
.2 Cauchy- Kov
alév
skaya

E
lte
orem
aqu
eenun
cia
rem
osene
stas
ecc
ión
,ga
ran
tiz
alaex
ist
enc
iayl
aun
ic
idadenl
a
s
olu
ciónd
elp
rob
lemad
eCau
chyf
ormu
lad
oenl
ase
cci
ónan
ter
ior
,pa
rae
lca
sod
eun
a
EDPan
alı́
t
i c
ayun
asc
ond
ic
ion
esin
ı́
c
i a
lesan
alı́
t
i c
as.E
stet
eor
emad
ebesun
omb
reen
h
ono
ralm
atem
á
tic
oFr
anc
é
sAgu
stı́nCau
chy yal
ama
tem
á
tic
aRu
saSo
fı́a V
ası́
lievn
a
Ko
val
é
vska
ya.
An
tesd
eenun
cia
relt
eor
em eCau
ad chy- Ko
val
é
vska
ya,e
sne
ces
ari
oqu
eenun
ciem
os
l
adefin
ic
ións
obr
eCon
ver
gen
ciad
ese
rie
sdefun
cion
es yfun
cion
esana
lı́
t
i c
as,c
one
l
find
eayud
ara
lle
cto
renl
acomp
ren
siónd
ees
teimpo
rtan
tet
eor
ema
.

Defin
ición2
.2. Unafun
ción f(
x)d
efin
idaenΩ⊆H,e
sana
lı́
t
i c
aene tox0,s
lpun i
e
xis
teunas
eri
edep
oten
ciaqu
econ
ver
gea
bso
lutam
ent
eaf(
x)enunav
ecindadG⊂Ω
c
ent
raaenx0. A
d sı́
,f(
x)e
sana
lı́
t
i aenx0 s
c icump
le
:
Dαf(
x0) α
f(
x)= x−x0 . (
2.6
)
α!
|
α|≥
0

A
demá
s
,de
cimo
squ
ef(
x)e
sana
lı́
t
i c
aenΩs
iloe
senc
adapun ex0. R
tod eco
rdamo
s
e
lhe
chod
equ
esif(
x)e
sana
lı́
t
i c
a,en
ton
cese
sinfin
itam
ent
edi
fer
enc
iab
leenΩ,lo
qu
eese
qui
val
ent
ead
eci
rqu x)∈C∞ .
ef(

Defin
ición2
.3.S
i{f
n}e
sunasu
ces
iónd
efun
cion
es,d
eno
tamo
slas
eri
easo
ciadaa
∞ ∞
e
stasu
ces
iónc
omos
n= f
n,dond
elas
eri
econ
ver
gea
bso
lutam
ent
esi |
fn|<∞.
n=1 n=1

T
eorema2
.4. Cauchy- Kova
lév
skaya
S
eanla
secua
cion
es(
2.1
)ó(
2.2
)men
cionada
senlas
ecc
iónan
ter
ior
,defin
ida
sen
Ω⊆Rn c
onla
scond
icion
esin
ı́
cia
lesd
elp
rob
lemad
eCau
chy
,es
toe
s
β1 β2 β
Dβu=D1 ,D
2, .
..,D
n−1 ψ
n−1
|
β| c
on |
β|≤m−1 (
2.7
)

2
7
Sup
oni
endoqu
eenunav
ecindadd
elpun
tox0,la
sfun
cion
esAα yB sonana
lı́
t
i c
asy
qu
ela
sfun
cion
esψ1,ψ
12,
...
,ψn−1,tam
biénsonana
lı́
t
i c
asenla m
ismav
ecindadd
el
pun
tox0.S x0)=ψ2(
iψ1( x0)=·
· x0)=0en
·=ψn−1( ton
ceslae
cua
ción(
2.1
)ó(
2.2
)
t
ien
ens
olu
ciónún
icaenunav
ec ex0.
indadd

D
emo
str
ación
. Env
irtudd
elad
emo
str
aci
ónd
irem
osqu
eΩs
een
cuen
trad
efin
idapo
r
l
afun
ciónφ(
x1,
...
,xn) =0
,lacu
ale
sre
gul
arene
lsen
tid
odequ
eDφ =0
,ad
emá
s
supond
rem
osqu
eΩe
sno
-ca
rac
ter
ı́
sti
ca,e
sde
cirqu
eQ(
Dφ)=0
.
S
eaa
lgun
adel
asEDPm
enc
ion
ada
senl
ase
cci
ónan
ter
ior(
2.1
)ó(
2.2
)es
toe
s

Lu= x)Dαu=B(
Aα( x)
|
α|≤
m

Lu= Aα Dβu
,x Dαu+C Dβu
,x
|
α|=m

l
ascu
ale
sseen
cuen
trand
efin
ida
senl
asup
erfi
cieΩ⊆ H. Supon
iend
oqu
elasup
er-
fi
cied
e Ωe
san
alı́
t
i c
aenun
are
giónab
ier
taG,en
ton
ces Ωe
sdad
opo
rlafun
ción
φ(
x1,
...
,xn) =0
,lacu
ale
san
alı́
t
i aenx0 =(x0
c 0
1,x
2,.
.. 0
,x
n)∈ G. Y
aqu
eφe
s
an
alı́
t
i c
aesexp
res
abl
ecom
ose
ried
epo
ten
ciac
onv
erg
eneenx−x0. D
t ond
ex∈G y
l
asd
eriv
ada
spa
rci
ale
sdeφs
ond
ife
ren
tesd
ece
ro,e
stoe
s:

Dnφ=(φx1,φ
x2,
...
,φxn)=0.

S
obr
elar
egi
ónGpod
emo
sin
scr
ibi
rlo
sda
tosc
omp
atib
lesd
eCau
chy,e
sde
cir
,enGs
e
en
cuen
trand
efin
ida
sla
sde
riv
adsDβul
a ascu
ale
ssonan
alı́
t
i c
asenx−x0. Aqu
ı́βe
s
unmu
lt
iind
icee
lcu
als
ati
sfa
ce|
β|≤m−1
,as
ı́
:

β α1 α2 α ∂m−1
Dn−1=D1 ,D
2, .
..,D
n−1 =
n−1
.
∂x1∂x2 .
..∂xn−1

E
lhe
ch eDβus
oqu eaan
alı́
t
i c
aimp
li
caqu
eesr
epr
esen
tab
lepo
run
ase
ried
epo
ten
cia
s
c
onv
erg
enex1−x0
t 1,x
2−x
0
2,.
..,x
n−1−x
0
n−1 r
esp
ect
ivam
ent
e.
L
osc
oefi
cien
tesd
eBqu
edep
end
ens
olam
ent
edel
asnv
ari
abl
esind
epend
ien
tes
,Aα qu
e
d
epend
ens
olam
ent
eded
ela
snv
ari
abl
esind
epend
ien
te eDβus
syd onan
alı́
t
i c
as,lu
ego
s
ond
ado
spo
run
ase
ried
epo
ten
ciac
onv
erg
eneenx−x0. P
t araun
apo
sib
les
olu
ción
u= u(
x1,x
2,.
..,x
n),t
enem
osqu
esixn =0en
ton
ces u= f(
x1,x
2,.
..,x
n−1,
0),d
e
e
staf
orm
aasum
iend
oqu
ef=0s
eti
enequ
eu=0cu
and
oxn =0
.

2
8
Ap
li
cand
oun
aredu
cci
ónd
eord
enal
aecu
aci
ón(
2.1
)ó(
2.2
)ob
ten
emo
s,
n−1
∂u ∂u
= Ai(
x,u) +B(u
,x) (
2.8
)
∂xn i=1 ∂xi

a
sı́
,uns
ist
emaN c
ompon
ent
esujd
eus
epu
edee
sxp
res
arc
omo
:
n−1 N
Dnuj= aijk(
x,u)Diuk+b
j(x
,u). (
2.9
)
i
=1 k=1

No
ta2
.5. Comoaijkyb
jsonana
lı́
t
i c
ass
epu
edene
xpr
esa
renunas
eri
edep
oten
cia
s
qu
econ
ver
gea
bso
lutam
ent
e,p
orlotan
toaijk yb
jcon
ver
genun
ifo
rmem
ent
eenun
a
r
egiónc
err
adac
ont
enidaene
lcamp
odec
onv
erg
enc
iaa
bso
luta
,sup
ongamo
squ
eaijky
b
jcon
ver
genenxj yur c
erc
aax=u=0.

A
sı́
,si ue
san
alı́
t
i c
oesd
adopo
run
ase
ried
eTa
ylo
r,l
acu
ale
sob
ten
idaa
lde
riv
ar
ind
efin
idam
ent
ere
spe
ctoaxn l
aecu
aci
ón(
2.9
),ob
ten
iend
ocom
oco
efic
ien
tesd
eTa
ylo
r
unpo
lin
omi
odeo
rdenαc
onc
oefi
cien
tesn
one
gat
ivo
s,e
stoe
s:

Dαum =Pα,m Dγδ

β
aijk(
x γβ
,u),Dδbj(
x,u)

d eDγ ind
ond icad
ife
ren
cia
ciónr
esp
ect β
oaxyδ d
ife
ren
cia
ciónr
esp
ect
oau.
C
onc
luy
end
oas
ı́qu
elas
olu
ción u∈ H d
elae
cua
ción(
2.1
)ó(
2.2
)esd
adapo
rla
s
igu
ien
tes
eri
edeT
aylo
r:
1 α
uj= D uj)xα
( (
2.1
0)
α
α!

Ob
serv
ación2
.6.E
lte
oremaan
ter
iorga
ran
tizalae
xis
ten
ciad
elaso
luc
iónud
ela
EDP
,lacua
lese
xpr
esa
blec
omos
eri
edeT
aylo
r,p
erolaun
icidadval
igadaalo
sda
tos
d
eCau
chyp
lan
teado
s.

2
.3 So
luc
ióndeuna Ecua
ción D
ife
ren
cia
l Pa
rcia
l

Defin
ición2
.7.S
ellamaso
luc
iónd
eunaEDPd
eor
denm d
elt
ipo(
1.1
)enc
ier
ta
r
egiónΩ⊆H d
eva
ria
ciónd
ela
sva
ria
ble
sind
epend
ien
tesx1,
...
,xn,aunafun
ción

u=(x1,
...
,xn)∈Cm

2
9
ta
lqu
esu
sti
tuy
endoe
stafun
ciónysu
sde
rivada
senlae
cua
ción(
1.1
)seo
bti
eneuna
id
ent
idad
.

Ob
serv
ación2
.8.L
aan
ter
iord
efin
iciónc
ara
cte
rizala
sso
luc
ion
esd
euna EDPd
e
o
rdenm c
omoa
que
lla
sfun
cion
esCm la
scua
lessa
tis
fac
enlae
cua
ciónento
dopun
to
d
eΩ.

No
ta2
.9.E
s mu
yimp
ortan
tea
segu
rarqu
elaEDPp
arae
steylo
sdemá
sej
emp
los
,
e
stád
efin
idaenundom
inioΩ⊆R2 a
bie
rtoya
cotado
,laso
luc
iónud
ebes
erd
ecla
se
C2 yla
scond
icion
esd
eCau
chye
sta
ránd
efin
ida
sene
lin
ter
iord
eΩ.

P
araa
yud
ara
lle
cto
renl
acomp
ren
siónd
eé
stec
apı́
tul
o,in
trodu
cim
osa
lgun
ose
jemp
los
l
oscu
ale
sse
rvi
ránp
arad
esp
eja
rla
spo
sib
lesdud
as.P
arae
lpr
ime
rej
emp
loe
stud
iar
ems
e
lcompo
rtam
ien
tod
elo
sda
tosd
eCau
chyp
aral
aecu
aci
ónd
eLap
lac
e.P
arae
lsi
gui
ent
e
e
jemp
lo,h
ayqu
eten
erc
lar
o,qu
elas
olu
cións
econ
stru
iráap
art
ird
elas
eri
esd
eTa
ylo
r,
t
alc
omos
emo
str
óene
lte
orem
adeCau
chy
- Ko
val
evs
kaya.

E
jemp
lo2
.10
.Se
alae
cua
ciónd
eLap
lac
e,

∆u=0 (
2.1
1)

c
onlo
sda
tosd
eCau
chyd
efin
ido
senΩ

u(
x,0
)=0
sin(
nx)
ux(
x,0
)= .
n

E
lmé
tod
oqu
esev
aaemp
lea
rpa
raen
con
tra
rlas
olu
ciónae
staEDP,s
eráe
lmé
tod
o
d
esep
ara
ciónd
eva
riab
les
;as
ı́t
enem
osqu
e
∂2u ∂2u
∆u= + =0 (
2.1
2)
∂x2 ∂y2
E
stanu
evaf
orm
aadm
itec
omos
olu
ción

u(
x,y)=X(
x)Y(
y).

P
orob
via
sra
zon
es,v
amo
saex
clu
irl
aso
luc
ión u =0
,pu
est
oqu
eé
stae
str
ivi
al;
r
eemp
laz
and
oenl
aecu
aci
ón(
2.1
2)yd
ivid
iend
opo
ru(
x,y)
,ob
ten
emo
s
1∂2u 1∂2u
+ =0
X ∂x2 Y∂y2

3
0
E
stae
cua
ciónpud
oes
crib
irs
ecom
olasum
aded
osfun
cion
esu(
x)yu(
y),c
adaun
a
c
onun
ava
riab
led
ist
int
a.E
stos
epu
edeh
ace
rso
los
icad
aun
adee
lla
sesi
gua
laun
a
c
ons
tan
te,a
sı́l
asc
ons
tan
tess
erán
1∂2u 2
u(
x)= =kx
X ∂x2
1∂2u 2
u(y)= =−ky
Y∂y2
ysur
esp
ect
ivasum
adeb
ese
rigua
lace
ro,po
rloqueten
emo
s
2 2
kx+ky =0.

A
sı́
,
sur
genl
asd
ose
cua
cion
esd
ese
gund
oord
enun
idim
ens
ion
ale
s
∂2X 2
=kxX
∂x2
∂2Y 2
=−kyY.
∂y2
T
eni
end
oencu
ent
aes
to,yp
arac
adavalo
rdekx,laspo
sib
less
olu
cion
esd
elae
cua
ción
X(
x),t
ien
enl
asigu
ien
teforma


A e jkxx
+A2ke−jk
xx
pa
rak2

 1k x >0

Xk(x)= A1x+A2 pa
rak
x =0



A e kxx −kxx 2 2
1k +A e
2k pa
rak
x ≡−kx

Ob
serv
and
oes
tasf
orm
as,pod
emo
sha
ceru
sod
ela
sre
lac
ion
esd
eEu
lera
sı́
,
jα α
e =c
os(α)+js
in(
α) e =c
osh(α)+s
inh(
α).

D
eah
ı́
,qu
eespo
sib
lee
scr
ibi
rla
san
ter
ior
esexp
res
ion
esent
erm
ino
sdes
eno
syc
osen
os,
c
ircu
lar
esoh
ipe
rbó
l
ico
s.
L
aso
luc
ióng
ene
rald
el cua
ae ciónd
eLap
lac
ese
rá
,

u(
x,y)= Xkx (
x)Yky (
y).
∀kxky

P
orú
l
tim
o,s
abem
osqu
epa
raun
aEDP an
alı́
t
i c
ayl
osda
tosd
eCau
chyan
alı́
t
i c
os,l
a
s
olu
cióne
stamb
iénan
alı́
t
i c
a,h
ech
oqu
ehem
osd
emo
str
adoy
a,t
enem
osqu
elas
olu
ción
p
arae
staEDPe
stad
adaa
sı́
,
∂2X 2
√
kx
√
=−kxX → X =A
e +Be− kx
∂x2

3
1
 ∂2Y 2
√ √
=−kyY → Y=Ce −ky+D
e− −ky
∂y2
d
ond
eA,B
,C yD s
onc
ons
tan
tes
,yu
ti
li
zand
ola
sid
ent
idad
esd
eEu
ler
√ √ √ √
u(
x,y)=A e kx+e
− kx
e −ky+e
−−ky

s
in(nx) 1
u(x
,y)= 2 s inh(
ny), A=
n n2
l
acu
ale
san
alı́
t
i c
aent
odoeld
ominioΩ⊆R2.
Ah
ora
,pr
oba
rem
osqu
eef
ect
ivam
ent
ees
tas
olu
cióncump
lec
onl
os da
tosd
e Cau
chy
r
equ
erid
os
sin(nx)
u(
x,0
)= sinh(
0)=0
n2

ah
orad
eriv
emo
sur
esp
ect
oay,yobt
enem os

sin(
nx)
uy(
x,y)= co
sh(
ny)
n
ap
li
cand
oelda
tod
eCau
chyc
orr
espond
ien
tet
enem
os

sin(
nx) sin(
nx)
uy(
x,0
)= co
sh(
0)= .
n n
T
eni
end
oencu
ent
alas
olu
ciónd
e(2.
11)

•¿Qu
ésu
ced
erı́
asint
iend
ea∞?

•¿E
lpr
obl
emad
eCau
chye
stáb
ienp
lan
tead
opa
ral
aecu
aci
ón
?

P
odem
osv
erene
stee
jemp
lo,qu
eat
rev
esd
elm
é
tod
odes
epa
rac
iónd
eva
riab
les
,fu
e
po
sib
leen
con
tra
rlas
olu
ciónún
icaal
aEcua
ciónd
eLap
lac
econl
osr
esp
ect
ivo
sda
tos
d
eCau
chyp
ropu
est
os.E
staEDP,adm
itemu
cha
sot
rass
olu
cion
es;p
arae
llos
erequ
ier
e
qu
elas
olu
ciónp
ropu
est
ase
aan
alı́
t
i c
a,p
erod
epend
iend
odel
osda
tosd
e Cau
chyl
a
un
ic
idadv
arı́
a.(v
er[19]
,pag15)

E
jemp
lo2
.11
.Se
alaEDP
ut=ux,t ∈R2

c
onc
ond
ición
x
u(
0,x
)=e

3
2
S
epr
etend
een
con
tra
run
aso
luc
iónl
oca
lal
red
edo
rde(t
,x)=(
0,0
)
1 ∂n+m n m
u(
t,x
)= (
0,0
)t x (
2.1
3)
n≥0,m
≥0
n!
m!∂
tn∂xm

h
acem
osl
ade
riv
ad s
am−eimar
esp
ect
odexal
acond
ic
iónd
ada
,ob
ten
iend
o
∂mu ∂me x
0
(
0,0
)= (
0,0
)=e =1. (
2.1
4)
∂xm ∂xm

P
oro
trap
art
e,h
aci
end
olad
eriv
adan−e
simar
esp
ect
odetal
aEDP
∂n+1u ∂n+1u
= n n≥0
∂tn+1 ∂t∂x
ei
ter
and
oes
ter
esu
ltad
oseob
tien
e
∂n+1u ∂n+1u ∂n+1u
= =·
··=
∂tn+1 ∂
tn−1∂x2 ∂xn+1
d
eriv
and
oes
taú
l
tim
are
lac
iónr
esp
ect
odel
am−e
simad
ext
enem
os
∂n+m+1u ∂n+1u
= , n
,m≥0
∂
tn+1∂xm ∂xn+m+1
po
rtan
to
∂n+m+1u ∂n+1u
(
0,0
)= (
0,0
)
∂
tn+1∂xm ∂xn+m+1

∂n+1e
x
(
0,0
)=1 n
,m≥0 (
2.1
5)
∂xn+m+1
Ah
orasu
sti
tuy
end
o(2.
14)y(
2.1
5)en(
2.1
3)ob
ten
emo
s
1 nm
u(
t,x
)= tx
n≥0,m
≥0
n!
m!
n
t xm
u(
t,x
)=
n≥0
n!m≥0m!
tx
u(
t,x
)=ee.
Pu
edec
omp
rob
ars
equ
eseh
acon
stru
idoun
aso
luc
iónal
a EDP p
lan
tead
a,u
sand
o
as
l e
ried
eTa
ylo
rap
rop
iad
a,ad
emá
sesún
icap
aral
osd
ato
simpu
est
osa
lin
ic
iod
el
p
rob
lem
a.
Enl
adefin
ic
iónan
ter
iorn
osee
spe
cifi
cal
are
gul
arid
add
elas
olu
cións
obr
elaf
ron
ter
a
∂Ωd
elar
egi
ónΩ
.Loqu
egen
era
lmen
tes
epid
e,e
squ
elafun
cións
eac
ont
inu
aod
ife
r-
en
ciab
leen∂Ω
,qu
eadm
itat
oda
sla
sde
riv
ada
spa
rci
ale
squ
eap
are
cenenl
aecu
aci
ón
ene
lin
ter
iord
eΩ,yqu
esa
tis
fag
alae
cua
ciónene
lin
ter
iord
eΩ.

3
3
Cap
ı́
tulo3

A
lguna
s Noc
ione
sde
l Aná
l
i s
is
Func
iona
l

Ene
stec
apı́
tul
o,e
stab
lec
erem
osa
lgun
asn
oci
one
sde
lAn
á
li
sisfun
cion
alyd
esi
gua
ldad
es
impo
rtan
tes
,la
scu
ale
scon
tribu
irána
lde
sar
rol
lod
elt
emac
ent
rald
elp
res
ent
etr
aba
jo.

No
ta3
.1. Ha
yqu
eten
erencu
entaqu
e(f
,u)=f
,u,d
eno
tae
lpr
odu
ctopun
toene
l
e
spa
ciod
eHi
lbe
rtH.

3
.1 Defin
icióndelo
sEspac
iosLp

Defin
ición3
.2.S
eap∈R c
on1≤p<∞;s
edefin
e

Lp(Ω
)={
f;Ω→ R; f m
edi
ble−L
ebe
sgu
e}

yad
emá
s

p
|
f(x)
| dx<∞ (
3.1
)
Ω

d
ees
tafo
rma
,cuandop=1 s
ede
signap
orL1(Ω
),a
lesp
aciod
efun
cion
esin
teg
rab
les
so
breΩ,ysuno
rmae
sta
rád
eno
tadap
or

fL = |
f(x)
|dx<∞. (
3.2
)
Ω

3
4
A
hor
asi p=2,e
stamo
sha
blandod
ele
spa
cioH =L2(Ω
),dond
eH e
sune
spa
ciod
e
H
ilb
ertysuno
rmae
sta
rád
eno
tadap
or
 1
2

f L2 =  |
f(x)
|2 
dx dx<∞. (
3.3
)
Ω

Ap
art
ird
ela
san
ter
ior
esd
efin
icion
es,e
spo
sib
ledo
tard
eunano
rmaa
lesp
acioLp(Ω
),
d
ees
ta man
er if∈Lp(Ω
as ),e
spos
ib
leno
tarsunormac
omo
 p1

f Lp =  |
f(x)
|p 
dx dx<∞. (
3.4
)
Ω

T
eorema3
.3. De
sigua
ldadde Hö
lder
if∈Lp(Ω
S )yg∈Lq(Ω
),en
ton
ce ,g∈L1(Ω
sf )ys
eti
enelas
igu
ien
ted
esi
gua
ldad

|
fg|≤f Lp(Ω) gLq(Ω) (
3.5
)
Ω
1
dond
e1≤p<∞,yqe
selc
onju
gadoe
xpon
enc
iald
ep,e
sde
cirp +1
q
=1.

D
emo
str
ac .P
ión a
rasud
emo
str
aci
ónv
er[5]
,[1]

T
eorema3
.4. De
sigua
ldadde Po
incaré
S
eaΩ unc
onjun
toa
bie
rtoya
cotado
,en
ton
cese
xis
teunac
ons
tan
teC = C(Ω
,p)ta
l
qu
e
|
f| Ω ≤C|
0, f|1,
Ω
1
p
arato
dof∈H0(Ω
).

D
emo
str
ación
.Pa
rasud
emo
str
aci
ónv
er[1]
,[13]

T
eorema3
.5. Lax
-Mi
lgram
S
eaV une
spa
ciod
eHi
lbe
rtyα(
u,v)unafun
ciónb
il
ine
alyc
ont
inua
. En
ton
cesdado
unf∈V,d
ebee
xis
tirunaún
icau∈V ta
lqu
e

α(
u,v)=(
f,v), pa
rat
odo v∈V

S
iα(
u,v)e
ssim
é
tri
caen
ton
cesue
sca
rac
ter
izadap
ore
lfun
ciona
lJ:V→ Rd
efin
ido
p
or
1
J(v)= α(
u,v)−(
f,v)
2
Dond
eal
can
zaun m
ı́n
imoenu.

3
5
E
stee
sun
odel
osT
eor
ema
smá
simpo
rtan
tesp
arae
les
tud
iod
elaex
ist
enc
iayun
ic
idad
enp
rob
lem
ase
lı́p
tic
os.

D
emo
str
ación
.Se
a Ωunsub
-esp
aci
oce
rrad
ode
lesp
aci
oV d
eHi
lbe
rt. S
eau∈V y
d
adounf∈V,en
ton
cesex
ist
eunv∈V,d
ond
eu+v=wc
onw∈V,d
eah
iten
emo
s

α(
u,w−v)≥ f
,w−u

α(
u,v+u−u)≥ f
,v+u−u
α(
u,v)≥ f
,v.
Ah
orat
omand
oav=−v∈V,yp
roc
edi
end
odei
gua
lfo
rmas
eob
tien
e

α(
u,v)≤ f
,v.

C
onl
oqu
econ
clu
imo
squ
e
α(
u,v)=f
,v.
Supon
iend
oqu
eα(
u,v)e
ssim
é
tri
coyap
li
cand
oel*T
eor
ema de S
tampac
chia,
ob
ten
emo
squ
elafun
ciónJ:V→ Ra
lcan
zaun m
ı́n
imoenu∈V e
sde
cir

J(
u)=m
inJ[
v]
v∈V
1
d
ond
eJ(
v)=2α(
u,v)− f
,v.*P
arasud
emo
str
aci
ónv
er[14]
.

Defin
ición3
.6.S
eaΩunc
onjun
toa
bie
rtoya
co eRn ys
tadod eaf:Ω→ C, m
edi
ble
ene
lsen
tidod
eLe
bes
gue
.Silain
teg
rald
eLe
bes
gue

|
f(x)
|dx
K

e
sfin
itap
arato
doc
onjun
toc
omp
actoK ⊂ Ω,en
ton
cess
edi
cequ
efe
sunafun
ción
lo
calm
ent
ein
teg
rab
le.

3
.2 Iden
tidade
sde G
reen

iΩ⊂Rn e
S sun
are
giónab
ier
taya
cot
adaenl
acu
aln
otam
ossuf
ron
ter
acom
o∂Ω
.El
op
erado
rdeL
apla
ced
efin
idop
araun
afun
ciónu(
x) =u(
x1,
...
,xn)d
ecl
aseC2(Ω
),
e
stád
adopo
r
2
2
∆u= Dku.
k

3
6
A
sı́
,s ,v∈C2 Ω r
iu eco
rdam
osl
ass
igu
ien
tesi
gua
ldad
esd
elc
á
lcu
lov
ari
aci
ona
lll
a-
m
ada
sid
ent
idad
esd
eGr
een
.
n
du
v∆udx=− v
xiuxi + v dS (
3.6
)
Ω Ωi
=1 ∂Ω dn

du dv
v∆udx= u∆vdx+ v −u dS
. S=∂Ω (
3.7
)
Ω Ω ∂Ω dn dn
d
Aqu
ı́
, dn
d
eno
tad
ife
ren
cia
ciónend
ire
cci
óna
lve
cto
rno
rma
lex
ter
iora∂Ωy dx=
dx1dx2.
..dx
n. L
apr
ime
rasum
ato
riad
e(3
.6
)ha
cer
efe
ren
ciaa
lpr
odu
ctoin
tern
o
d
efin
idop
arau
,v∈Ω
:
n
u
,v =∇u∇v= v
xiuxi
i
=1

P
orl
otan
tocu
and
ohab
lem
osd
equ
elas
olu
ciónd
eun
a EDP,c
onc
ond
iciónt
ipo
D
iri
chl
ets
eha
cenu
laensuf
ron
ter
a,d
ecim
osqu
eu=0en ∂Ω
. En
ton
cesd
ela
s
id
ent
idad
es(
3.6
)y(
3.7
)sec
onv
ier
tenr
esp
ect
ivam
ent
een
:

v∆udx=− ∇u∇vdx (
3.8
)
Ω Ω

v∆udx= v∆udx (
3.9
)
Ω Ω

3
.3 Func
iona
l

Defin
ición3
.7. Unfun
ciona
l J,e
sunop
erado
rlin
ealc
ondom
inioenune
spa
cio
v
ecto
ria
lX yr
eco
rridoenunc
amp
oes
cala
rK d
eX

J:D(
J)→ K

dond
eK =Rs
iX e
sre
alyK =Cs
iX e
scomp
le
jo.D(
J)d
eno
tar
aeldom
iniod
eJ.

D
adoqu
enu
est
rot
rab
ajot
ien
ecom
ocond
ic
iónd
econ
tornolad
eDi
rich
let
,esn
ece
sar
io
en
con
tra
relfun
cion
alJ(
v),e
lcu
ala
lap
li
care
lMé
todoV
aria
ciona
l,d
arác
omor
esu
ltad
o
su
spun
tosc
rit
ico
syad
ema
sse
ranl
aso
luc
iónd
ebi
ldel
aEDPp
ropu
est
a.

3
7
3
.3.1 P
rob
lemade D
irich
letpa
raunaEDPe
lı́p
ticadesegundo
o
rden

S
eaΩ⊆Rn,unsub
con
jun
toab
ier
toya
cot
ado
,∂Ωl
afr
ont
erad
eΩyf:Ω→ R,t
al
1
qu
ef∈H0(Ω
).C
ons
ide
rem
oselp
rob
lemadeva
lor
esenlafo
rnt
erat
ipoD
iri
chl
et

−∆u=f en Ω
(3
.10
)
u=0 sob
re ∂Ω

A
con
tinu
aci
on m
ost
ram
osqu
eun
aso
luc
iónd
eva
lor
esenl
afr
ont
erap
arae
lpr
obl
ema
(
3.1
0),pu
edes
erc
ara
ter
izad
acom
oelm
ı́n
imod
eunfun
cion
alap
rop
iad
o.P
arae
llo
d
efin
imo
selfun
cion
al
1 2
J[
v]= |∇
v| −vf dx
Ω 2
d
ond
evp
ert
ene
ceaunc
onjun
toadm
is
ibl
e(e
lcon
jun
tod
ela
ssou
cion
esd
e(3.
10)
)
1
H0 = v∈L2(Ω
);v=0s
obr
e∂Ω

T
eorema3
.8. Pr
inc
ipiode D
irich
let
1
A
sum
imo
squ
eu∈H0(Ω
)esso
luc
iónd
e(3
.10
)en
ton
ces

J[
u]= m
in
1
J[
v]. (
3.1
1)
v∈H0

1
R
ecip
roc
amen
te,s
ı́u∈H0(Ω
)sa
tis
fac
e(3
.11
),en
ton
cesur
esu
elv
eelp
rob
lemad
eva
lor
enlaf
ron
ter
ade(
3.1
0).

D
emo
str
ac .⇒
ión
1
S
eau∈H0(Ω
),Ωunsub
con
jun
toab
ier
toyaco
tadodeRn,yfun
afun
ciónd
ada
.

−∆u=f enΩ
u=v=0 s o
bre ∂Ω
1
Supon
gam
osqu
ev∈ H0(Ω
),t
amb
iéne
sso
luc
iónd
e(3
.10
),po
rloqu
etend
riam
os
u−v≡0s
obr
e∂Ω
. Mu
lt
ipl
icand
olae
cua
ción(
3.1
0)po
ru−vein
teg
rand
oob
ten
emo
s,

−∆u(
u−v)= f(
u−v).
Ω Ω

Ap
li
cand
oid
ent
idadd
eGr
eenyr
eso
lvi
end
oelp
rodu
ctot
enem
os

∇u∇(
u−v)= fu−fv
.
Ω Ω

3
8
A
grup
and
olo
ste
rmin
osd
euyd
ev,

∇u∇u−fu= ∇u∇v−fv
.
Ω Ω

Ap
li
cand
olad
esi
gua
ldadd
eCau
chy-S
chwa
rz
1 2 1 2
|∇
u∇v|≤|∇
u||∇
v|≤ |∇
u| + |∇
v| .
2 2
E
stoe
s
2
|∇
u| −fu= ∇u∇v−fv
.
Ω Ω
1 2 1 2
≤ |∇
u| + |∇
v|
Ω2 Ω2
ob
ten
iend
oas
ı́

1
J[
u]≤J[
v] v∈H0(Ω
). (
3.1
2)

1
D
adoqu
eu∈H0(Ω
),(
3.1
1)s
ededu
ced
e(3
.12
).

⇐
Ah
ora
,po
relc
ont
rar
io,supon
emo
s(3.
11)
.Fi
jam
oscu
alqu
ierv∈C∞ ye
scr
ibim
os

J(
τ)=J[
u+τv
] c
onτ∈R
.

1
Pu
est
oqu
eu+v∈H0(Ω
)pa
racu
alqu
ierτ,l
afun
cióne
sca
larJ(
)ti
eneun m
ı́n
imoen
c
ero
,as
ı́
J(
0)=0

(
dond
eJ d
eno
talad
eri
vadapa
rcia
lre
spe
ctoaτ)p
rov
eel
aex
ist
enc
iad
elad
eriv
ada
.
P
ero
1 2
J(
τ)= |∇
u+τ∇v|−(
u−v
τ)fdx
Ω 2
1 2 τ2 2
= |∇
u| +τ∇v·∇
v+ |∇v|−(
u−v)fdx
.
Ω 2 2
P
orc
ons
igu
ien
te

0=J(
0)= ∇u∇v−fvdx= (
−∆u−f)vdx
.
Ω Ω

E
stafun
cióne
sva
lid
apa
rac
adav∈C∞ (Ω
)ya
sı́−∆u=fenΩ
.

3
9
Defin
ición3
.9. Unaso
luc
iónc
lá
s
i c
apa
ralaEDP (
3.1
0)c
onc
ond
iciónd
eCon
torno
t
ipoD
iri
chl
et,e
sunafun
ciónu∈ C2 Ω lacua
lsa
tis
fac
e(3
.10
)pun
toapun
to,e
s
d
eci
r,uadm
iteto
dasla
sde
rivada
spa
rcia
lesd
e(3
.10
).

D
elaan
ter
iord
efin
ic
ióne
spo
sib
lec
ons
tru
irl
adefin
ic
iónd
eso
luc
iónd
éb
il
.Esn
ece
sar
io
supon
erqu
eue
sso
luc
iónc
las
icaymu
lt
ipl
icand
olae
cua
cion(
3.1
0)po
rφ∈D(Ω
),lu
ego
in
teg
rand
oset
ien
elai
gua
ldad

− ∆u·
φ= fφ
.
Ω Ω

Ap
li
cand
olaid
ent
idadd
eGr
eenyu
ti
li
zand
oelh
ech
odequ
eφ=0en ∂Ωe
spo
sib
le
d
edu
cirqu
e
du
− ∆u·
φ= ∇u·∇
φ− φ = fφ
Ω Ω ∂Ω dn Ω

− ∆u·φ= ∇u·∇
φ= fφ
Ω Ω Ω
N
ote
cequ
eene
staú
l
tim
aigu
ald
adn
oesn
ece
sar
iol
ain
form
aci
ónd
elas
egund
ade
riv
ada
1
d
eu. A
si
,vem
osqu
eu∈H0,e
sde
cir
,deb
epe
rten
ece
rale
spa
ciod
efun
cion
esc
on
d
eriv
adac
ont
inu
acons
opo
rtec
omp
act
oenΩ
.Del
aan
ter
iori
gua
ldade
spo
sib
lef
or-
mu
larl
asi
gui
ent
edefin
ic
ión
.
1
Defin
ición3
.10
. Unaso
luc
iond
é
bi
lde(
3.1
0),e
sunafun
ciónu∈H0 lacua
lsa
tis
fac
e

1
∇u·∇
v= fv
, pa
rat
odov∈H0. (
3.1
3)
Ω Ω

1
V
emo
squ
eespo
sib
leen
con
tra
run
aso
luc
iond
éb
il u∈ H0 d
e(3.
10)
,pe
roe
ston
o
g
aran
tiz
aqu
ese
alaun
icas
olu
ción
,po
rta
lmo
tiv
oesn
ece
sar
iov
ere
lsi
gui
ent
eTe
orem
a,
e
lcu
alg
aran
tiz
asuun
ic
idad
.

T
eorema3
.11
.Se
aΩunc
onjun
toa
bie
rtoya
cotadoyf∈L2(Ω
)dado
.En
ton
cesd
ebe
1
e
xis
tirunaun
icaso
luc
iónd
é
bilu∈H0 d
e(3
.10
)qu
esa
tis
fac
e(3
.13
).E
staso
luc
ióne
s
c
ara
cte
rizadap
or
J(
u)= m
i
1
n J[
v]
v∈H0(Ω
)

dond
e
1
J(
v)= ∇v·∇
v− fv
.
2 Ω Ω

4
0
 1
D
emo
str
ación
. Supon
gaqu
eV=H0 ys
eau∈V,d
eex
ist
irun
aso
luc
iónd
éb
il
,lacu
al
d
ebes
erc
ara
cte
riz
adapo
r
α(
u,v)= ∇u·∇
v.
Ω
U
ti
li
zand
olaD
esi
gua
ldadd
eHö
lde
rpa
rap=2
,espo
sib
led
edu
cirqu
e

|
α(u
,v)
|≤|
u| Ω|
1, v|Ω ≤ u 1,
1, Ω v1,
Ω.

Ad
ema
spo
rlaD
esi
gua
ldadd
ePo
inc
aré s
eti
ene

α(
u,v)= ∇v·∇
v
Ω

2
= |∇
v|
Ω

v2Ω ≥C
1, v2
1,
Ω

A
si α(
u,v)e
scon
tinu
a,s
imé
tri
cayc
omoc
ons
ecu
enc
iad
elr
esu
ltad
oan
ter
ioryu
ti
-
l
izand
olad
efin
ic
iond
elTe
orema3
.5(
Lax
-Mi
lgr
am)
,comp
rob
amo
squ
eex
ist
eun
a
ún
icas
olu
ciónp
arae
lpr
obl
ema
.

4
1
Cap
ı́
tulo4

Mé
todo V
ariac
iona
l

E
stec
apı́
tul
opr
etend
ese
rvi
rdein
trodu
cci
ónaun
odel
osm
é
tod
osm
ode
rno
smá
s
u
sad
osenl
aob
ten
ciónd
eso
luc
ion
esap
rox
imad
asap
rob
lem
asqu
enot
ien
eso
luc
ión
an
alı́
t
i c
a.P
arae
jemp
lare
stem
é
tod
ore
cur
rim
osaunp
rob
lem
adeva
lord
efr
ont
era
t
ipoD
iri
chl
etp
araun
aEDPe
lı́p
tic
anol
ine
al.

4
.1 In
troducc
ión

An
tesd
ein
trodu
cire
stanu
evaid
ea,supon
emo
senp
rim
erlu
garqu
equ
erem
osr
eso
lve
r
un
aEDP,l
acu
alpu
edee
scr
ibi
rsed
elas
igu
ien
tef
orm
a

D[
u]=0 (
4.1
)

d
ees
taf
orm
aD[
u]d
eno
tae
lop
erad
ord
ife
ren
cia
lpa
rci
ale
lı́p
tic
onol
ine
alyue
sla
in
có
gni
ta.N
oha
y,po
rsupu
est
o,un
ate
orı́
agen
era
lpa
rar
eso
lve
res
tet
ipod
eEDP
.
E
lMé
todoV
aria
ciona
l id
ent
ific
aun
acl
aseimpo
rtan
ted
ees
tet
ipod
epr
obl
ema
sno
l
ine
ale
squ
epu
edens
err
esu
elt
osu
sand
oté
cni
casd
elAn
á
li
sisfun
cion
aln
olin
eal
.Es
ta
e
slac
las
edeP
rob
lemaV
aria
ciona
l,e
sde
cir
,laEDPd
elaf
orm
a(4
.1
),d
ond
eelop
er-
ad
orn
olin
ea u](
lD[ elcua
lesd
ife
ren
cia
bleene
lsen
tidod
eFr
é
che
t)d
eunap
rop
iad
o
fun
cion
ala
soc
iad
oJ[
u](
porLax−M
ilg
ram)
.Simb
ó
li
cam
ent
ees
crib
imo
s

D[
u]=J[
u]. (
4.2
)

En
ton
cese
lpr
obl
ema(
4.1
)sel
ee

J[
u]=0
. (
4.3
)

4
2
L
aven
taj
aqu
eti
enee
stanu
evaf
ormu
lac
ióne
squ
epe
rmi
teh
all
arl
ass
olu
cion
esd
e
(
4.1
)com
olo
spun
tosc
rı́
t
i c
osd
elfun
cion
alJ[
u];e
sto
spun
tospo
rob
via
sra
zon
es,s
on
l
osmá
ximo
s om
ı́n
imo
slo
cal
es,qu
eend
ete
rmin
ada
sci
rcun
stan
cia
ssonr
ela
tiv
amen
te
f
á
ci
lesd
een
con
tra
r:s
i,po
rej
emp
lo,e
lfun
cion
alJ[
u]e
sdi
fer
enc
iab
leyt
ien
eunm
ı́n
imo
enu,en
ton
ces(
4.3
)esv
á
lid
oypo
rtan
toue
sso
luc
iónd
el(
4.1
);c
aber
esa
lta
r,qu
epa
ra
nu
est
roe
stud
io,t
enem
osl
asi
tua
ciónenqu
enu
est
ropun
toc
rı́
t
i c
oesunm
ı́n
imo l
oca
l
d
eJ[
u].
S
in m
á
spr
eámbu
loyp
arafin
ali
zare
ltr
aba
jo,v
eam
ose
lsi
gui
ent
eej
emp
loene
lcu
al
h
all
amo
sun
aso
luc
iónaunaEDPnol
ine
ale
lı́p
tic
aconc
ond
iciónd
eDi
rich
letm
edian
te
e
lMé
todoV
aria
ciona
l.

4
.2 So
luc
iónauna EDPnol
inea
lel
ı́p
ticaconcon
-
d
iciónde D
irich
let med
ian
tee
l Mé
todo V
aria
-
c
iona
l

P
arad
arin
ic
ioal
aso
luc
iónd
enu
est
rop
rob
lem
a,ap
li
car
emo
selT
eor
ema3
.11 enun
-
c
iad
oene
lcap
ı́
tul
oan
ter
iord
adoqu
eé
steg
aran
tiz
a,qu
elas
olu
cióne
stad
ete
rmin
ada
po
relm
ı́n
imod
eunfun
cion
alap
rop
iad
o.

4
.2.1 E
jemp
lo

S
eaΩ⊂Rn unc
onjun
toab
ier
toya
cot
adoc
onf
ron
ter
a∂Ω
.Asum
imo
squ
en≤3d
e
1
m
ane
raqu
ela
sin
clu
sion
es H0 )⊂Lp s
(Ω onc
omp
act
asp
ara1≤p≤4
.Con
sid
erem
os
enp
rim
erlu
gare
lpr
obl
ema

−∆u−λu+u3=f en Ω
(
4.4
)
 u=0 s
obr
e ∂Ω

d ef∈L2(Ω
ond )yλ∈R. Ah
orad
efin
imo
sJ( 1
u):H0(Ω
)→ Rd
adopo
r

1 2 λ 1
J(
u)= |∇
u| − u2+ u4− fu
. (
4.5
)
2 Ω 2 Ω 4 Ω Ω

4
3
C
omoJ(
u)e
sdi
fer
enc
iab
leene
lsen
tidod
eFr
é
che
t,en
ton
ces(
4.5
)tom
ari
alas
igu
ien
te
f
orm
a
J(
u)= −∆u−λ u+ u3− f
.
Ω Ω Ω Ω

T
eni
end
oJ(
u)p
roc
edem
osaap
li
care
lpr
odu
ctopun
to(
J(u),v
),d
ond
ere
sul
ta

(
J(u),v
)= (
−∆u)v−λ u
v+ u3v− fv
. (
4.6
)
Ω Ω Ω Ω

Ap
li
cand
olaid
ent
idadd
eGr
eenal
apr
ime
rain
teg
ralob
ten
emo
s

in J(
m v)= ∇u·∇
1(Ω
v−λ u
v+ u3v− fv
. (
4.7
)
v∈H0 ) Ω Ω Ω Ω

D
ond
e

J(
( u),v
)= m
i
1
n J(
v)=0
. (
4.8
)
v∈H0(Ω
)

E
sde
cir
,lo
spun
tosc
rı́
t
i c
osd
eJ(
uta
lesqu
eJ(
u)=0
)da
ránl
aso
luc
iónd
éb
ild
e(4
.4)

Defin
ición 4
.1. Unasu
ces
ión {
xn}
n∈N enune
spa
ciono
rmadoH e
scon
ver
gen
te
fu
ert
emen
tes
iex
isex∈H ta
t lqu
e

l
im xn−x =0.
n→∞

S
edi
cequ
exn → xfu
ert
emen
te.

Defin
ición 4
.2. Unasu
ces
ión {xn}
n∈N enune
spa
ciono
rmadoH e
scon
ver
gen
te
d
é
bilm
ent
esie
xis
tex∈ H ta
lqu
ef(
xn)→ f(
x),∀f∈ H . Dond
eH r
epr
esen
ta
e
lesp
aciodua
ldeH
.

T
eorema4
.3. Pa
racua
lqu
ierλ∈R e
xis
tealosumounaso
luc
iónd
é
bi
luta
lqu
e

[
u]= m
i
1
n J[
v]. (
4.9
)
v∈H0(Ω
)

D
emo
str
ación
.Pru
eba1 E
lfun
cion
alJe
sco
erc
ivo
,es
toe
sJ[
v]→ +∞ s
i|v|Ω → +∞.
1,
S
ino
,supon
emo
squ
eex
ist
eun
asu
ces
ión{v
m}t
alqu
e|v
m| Ω → +∞ c
1, uand
om → ∞
m
ien
tra
squ
e J[
vm]≤Cp
arat
odom.S
eawm = |vmvm| d
emod
oqu
e|wm|Ω =1p
1, ara
1,
Ω
1
t
odom. P
odem
ossupon
erqu
ewm → wenH0(Ω
)deb
ilm
ent
e. Ah
ora

1 2 λ 2 4
|v
m| Ω−
1, v
m+ v
m− fv
m ≤C (
4.1
0)
2 2 Ω Ω Ω

4
4
 4
D
ivid
iend
otod
opo
r|v
m| Ω yp
1, asand
oell
imi
tecu
and
om → ∞ ob
ten
emo
s
(
pue
stoqu
ewm wfu
ert
emen
teenL4(Ω
))

w4≤C
Ω

1
P
orl
otan
tow=0ya
sı́wm → 0d
éb
ilm
ent
eenH0(Ω
)yfu
ert
emen
teenL2(Ω
).
2
Ah
orad
ivid
iend
o(4.
10)po
r|v
m| Ω ei
1, gno
rand
oelt
erm
inon
o-n
ega
tiv
o v4,ob
Ω m
te-
n
emo
s
1 λ 2 1 C
− wm − fw
m ≤ 2
2 2 Ω |
vm|1,
Ω Ω |
vm|1,
Ω

yc
omom → ∞ en
ton
cesob
ten
emo
s
1
≤0
2
l
leg
and
oaun
acon
trad
icc
ión
.Po
rlot
ant
oJ(
v)→ +∞ cu
and
o|v|Ω → +∞.
1,

No
ta4
.4.R
eco
rdemo
selh
echoqu
elano
rmae
sunafun
ciónd
é
bi
lmen
tein
fer
iorm
ent
e
s
emi
con
tinua
.SiX e
sune
spa
ciotop
oló
g
i c
oyf:X → Runafun
ción
,sed
icequ
eé
s
t a
e
sin
fer
iorm
ent
esem
icon
tinuas
ipa
rac
adaα∈R,
elc
onjun
to

{x∈X;
f(x)≤α}

e
sce
rradoenX.S
epu
edev
erqu
esixm → xenX,en
ton
ces

f(
x)≤l
imin
ff(
xm)
m→∞

P
rue
ba2 S
ea{
um}un
asu
ces
ión
,ta
lqu
eé
stae
sun
aco
tain
fer
iord
eJ,e
stoe
s

J(
um)→ in
f J(
v).
1(Ω
v∈H0 )

1
P
orl
aPru
eba1,{um}d
ebes
era
cot
adaenH0(Ω
).P
ort
ant
osupon
emo
squ
eum →
1
ud
éb
ilm
ent
eenH0(Ω
). En
ton
ces
,pu
est
oqu
elano
rmae
sunafun
ciónd
é
bi
lmen
te
in
fer
iorm
ent
esem
icon
tinuat
enem
os

|
u| Ω≤ l
1, imin
f|um|
1,
Ω
m→∞

ad
emá
s
,pu
est
oqu
eum → ufu
ert
emen
teenL4(Ω
),t
enem
os

u4
m → u4 cuand
o m→ ∞.
Ω Ω

4
5
Ah
orat
omand
oell
ı́m
itein
fer
iord
elasu
ces
ión {J(
um)
}ob
ten
emo
s

1 2 λ 1
|u|Ω−
1, u2+ u4− fu≤ l
imin
fJ(
um)= in
f J(
v)
2 2 Ω 4 Ω Ω m→∞ 1
v∈H0(Ω
)

ó
in
f J(
v)≤J(
1(Ω
u)≤ in
f J(
1
v)
v∈H0 ) v∈H0(Ω
)

ó
J(
u)= m
i
1
n J(
v)
v∈H0(Ω
)

l
oqu
esi
gnifi
caqu
eJ(
u)=0
,es
toe
s,ue
sso
luc
iónd
e(4
.4)
.

4
6
B
ibl
iog
raf
ı́a

[
1] Ad
ams
,R.andF
ourn
ier
,J.
,So
bol
evSp
ace
s.V
anc
ouv
er:A
cad
emi
cPr
ess
,20
03.

[
2]A
lon
so,I
.,P
rim
erCu
rsod
eEcua
cion
esenD
eri
vada
sPa
rcia
les. M
adr
id,E
spañ
a:
Un
ive
rsid
adAu
ton
omad
eMad
rid
,19
93.

[
3]A
rand
a,J
.,Apun
tesd
eecua
cion
esd
ife
ren
cia
lesI
I(EPD
s).M
adr
id,E
spañ
a: Un
i-
v
ers
idadC
omp
lut
ens
edeM
adr
id,2
011
.

[
4]A
sh,R
.,M
easu
re,In
teg
rat
ion
,andF
unc
tiona
lAna
lys
is.L
ond
on:A
cad
emi
cPr
ess
,
1
972
.

[
5]B
aen
a,M
.yA
lon
so,L
.,E
cua
cion
esD
ife
ren
cia
lesI
I. M
adr
id,E
spañ
a: Un
ive
rsid
ad
d
eMad
rid
,19
93.

[
6]B
ré
i
zis
,H.
,Ana
li
sisfun
ciona
l:T
eor
ı́ayap
li
cac
ion
es. M
adr
id,E
spañ
a:A
lian
za
Ed
ito
ria
l,1
984
.

[
7]C
arr
il
lo,A
.,H
err
era
,I.
,yY
ate
s,R
.,M
é
todod
eEl
emen
tosF
ini
tos. M
éx
ico
: UN
I-
VERS
IDADNAC
IONALAUTÓNOMADE MÉX
ICO
,20
08.

[
8]C
oss
io,J
.,In
tro
duc
ciónalaT
eor
ı́ad
ePun
tosC
rı́
t
i c
osc
onAp
li
cac
ion
esaP
rob
le-
ma
sEl
ı́p
tic
osS
emi
lin
eal
es. M
ede
ll
in: Un
ive
rsid
adN
aci
oba
ldeC
olomb
ia,2
000
.

[
9]C
oss
io,J
.y V
é
lez
,C.
,So
luc
ion
esn
otr
ivi
ale
spa
raunp
rob
lem
adeD
ir
ich
let
a
sin
tó
t
i c
amen
tlin
eal
.Med
el
lin
: Un
ive
rsid
adN
aci
oba
ldeC
olomb
ia,2
002
.

[
10]D
ebn
ath
,L.
,Non
lin
earPa
rtia
lDiff
eren
tia
lEqua
tion
sfo
rSc
ien
tis
tsandEn
gin
eer
s.
B
ost
on:B
irkh
aus
er,2
004
.

[
11] Ev
ans
,L.
,Pa
rtia
lDiff
eren
tia
lEqua
tion
s.Am
eri
can M
ath
ema
tic
alS
oci
ety
,19
98.

4
7
[
12]H
ern
ánd
ez,D
.,E
lem
ento
sen”ECUAC
IONESD
IFERENC
IALESPARC
IALES
”.
C
opy
righ
tcD
arı́
oSán
che
zHe
rnánd
ez.

[
13]J
ohn
,F.
,Pa
rtia
lDiff
eren
tia
lEqua
tion
sth
irdEd
it
ion.N
ewY
ork
:Sp
rin
ger-V
ela
rg,
1
980
.

[
14]K
esa
van
,S.
,TOP
ICSIN FUNCT
IONAL ANALYS
IS AND APPL
ICAT
IONS
..
B
ang
alo
re,Ind
ia:Jh
on W
il
eyandS
ons
,19
98.

[
15]K
rey
szi
g,E
.,In
tro
duc
tor
yFun
ctiona
l Ana
lys
isw
ith Ap
li
cat
ion
s.T
oron
to: Jh
on
W
il
eyandS
ons
,19
78.

[
16]K
rey
szi
g,E
.,Ma
temá
t
i c
asA
van
zada
s Pa
raIn
gen
ı́
eriavo
lII. C
olumbu
s, Oh
io:
L
imu
saW
il
ey,2
003
.

[
17]M
aga
lha
es,A
.andC
ost
a,D
.,AV
ari
ati
ona
lApp
roa
cht
oSubqu
adr
ati
cPe
rtu
rba
-
t
ion
sofE
ll
ipt
icSy
stem
s.Jou
rna
lofD
ife
ren
tia
lEqua
tion111(
199
4)1
03–
122
.

[
18]M
ant
il
la,I
.,F
ormu
lac
ión V
aria
ciona
ldeP
rob
lema
sde Con
tornoenE
spa
cio
sde
So
bol
ev.L
ima
,Pe
ru: Un
ive
rsid
adN
aci
ona
ldeIn
gen
ı́
eri
a,2
007
.

[
19]R
ami
rez
,R.
,Esp
ac sLp,0<p<1
io .Bo
got
a,C
olomb
ia: Un
ive
rsid
adN
aci
ona
lde
C
olomb
ia,2
002
.

[
20]R
ena
rdy
,M.andR
oge
rs,R
.,AnIn
tro
duc
tiontoPa
rtia
lDiff
eren
tia
lEqua
tion.N
ew
Y
ork
:Sp
rin
ger
-Ve
rla
rg,1
992
.

[
21]R
ent
eri
a,E
.,In
tro
duc
ciónala
sEcua
cion
esen D
eri
vada
s Pa
rcia
les
.San
tand
er,
E
spañ
a: Un
ive
rsid
add
eCan
tab
ria
,19
92.

[
22]R
inc
ón
,J.
,Co
sass
enc
il
lasso
brela
secua
cion
esd
eLap
lac
ey Po
isson. E
spañ
a:
Un
ive
rsid
add
eGr
anad
a,2
005
.

[
23] Rud
in,W
.,F
unc
tiona
lAna
lys
is.S
ing
apo
re:M
cGr
aw-H
il
l,1
991
.

[
24]Y
osid
a,K
.,F
unc
tiona
lAna
lys
is.N
ewY
ork
:Sp
rin
ger-V
erl
ag,1
980
.

[
25]Zu
lua
ga, M
., NONZERO AND POS
ITIVE SOLUT
IONS OF A SUPERL
IN-
EARELL
IPT
ICSYSTEMARCH
IVUM MATHEMAT
ICUM(BRNO
)Tomu
s37
(
200
1)6
3–7
0.

4
8