Académique Documents
Professionnel Documents
Culture Documents
El espacio L2 ( ) con
Consideremos una regin acotada del plano xy. En la literatura de ecuaciones diferenciales parciales la frontera de se representa
como @ . En estas notas usaremos . Hay dos tipos de productos interiores entre funciones f (x; y) denidas sobre . Si
trabajamos slo con nmeros reales y las funciones slo toman valores reales podemos usar el producto interior euclideano
Z
hf j gi =
f (x; y) g (x; y) d .
Usamos d para representar un elemento diferencial de rea de la regin . En los textos de clculo se usa dxdy en lugar de d .
Si las funciones f y g toman valores complejos, como f = x + iy, usamos el producto interior hermitiano
Z
hf j gi =
f gd
lo que garantiza que hf j f i es un nmero real no negativo. Usaremos la notacin h j i para referirnos a cualquiera de estos
productos interiores. El producto interior euclideano tiene las propiedades siguientes:
(i) El producto es conmutativo
hf j gi = hg j f i .
(ii) El producto ha1 j a2 i es bilineal, es decir, es lineal en ambos argumentos a1 , a2 ,
hf j g + hi =
hf j gi +
hf j hi ,
h f + q j gi =
hf j gi +
hq j gi ,
hf j f i = 0 slo para f = 0 .
hf j gi +
hf j hi .
hf j gi +
hq j hi .
Si la norma kf k es nita, decimos que f es cuadrado integrable. El producto euclideano y el hermitiano satisfacen la desigualdad
de Schwarz
jhf j gij kf k kgk .
Las propiedades adicionales de la norma k k son
kf k
y kf k = 0 slo para f = 0 ,
k f k = j j kf k .
Usando la desigualdad de Schwarz se obtiene la importante desigualdad triangular
kf + gk
kf k + kgk .
d (f; g) = kf
gk
la cual mide la proximidad entre un par de funciones f , g. Esta nocin de distancia permite denir la convergencia de una sucesin
1
de funciones en forma anloga a la convergencia de nmeros reales. Decimos que la sucesin ffn gn=1 converge a f si satisface
lim
kf
n!1
fn k = 0 .
es el trivial c1 = c2 = ::: = cn = 0. La independencia lineal es inmediata cuando el conjunto 'j es ortogonal. Las funciones f y g
se llaman ortogonales si satisfacen
hf j gi = 0 ,
y el conjunto '1 , '2 , ...., 'n , se llama ortogonal cuando satisface
'j j 'k =
jk
'j
Si el conjunto '1 , '2 , ...., 'n , es ortogonal es fcil demostrar que es linealmente independiente.
Un conjunto innito linealmente independiente f
el lmite de una sucesin de sumas parciales
1
n gn=1
fN =
N
X
(N )
fj
j=1
es decir
lim kf
fN k = 0 .
N !1
(N )
En general los coecientes fj dependeran de N , pero para bases ortogonales este no es el caso. El conjunto f'n gn=1 se llama base
ortogonal del espacio L2 ( ) si es una base de dicho espacio y es un conjunto ortogonal. En este caso la sucesin de sumas parciales
fN =
N
X
fj 'j
j=1
tiene coecientes
fj =
que no dependen de N . Usaremos la expresin
f=
'j j f
1
X
'j
fj 'j
j=1
para referirnos a una serie generalizada de Fourier con funciones 'j que constituyen una base ortogonal completa. Si las funciones
base tienen la norma 'j = 1 el conjunto 'j se llama base ortonormal.
En los captulos anteriores hemos obtenido bases ortogonales completas 'j (x) del espacio L2 (a; b) a partir de la solucin de problemas
de eigenvalores con operadores diferenciales sujetos a condiciones de frontera. El resultado importante de esta seccin es que tales
conjuntos permiten obtener bases ortogonales completas de L2 ( ). Para motivar el resultado principal consideremos primero una
regin rectangular = [0; a] [0; b].
2
2
Resultado 1. Si f'j (x)g1
'k (y)g1
j=1 y f~
k=1 son bases ortogonales de L (0; a) y L (0; b), respectivamente, entonces el producto
= [0; a]
[0; b].
La ortogonalidad del conjunto 'jk con el producto interior de L2 ( ) es inmediata. Denotemos el producto interior de L2 (0; a)
y L2 (0; b) como los productos hermitianos
Z a
hp(x) j q (x)ia =
p (x) q (x) dx ,
0
h~
p(y) j q~ (y)ib
p~ (y) q~ (y) dy ,
f gd
p qdx
p~ q~ dy
= hp j qia h~
p j q~ib .
2
2
Si f'j (x)g1
'k (y)g1
j=1 y f~
k=1 son bases ortogonales de L (0; a) y L (0; b), satisfacen
h~
'k (y) j '
~ n (y)ib
=
=
2
a
2
k'
k
kn
k b
jm
'j
'mn (x; y)
satisfacen
'jk j 'mn = 'j (x) j 'm (x)
h~
'k (y) j '
~ n (y)ib =
jm kn
'j
2
a
k~
' k kb .
!j =
j
,
a
j = 1; 2; :::;
el cual es una base ortogonal completa de L2 (0; a) que se obtiene a partir del problema de valores propios
@x2 'j =
j 'j
con
'j = 0 para x = 0, a .
El conjunto
k
, k = 1; 2; :::;
b
es una base ortogonal completa de L2 (0; b) de eigenfunciones del problema de valores propios
'
~ j = sin ! k y,
!k =
@y2 '
~j =
con
~j
j'
'
~ j = 0 para y = 0, a.
El conjunto
k
, k = 0; 1; 2; :::;
a
es una base ortogonal completa de L2 (0; a) de eigenfunciones del problema de valores propios
'j = cos ! k x,
!k =
@x2 'j =
con
j 'j
@x 'j = 0 para x = 0, a.
con
j, k = 1, 2, 3, :::: ;
'
~ jk (x; y)
con
j, k = 1, 2, 3, :::: ;
'jk (x; y)
con
j = 1, 2, 3, ::::; ; k = 0; 1, 2, :::;
son bases ortogonales completas del espacio L2 ( ). Esto signica que cualquier funcin f (x; y) en L2 ( ) tiene series generalizadas
de Fourier
f
fjk 'jk ,
fjk =
'jk j f
'jk = 'j
k'k kb ,
f~jk '
~ jk ,
f~jk =
'
~ jk j f
'
~ jk = 'j
k~
' k kb ,
fjk 'jk ,
fjk =
'jk j f
'jk = 'j
k'k kb ,
jk
X
jk
X
jk
'jk
'
~ jk
'jk
@x2 ui
i ui
a,
@y2 vj
j vj
b.
i ui
@y2 vj
vj
0
0
la denotamos por u.
_
x
y
a,
b,
= xy .
i ui
a,
@y2 vj
j vj
b,
= x + sin y .
Un operador A que asocia a una funcin f en L2 ( ) otra funcin Af en L2 ( ) se llama simetrico en L2 se llama lineal si satisface
A ( f + g) =
Af +
Ag .
G (x; x
~; y; y~) f (~
x; y~) d~
x d~
y.
Para obtener la forma del adjunto T partimos de la relacin hf j T gi y cambiamos el orden de las integrales,
Z
Z
Z
hf j T gi =
f (x; y) T g (x; y) dxdy =
f (x; y)
G (x; x
~; y; y~) g (~
x; y~) d~
x d~
y dxdy
=
G (x; x
~; y; y~) f (x; y) dxdy
g (~
x; y~) d~
x d~
y
= hT f j gi ,
donde identicamos al operador T como
T f (x; y) =
G (x; x
~; y; y~) f (x; y) dxdy = funcin de x
~; y~.
iy .
Nota 1. El adjunto de un operador no siempre esta bien denido. Como ejemplo consideremos la regin rectangular
y el operador diferencial
@
f
Dx f =
@x
Integrando por partes
fj
@
g
@x
@
g dxdy =
@x
obtenemos
fj
@
g
@x
@
g dx dy =
@x
x=a
(f g)x=0 dy +
(f g)0
dx
@f
g
@x
= [0; a] [0; b]
dy ,
@
f jg
@x
vemos que el adjunto de Dx no est bien denido a menos que impongamos a f condiciones de frontera con las cuales se cumpla la
relacin
x=a
(f g)x=0 = f (a; y) g (a; y) f (0; y) g (0; y) = 0 .
Imponiendo tales condiciones de frontera, obtenemos
fj
@
g
@x
@
@
fj
g
@x
@x
x=a
Por lo que, bajo la condicin de que se satisfaga (f g)x=0 = 0, el adjunto de Dx est dado por
Dx =
Dx .
x=a
Son varias las condiciones a la frontera que podemos imponer a f y g para que se cumpla la condicin (f g)x=0 = 0, como son las
condiciones de frontera tipo Dirichlet
f = g = 0 en x = 0, a.
Este ejemplo muestra que un operador A tiene un adjunto bien denido si A acta en un conjunto apropiado que llamaremos el
dominio del operador y que denotaremos por D (A).
Un operador A con dominio D (A) y cuyo adjunto A est bien denido, se llama simtrico si satisface
hf j Agi = hAf j gi
para f y g en D (A) .
1
kr
~
rk
con
r = xi + yj, ~
r=x
~i + y~j .
El operador
@
f
@x
con el dominio D (Dx ) = ff : f = 0 en x = 0; ag, no es simtrico, pero el operador
Dx f =
~ xf = i @ f
D
@x
s es simtrico en L2 ( ) con producto interior hermitiano h j i ya que su adjunto es el mismo operador
~x =
D
@
@x
=i
@
@x
= ( i)
@
@x
= Dx .
El problema de eigenvalores correspondiente a un operador B en L2 ( ) con dominio D (B) consiste en hallar los valores de
para los cuales la ecuacin
Bu = u
tiene una solucin no trivial u 6= 0 en el dominio D (B). Como en el caso de operadores sobre el espacio L2 (0; a), la simetra de un
operador en L2 ( ) implica que sus eigenvalores son reales y eigenfunciones con diferentes eigenvalores son ortogonales.
Resultado 2. Sea A un operador simtrico en L2 ( ) con dominio D (A). Consideremos el problema de valores propios
Au = u
Entonces
(i) Los valores propios de son reales;
(ii) Las funciones propias uj ,uk , con valores propios diferentes
La demostracin se deja como ejercicio.
con
6=
u 2 D (A) .
Ejercicios.
1. (a) Demostrar que si R y T son operadores lineales su combinacin lineal R + T tambin lo es.
(b) Demostrar que si los adjuntos de R y T existen, entonces ( R + T ) = R + T .
(c) El producto AB de dos operadores A y B se dene como la composicin de A con B. Demostrar que el adjunto de T Q es
(T Q) = Q T donde T , Q, son los operadores de los Ejemplos 1 y 2.
2. Diga cul de los operadores siguientes son simtricos
(x2 + y 2 )f (x; y) ,
Z
2
2
=
e[(x x~) (y y~) ] f (~
x; y~)d~
xd~
y,
Qf (x; y)
T f (x; y)
@2f
@x2
@2f
@2f
+
@x2
@y 2
@2f
@2f
+ 2
2
@x
@y
@
f
@x
con frontera
y = y( ) .
d~
r
dx
dy
=
i+
j
d
d
d
y la longitud de arco
ds = kd~
rk = kvk d .
El vector normal unitario exterior a la frontera
n
^ rf .
q
^ rf .
Usando los teoremas integrales (teorema de Green en el plano, el teorema de la divergencia o el teorema de Stokes en R3 ) obtenemos
lo que llamaremos las frmulas de integracin por partes:
Resultado 3A. Para un regin
con frontera y un par de funciones u (r), v (r), se cumplen las relaciones siguientes
Z
Z
I
@v
@u
d +
vd
=
u
nx uv ds
@x
@x
Z
Z
I
@v
@u
u
d +
vd
=
ny uv ds
@y
@y
(1)
(2)
Una forma compacta de escribir ambas relaciones se obtiene al mutiplicar la primera por i, la segunda por j, y sumar miembro a
miembro,
Z
Z
I
u (rv) d +
(ru) v d =
uv n
^ ds .
Las frmulas de integracin por partes conducen a las identidades de Green en el plano xy.
Resultado 3B. Para un regin con frontera y un par de funciones u, v, se cumplen las relaciones siguientes
Z
Z
I
@v
u r2 v d +
ru rv d
=
u ds
(primera identidad de Green) ,
@n
Z
Z
I
@v
@u
u r2 v d
v r2 u d
=
u
v
ds
(segunda identidad de Green) .
@n
@n
Por ejemplo, si reemplazamos @x v, @y v, por las segundas derivadas @x2 v, @y2 v, en las frmulas de integracin por partes (....) y
sumamos miembro a miembro aparace el operador laplaciano
r2 =
@2
@2
+
@x2
@y 2
y la dencin de derivada normal (.....) con los cuales obtenemos la primera identidad de Green. Dado que esta identidad es vlida
para u y v arbitrarios podemos intercambiar u con v,
Z
Z
I
@u
v r2 u d +
rv ru d =
v ds
@n
y restando miembro a miembro con la primera identidad de Green (....), obtenemos la segunda identidad de Green (...).
Para analizar las propiedades del operador r2 en el espacio L2 ( ) conviene expresar las identidades de Green en trminos del
producto interior euclideano
Z
hf j gi =
f g d
(3)
o la forma hermitiana
hf j gi =
Tambin conviene introducir el producto interior
hf j gi =
f gd
f gd
(4)
f gd
correspondiente al espacio L2 ( ), el conjunto de funciones cuadrado integrables sobre la frontera . En trminos de estos productos
interiores las frmulas de integracin por partes toman la forma
@v
@x
@v
uj
@y
uj
+
+
@u
jv
@x
@u
jv
@y
= h u j nx v i
(5)
= h u j ny v i
(6)
u j r2 v + h ru j rv i =
u j r2 v
r2 u j v
uj
@u
v
@n
La segunda identidad de Green nos lleva a uno de los resultados principales de esta seccin el cual establece condiciones sucientes
para que el operador laplaciano r2 sea simtrico en L2 ( ).
Resultado 4. Consideremos el operador r2 actuando sobre funciones en un conjunto D
f
@g
@n
@f
g = 0 sobre
@n
L2 ( ) tal que
r2 f j g
para f , g 2 D .
La simetra de r2 al actuar en un conjunto D implica que sus eigenvalores son reales y las eigenfunciones con eigenvalores
diferentes son ortogonales pero tenemos un resultado ms fuerte.
Resultado 5. Consideremos una regin acotada del plano xy con frontera cuyo vector tangente v
~ es continuo por partes. Sea
2
2
2
D un conjunto de funciones en L ( ), en el cual r es simtrico. Denotemos por rD al operador r2 actuando sobre el conjunto
D,
r2 f para f 2 D
r2D f
El problema de eigenvalores de
uD
tiene soluciones no triviales u 6= 0 que pertenecen al conjunto D. Usamos el subndice D para indicar que los eigenvalores y
eigenfunciones dependen del conjunto D; es decir, de las condiciones de frontera impuestas a los elementos f de D. Entonces
(i) El conjunto de valores propios es real, numerable, ordenado y no negativo,
0
<
<
lim
=1.
< :::
(ii) Eigenfunciones de r2D con diferente eigenvalor son ortogonales con el producto interior de L2 ( ).
(iii) El nmero nj de funciones propias linealmente independientes con el mismo eigenvalor j , es nito (nj < 1). Si Ej denota
el espacio de eigenfunciones con el mismo eigenvalor j , tenemos dim (Ej ) = nj . Aplicando el proceso de ortogonalizacin de
Gram-Schmidt a una base de funciones propias del espacio Ej obtenemos una base ortogonal de dicho espacio por loq ue podemos
considerar que las eigenfunciones de r2D son ortogonales an si tiene el mismo eigenvalor. Denotaremos por 'k al conjunto
ortogonal de eigenfunciones de r2D ,
2
'j j 'j 0 = jj 0 'j
para j 6= j 0 .
(iv) El conjunto 'k es una base ortogonal completa de L2 ( ).
Usando la primera identidad de Green es fcil ver que los eigenvalores de
no trivial de r2 ' = ' tenemos
'j
r2 '
@'
@n
h' j 'i = h r' j r' i
h r' j r' i
=
h' j 'i
h r' j r' i =
'j
=0
0.
(k)
La completez del conjunto de eigenfunciones uj de r2D signica que cualquier funcin f en L2 ( ) admite el desarrollo en
serie generalizada de Fourier
1
X
'j j f
f=
fk 'k con fk =
2 .
'j
k
Esta serie converge en la norma de L2 ( )
lim kf
fN k = 0
N !1
N
X
fk 'k
Ejercicios.
1. Considere la regin rectangular
funciones D que satisfacen
= [0; a]
f (0; y) = f (x; 0) = 0,
@f (x; b)
@f (a; y)
=
=0.
@x
@y
Z
Z
r F (x; y) dxdydz =
F (x; y) n
^ S dS =
F n
^ S dS .
F (x; y) n
^ S ds .
5. Usar las frmulas de integracin por partes (Resultado 3A) deducir las identidades de Green (Resultado 3B).
6. Vericar que las identidades de Green (Resultado 2B) toman la forma (5), (6), con:
(a) Los productos interiores h j i, h j i , en su forma euclideana.
(b) Los productos interiores h j i, h j i , en su forma hermitiana.
7. Qu diferencias hay entre los eigenvalores y eigenfunciones de r2D y r2D ?
es la regin rectangular
= [0; a]
= [0; a]
[0; b]
[0; b].
con ' = 0 en
es separable ya que las eigenfunciones ' son el producto de las eigenfunciones de los operadores
de frontera Dirichlet. En efecto, la solucin de los problemas de eigenvalores en una dimensin
@x2
i i
con
i (x)
= 0 en x = 0, a ,
@y2 j
j j
con
j (y)
= 0 en y = 0, b ,
@x2 y
es
i
, i = 1; 2; 3; : : : ,
a
j
con ! j =
, j = 1; 2; 3; : : : .
b
= ! 2i ,
= sin ! i x con ! i =
= ! 2j ,
= sin ! j y
(x)
(y) .
i j
i j[ i
j]
= 'ij [
j ],
= ! 2i + ! 2j .
'jk
jm kn
ij
con
'jk
i,
= 'j
j,
2
a
k~
'k kb .
Ejemplo 2. Consideremos el operador A2 = r2 actuando sobre un conjunto D (A2 ) constituido por funciones que satisfacen las
condiciones de frontera mixtas
@f
f = 0 en x = 0, a,
= 0 en y = 0, b.
@n
Usando n
^ = j en y = 0, n
^ = j en y = b, las condiciones en y = 0, b, toman la forma
@f
@n
@f
@n
@f
= 0 en y = 0,
@y
@f
j rf =
= 0 en y = b .
@y
j rf =
0 en x = 0, a,
0 en y = 0, b,
i i
con
@y2 j
j j
con
i (x)
= 0 en x = 0, a ,
_ (y) = 0 en y = 0, b .
j
La solucin es
i
= ! 2i ,
= sin ! i x
= ! 2j ,
= cos ! j y
i
,
a
j
con ! j =
,
b
con ! i =
r2 son
ij
'ij
i (x)
= ! 2i + ! 2j ,
j (y)
i = 1; 2; 3; : : : ,
j = 0; 1; 2; 3; : : : .
jm kn
'jk
ij
con
'jk
= 'j
i,
2
a
j,
2
k~
'k kb = .
Para calcular la serie generalizada Fourier de una funcin g (x; y) en L2 ( ), con las eigenfunciones de A2 proponemos
g=
1 X
1
X
gij 'ij
i=1 j=0
Multiplicando por 'kl si est usado el producto interior euclideano de 'kl ( 'kl si se usa el producto hermitiano), integrando y
usando la ortogonalidad las eigenfunciones,
*
+
X
X
X
2
2
h'kl j gi = 'kl j
gij 'ij =
gij 'kl j 'ij =
gij ki lj k'kl k = gkl k'kl k ,
ij
ij
ij
se obtiene
gkl =
Ejercicios.
1. Repetir el Ejemplo 1 con el operador A3 =
D (A4 ) =
D (A5 ) =
f 2 L2 ( ) :
@f
= 0 sobre
@n
f 2 L2 ( ) :
r2 con dominio
f 2 L2 ( ) :
k'kl k
r2 con dominio
D (A3 ) =
Calcular la norma de las eigenfuciones de A3 .
2. Repetir el Ejemplo 1 con el operador A4 =
h'kl j gi
@f
= 0 en x = 0; a, f = 0 en y = 0, b
@n
r2 con dominio
@f
= 0 en x = 0; y = 0,
@n
f = 0 en x = a, y = b
= [0; a]
[0; b]
Consideremos la ecuacin
[L (t) + A] u = F (x; y; t)
donde
con
(x; y) 2
= [0; a]
[0; b] ,
= aN (t) + aN
A =
1 (t)
@N
+ :::: + a0 (t) ,
@tN
r2 .
Para que la ecuacin tenga una solucin impondremos a la solucin u condiciones a la frontera con las cuales A es simtrico en
L2 ( ), es decir, u debe pertenecer a un conjunto D (A) tal que
f
siendo
la frontera de
@g
@n
@f
= 0 sobre
@n
con
1.
'ij
ij
con
'ij en D (A) .
Dado que las eigenfunciones 'ij satisfacen las condiciones de frontera sobre u, sta tamben lo hace por lo que slo queda por
calcular los coecientes uij (t).
(iii) Con los datos F , f0 , :::, fN 1 , calculamos coecientes de las series
F
'ij j F
f (k)
(k)
'ij
ij
'ij j f (k)
, para k = 0,. . . , N
'ij
ij
1.
(iv) Sustituyendo las series anteriores en la ecuacin diferencial y las condiciones iniciales,
X
X
X
Fij 'ij ,
'ij [L (t) + ij ] uij (t) =
[L (t) + A] uij (t) 'ij =
[L (t) + A] u =
ij
(k)
@t u (x; y; t)
(k)
@t uij
(t) 'ij =
ij
ij
ij
(k)
fij
'ij
en t = 0,
ij
ij ]
uij = Fij
(k)
con
(k)
para k = 0,. . . , N
cuya solucin se puede obtener en forma analtica o numrica dependiendo de los coecientes ak (t) de L.
Ejemplo 1. Hallar la solucin de la ecuacin de Poisson
r2 u = (x; y) con
u = 0 sobre
ij 'ij
1
X
uij 'ij ,
i;j=1
1
X
ij 'ij
ij
i;j=1
'ij j
.
k'ij k2
ij
1
X
i;j=1
1
X
i;j=1
1
X
ij
ij ,
ij
ij
'ij .
'ij (x; y) =
1
X
i;j=1
1
ij
y h j i,
'ij j
'ij (x; y)
k'ij k2
+
'ij (~
x; y~) 'ij (x; y)
j (~
x; y~) ,
2
ij k'ij k
i;j=1
Z aZ b X
1
'ij (x; y)'ij (~
x; y~)
=
(~
x; y~)d~
xd~
y
2
ij k'ij k
0
0 i;j=1
u(x; y)
ij
ij
G (x; y; x
~; y~) =
con la cual se obtiene
u(x; y) =
G (x; y; x
~; y~) (~
x; y~) d~
xd~
y.
@T
= r2 u + F (x; y; t)
@t
sujeta a las condiciones
T
sobre
= f (x; y)
para t
en
t=0.
con
Fij =
0,
ij
Fij 'ij
ij
fij 'ij
con
fij =
ij
'ij j F
'ij
'ij j f
'ij
ij Tij
= Fij
Resolviendo
Tij = e
ij t
fij +
ij (t
Fij ( ) d .
Para obtener la forma integral de la solucin T sustitumos las integrales de fij , Fij , y permutamos los smbolos de suma e integral.
Esto nos da la solucin
Z
Z tZ
T (x; y; t) =
G1 (x; y; t; x
~; y~)f (~
x; y~) d~
xd~
y+
G2 (x; y; t;~
x; y~; )F (~
x; y~; ) d~
xd~
yd
0
G2
1
X
'ij (~
x; y~) 'ij (x; y)
i;j=1
1
X
'ij
'ij (~
x; y~) 'ij (x; y)
i;j=1
'ij
ij t
ij (t
,
)
@t u = g (x; y) en t = 0.
Las eigenfuciones de r2 son las mismas del Ejemplo 1. Sustituyendo las series
X
X
u =
uij 'ij , F =
Fij 'ij ,
ij
X
ij
ij
fij 'ij , g =
X
ij
gij 'ij ,
ij uij
= Fij
La solucin es
uij = fij cos(
ij t)
gij
sin(
ij t)
ij
sin[
ij (t
ij
ij
Fij ( ) d
ij
)]
Se deja como ejercicio obtener la forma integral y las funciones de Green correspondientes,
Z
Z
u(x; y; t) =
G1 (x; y; t; x
~; y~)f (~
x; y~)d~
xd~
y+
G2 (x; y; t; x
~; y~)g(~
x; y~)d~
xd~
y
Z tZ
+
G3 (x; y; t; x
~; y~; )F (~
x; y~; ) d~
xd~
yd .
0
Ejercicios.
1. Repetir Ejemplo 1 con las condiciones de frontera puramente Neuman,
@f
= 0 sobre
@n
f = 0 en y = 0, b .
3. Deducir la forma integral de la solucin del Ejemplo 3 y dar las expresiones de las funciones de Green correspondientes.
4. Repetir el Ejemplo 3 con las condiciones mixtas
f = 0 en x = 0 y = 0 ,
@f
= 0 en x = a, y = b .
@n
@u
@2u
= c2 r2 u 2
+ 3u + F (x; t)
2
@t
@t
En un rectangulo = [0; 1] [0; 2] con u = 0 en , u = @t u = 0 en t = t0 . Dar la solucin en su forma integral identicando la
funcin de Green correspondiente.
6. El operador Schrdinger para una partcula en una regin = [0; a] [0; b] con paredes impenetrables est dado por
H=
p2
h
@
@
con p2 = p p , p = r, r = i
+j .
2m
i
@x
@y
Los niveles de energa a los que tiene acceso la partcula son los eigenvalores del problema
H'ij = Eij 'ij con 'ij = 0 en