Presentaci N UNAL

Introducción Desarrollo Método numérico Estabilidad
Problema de Dirichelt
Ecuación de Poisson
Cristian, Meza Ferrer

Marjorie Dayanne, Montalvo Cusi
Jesús Jaime, Poco Salvador
Marieta Solange, Morante Calderon
Vicenta Victoria, Vicente Cabello
Curso: EDPII
Facultad de Ciencias Matemáticas

Universidad Nacional Mayor de San Marcos
21 agosto 2022
Cristian, Meza FerrerMarjorie Dayanne, Montalvo Cusi Jesús Jaime, Poco Salvador Marieta Solange, Morante Calderon Vicenta
21Victoria, Vicente Cabello
agosto 2022 1 / 43
Índice
1 Introducción Aproximación de la se-

Identidad de Green gunda derivada
2 Desarrollo Discretización del pro-
Existencia y unicidad blema
3 Método numérico
Aproximación de la primera 4 Estabilidad
derivada Consistencia
agosto 2022 2 / 43
Introducción
Siméon Denis Poisson ,matemático, astrónomo y físico francés,

alumno de Lagrange y Laplace, el cual aporto grandemente a a
la física (elasticidad, magnetismo, calor, capilaridad, mecánica ce-
leste,...) y a la matemática (teoría de números, probabilidad, series
de Fourier,..). En este informe se estudiara uno de sus aportes el
cual es la Ecuación de Poisson bajo las condiciones de Dirichlet am-
plio uso en electrostática, ingeniería mecánica y física teórica.
∆φ = f (1)
agosto 2022 3 / 43
Donde el ∆ es un operador diferencial de segundo orden, llamado

laplaciano el cual esta definido por:
Sea un ϕ ∈ Rn , y ademas ϕ ∈ C 2
Pn ∂ 2 ϕ
∆ϕ = k =1 ∂x 2
k
(2)
Con respecto a esta ecuación que se trabajara esta tiene algunos

problemas dados ciertas características como:
agosto 2022 4 / 43
Donde ϕ es una funcion definida en Ω

∆ϕ = −C.ρ(x) x ∈ Ω ⊂ Rn

Problema de Poisson (3)
ϕ(x) = 0 x ∈ ∂Ω

−∆ϕ = f x ∈Ω
Problema de Dirichlet (4)
ϕ(x) = 0 x ∈ ∂Ω
agosto 2022 5 / 43
Desarrollo
En este capitulo se desarrollara la Ecuación de Poisson sobre el pro-

blema de Dirichlet (4), tomando como referencia el anterior problema
mencionado la ecuación que tendremos sera: Donde
f ∈ L(Ω)2 , donde se hallara u definida en Ω
Ω ∈ Rn

−∆u = f
(5)
u=0 sobre ∂Ω
Donde supondremos que u ∈ H 2 (Ω) ), además definiremos la fun-

ción v ∈ H10 (Ω) = {v ∈ H 1 (Ω)/ v = 0 en ∂Ω}.
Multiplicando la funcion por v en (5) e integrando en Ω.
R R
Ω
−∆uv dx = Ω fv dx (6)
agosto 2022 6 / 43
Identidad de Green
Del teorema de la divergencia se tiene:

R R
Ω
∆u dx = ∂Ω u.n ds
La cual puede derivarse algunas identidades útiles .
Sea vF con v : Ω → R , v ∈ C 1 (Ω) , Donde F es una función con sus
derivadas parciales bien definidas.
∆(vF ) = v ∆F + ▽v .F
Aplicando integrales a ambos lados y aplicando el Teorema de diver-

gencia:
R R R
Ω
v ∆F dx = ∂Ω vF .n ds − Ω ▽v .F dx
agosto 2022 7 / 43
Elegimos ahora F = ▽u con u ∈ C 2 (Ω) ∩ C 1 (Ω) , recordando las

identidades
∂u
∆(▽u) = ∆u, ▽u.n = ∂n
Obtenemos la identidad de Green
v ∆u dx = ∂Ω v ∂u
R R R
Ω ∂n ds − Ω ▽v ▽u dx
agosto 2022 8 / 43
Entonces usando la identidad de Green

∂u
R R R
Ω
−∆uv dx = Ω ▽v .▽u dx − ∂Ω ∂n v dx
y sabiendo que v/∂Ω = 0, tenemos
R R
Ω
−∆uv dx = Ω ▽v .▽u dx (7)
de modo que la ecuación anterior nos queda

∀v ∈ H01 (Ω)
R R
Ω
▽u.▽v dx = Ω fv dx (8)
agosto 2022 9 / 43
Por lo tanto el problema (7) recibe el nombre de formulación variacio-

nal o débil, como:
f ∈ L2 (Ω), u ∈ H01 (Ω)talque

Dada R Hallar (9)
∀v ∈ H01 (Ω)
R
Ω
▽u.▽v dx = Ω
fv dx
Cristian, Meza FerrerMarjorie Dayanne, Montalvo Cusi Jesús Jaime, Poco Salvador Marieta Solange, Morante Calderon Vicenta Victoria,
21 agosto Vicente10
2022 Cabello
/ 43
Desarrollo
Existencia y unicidad
Nuestro problema (3.20) toma la forma variacional:
(∗)DadoF ∈ L2 (Ω), considerando el funcional Lf : H01 (Ω) → R
encontrar u ∈ H01 (Ω) tal que,
∀v ∈ H01
R
Ω
∇u∇b = TRf (v )
v → Lf (v ) = Ω fvdx
↓
(f ∈L2 y v ∈ H01 es condicion suficiente para que la integral exista)
Observacion :
H10 (Ω) = { w ∈ L2 (Ω)/ ∇w ∈ L2 (Ω) y v|∂ Ω = 0 }
Espacio de Hilbert con producto interno <w1 , w2 >H 1 =< w1 , w2 >L2
0
+< R ∇w1 , ∇wR2 >L2
= Ω w1 w2 + Ω ∇w1 ∇w2
p
(Norma ∥w∥H 1 = < w, w >H 1 = ∥w∥L2 + ∥∇w∥L2 )
p
0 0
(u, v ∈ H01 es condicion suficiente para que exista la integral Ω ∇u∇v )

R
21 agosto Vicente11
2022 Cabello
/ 43
Definicion: Sea (Ω) ⊂ Rn un conjunto abierto acotado y sea f ∈ L2 (Ω).

Por una solucion debil o generalizada del problema de Dirichlet
(3.20), tenemos una funcion u∈ H01 que satisface a la identidad(*).
Teorema de Lax Milagran
Sea a(,) : VxV =⇒ R una forma bilineal, coerciva y acotada

sobre el espacio de Hilbert V. Entonces, para cada funcion
lineal acotada, f ∈ V ′ existe un único u ∈ V con:
a(u, v ) = f (v ), ∀v ∈ V
R
Idea: ∇u∇v = Lf (v ) (Solucion del problema variacional ∗)
21 agosto Vicente12
2022 Cabello
/ 43
Lo cual es la Ecuación de Poisson en el problema de Dirichlet en

el espacio de Sobolev. Ahora veremos que existe solución y si es
unica.
Definiremos:
Sea a: H10 (Ω)xH01 (Ω) →
− R H10 (Ω) es de Hilbert
Definida por: R
a(u, v) = Ω ∇u∇vdx
Ademas,
L = H10 (Ω) →
− R (Veremos que es forma bilineal, coerciva y
acotada)
Definida por: R
Lf (v ) = Ω fvdx (Veremos que es funcional lineal acotada)
21 agosto Vicente13
2022 Cabello
/ 43
Probaremos que a(u,v) asi definido cumple que: es bilineal, continua

y coerciva.
1. Bilineal: Sea λ, µ ∈ R y u, v, w ∈ H1 (Ω)
(Linealidad a la izquierda)
Z Z
a(λu + µv , w) = ∇(λu + µv )∇wdx = (λ∇u + µ∇v )∇wdx
Ω Ω
Z Z
= ∇u∇wdx + µ ∇v ∇wdx
Ω Ω
= λa(u, w) + µa(v , w)
La linealidad a la derecha e deduce de la simetria a(u,v) = a(v,u)
21 agosto Vicente14
2022 Cabello
/ 43
2. Continuidad: (Acotada)
Probaremos que: |a(u, v )| ⩽ C||u||H 1 ||v ||H 1 , C ⩽ 0
0 0
La continuidad se obtiene gracias a la desigualdad de Cauchy -
Schwartz, en efecto:
Z Z
|a(u, v )| = | ∇u∇vdx| ⩽ |∇u||∇v |dx
Ω Ω
Z 1/2 Z 1/2
2 2
⩽ ( |∇u| dx) ( |∇v | dx)
Ω Ω
Z Z Z Z
2 2 1/2 2
⩽( u dx + (∇u) dx) ( v dx + (∇v )2 dx)1/2
Ω Ω Ω Ω
= (< u, u >H 1 )1/2 (< v , v >H 1 )1/2 = ∥u∥H 1 ∥v ∥H 1

0 0 0 0
La cosntante de continuidad es C = 1
21 agosto Vicente15
2022 Cabello
/ 43
3. Coersiva: Usaremos los resultados

Probaremos que:
a(u, v ) ⩾ α||u||2H 1
La coercividad se obtiene por la equivalencia de norma en H01 (Ω),
por ser Ω acotado, ya que en este caso se verifica la desigualdad de
Poincaré, en efecto:
Z Z
a(u, v ) = ∇u∇vdx = (∇u)2 dx = ||∇u||2L2 = ||u||2H 1
Ω Ω
Pero ||u||2H 1 ⩾ 1||u||H0

Donde la constante α = 1
21 agosto Vicente16
2022 Cabello
/ 43
Desigualdad de Poincaré
Sea 1≤ p <∞ y Ω un conjunto abierto acotado. Entonces

existe una constante C > 0 (dependiente de Ω y p) tal que:
2 2
R R
Ω
|u(x)| dx ⩽ C Ω
|∇u(x)| dx
Se mantiene cierto para cada u ∈ H01 (Ω)
Esto es, ∥u∥L2 ⩽ Ca(u, u) ∀u ∈ H02 (Ω)

Usando laR desigualdad deR Poincaré, obtenemos:
a(u,u) = Ω |∇u|2 dx = 12 Ω |∇u|2 dx + 12 Ω |∇u|2 dx
R
1 1
≥ 21 Ω |∇u|2 dx + C1 Ω u 2 dx ≥ min(1, ) ∥u∥2H 1
R R
2
| {z c }
∞>0
21 agosto Vicente17
2022 Cabello
/ 43
Finalmente Lf : H01 (Ω) →

R
− R con L(v ) = (Ω) fvdx = ⟨f , v ⟩ es lineal y
continua
(i) L es lineal:
En efecto: ∀u, v ∈ H01 (Ω), λ, α ∈ R se tiene:
Z
L(αu + µv ) = f (αu + µv )dx
(Ω)
Z Z
=α fudx + µ fvdx
(Ω) (Ω)
= λL(u) + µL(v )
Luego L es lineal
21 agosto Vicente18
2022 Cabello
/ 43
(ii) L es continua:
Para f ∈ L2 (Ω), probaremosque|L(v )| ≤ C||V ||H 1
R R 0
|Lf (v )| = | Ω fvdx| ≤ Ω |f ||v |dx
Usando Cauchy - Schwartz
≤ ( Ω |f |2 dx)1/2 ( Ω |v |2 dx)1/2
R R
≤ ( Ω f 2 dx)1/2 ( Ω v 2 dx + Ω (∇v )2 dx)1/2

R R R
= ∥f ∥L2 (∥v ∥L2 + ∥∇v ∥L2 )1/2
= ∥f ∥L2 ∥v ∥H 1
0
Luego L es continuo con constante ∥f ∥L2
21 agosto Vicente19
2022 Cabello
/ 43
Por lo tanto: R R
a(u,v) = Ω ∇u∇v y Lf (v ) = Ω fv
Satisfacen las condiciones de Lax - Milgram
=⇒ ∃!u∈ H01 tal que:R
∀v∈ H01
R
Ω
∇u∇v = Ω fv
=⇒ ∃! u solucion debil de la ecuacion de Poisson con condiciones de
Direchelt
21 agosto Vicente20
2022 Cabello
/ 43
Método Numérico
Diferencias Finitas
Resolveremos esta ecuación en 1D que tiene la forma:
−k0 uxx (x) = Q(x), 0 ≤ x ≤ L
u(0) = a
u(L) = b
21 agosto Vicente21
2022 Cabello
/ 43
Aproximación de la primera derivada
La idea principal del método de diferencias finitas consiste en reem-

plazar derivadas por cocientes de diferencias.
Figura: 1
21 agosto Vicente22
2022 Cabello
/ 43
Aproximación de la segunda derivada
Figura: 3
21 agosto Vicente23
2022 Cabello
/ 43
Aproximación de la segunda derivada
En general, si u ϵ C 4 se tiene que,
Figura: 3
21 agosto Vicente24
2022 Cabello
/ 43
Discretización del problema

Dividimos la barra en N subintervalos de longitud h = L/N, que
determina la partición: 0 = x1 < x2 < x3 < x4 ... < xN < xn+1 = L
Figura: 4
21 agosto Vicente25
2022 Cabello
/ 43
Entonces,
Figura: 5
Además, u(x1 ) = a y u(xN+1 ) = b
21 agosto Vicente26
2022 Cabello
/ 43

Resumiendo
Figura: 6
Queremos definir Ui de modo que Ui ≈ u(xi ). Definimos
Figura: 7
21 agosto Vicente27
2022 Cabello
/ 43
h2
Multiplicando por K0 llegamos al siguiente sistema de ecuaciones:
Figura: 8
Este sistema de ecuaciones tiene N + 1 ecuaciones y N + 1 incógnitas

U1 , U2 , U3 , ..., UN+1
21 agosto Vicente28
2022 Cabello
/ 43
El mismo, puede reescribirse de la siguiente manera:
Figura: 9
21 agosto Vicente29
2022 Cabello
/ 43
En forma matricial resulta:
Figura: 10
21 agosto Vicente30
2022 Cabello
/ 43
Ejemplo:
π
Aplicando un ejemplo: −u”(x) = sen( 10 ), 0 ≤ x ≤ 10, u(0) =
0, u(10) = 0 para n = 20
21 agosto Vicente31
2022 Cabello
/ 43
Gráfica
Figura: 10
21 agosto Vicente32
2022 Cabello
/ 43
Concepto de Estimación del Error
Recordemos: Sea Ax̄ = b̄ el problema continuo y Ax = b la aproxima-

ción discreta.Entonces, definimos:
Error de aproximación: e = x̄ − x
Error de truncamiento: η=Ax̄-b (solución exacta en esquema
numérico)
Residual (defecto): ρ=Ax̄ b̄ (solución discreta en problema
continuo)
Además, cuando el esquema numérico subyacente es lineal, tene-
mos:
El error de truncamiento más la estabilidad produce
convergencia.
21 agosto Vicente33
2022 Cabello
/ 43
Error de truncamiento
Primero derivamos una expresión para el error de truncamiento η (el
error de discretización local), que se obtiene conectando la solución
exacta (desconocida) en el esquema numérico.
Dejar: ej =Uj − j para 1 ≤ j ≤ n
Donde j = (i); 1 ≤ i ≤ n = (u(xi))1 ≤ i ≤ n < n
Luego, tenemos para 1 ≤ i ≤ n :
(Ae)i = [A(U)]i = (FA)i = f (xi )(A)i
i + 1 + 2ii1
= u ′′ (xi )
h2
u(xi + 1)2u(xi) + u(xi1) ′′
= u (xi )
h2
y por lo tanto:
Ae = η
21 agosto Vicente34
2022 Cabello
/ 43
donde η ∈ R n es el error de truncamiento local que surge porque

la solución exacta u no satisface el esquema numérico (es solo la
solución discreta U la que es una solución del esquema discreto). En
consecuencia, para todo 1 ≤ i ≤ n, tenemos:
u(xi+1 )2u(xi ) + u(xi1 ) ′′

ηi := u (xi )
h2
21 agosto Vicente35
2022 Cabello
/ 43
Consistencia
La consistencia se basa en estimaciones del error de truncamiento
local. El método habitual para trabajar es una expansión de Taylor.
Hemos establecido previamente que para f ∈ C 2 ([0, L]), tenemos
uC 4 ([0, L]). En consecuencia, podemos emplear una expansión de
Taylor hasta el orden 4 en el punto xi , 1 ≤ i ≤ n. Esto nos lleva a:
h2 ′′ h3 h4 (4) +
u(xi+1 ) = u(xi ) + hu ′ (xi ) + u (xi ) + u (3) (xi ) + u (τi )
2 6 24
h2 ′′ h3 h4 (4) −
u(xi−1 ) = u(xi ) + hu ′ (xi ) + u (xi ) − u (3) (xi ) + u (τi )
2 6 24
21 agosto Vicente36
2022 Cabello
/ 43
con τi+ ∈ [xi , xi+1 ] y τi− ∈ [xi−1 , xi]. De ello se deduce que para todos
los 1 ≤ i ≤ n
h2 (4) + h2 (4) − h2 (4) h2 ′′

|ηi | = | u (τi ) + u (τi )| ≤ ||u ||c o = ||f ||c o
24 24 12 12
En el que usamos que u (4) = −f ′′ . Como resultado final obtenemos:
Proposición: El error de truncamiento local de la aproximación en
diferencias finitas del problema de Poisson se puede estimar como:
1 ′′
||η||∞ = max1≤i≤n |ηi | ≤ Cf h2 , conCf = ||f ||c o
12
21 agosto Vicente37
2022 Cabello
/ 43
Estabilidad en L∞
Ahora investigamos la estabilidad del esquema de diferencias finitas.
Recapitulamos la norma matricial ||.||∞ (suma máxima de filas) para
M ∈ Rn,n definida por
n
X
||M||∞ = max1≤i≤n |Mij |
j=1
Además, denotamos por w(x) la solución exacta del problema en

el que f = 1 en [0, L]. La elección de f = 1 es solo por simplicidad.
Un f más general también funciona, pero requerirá más trabajo en la
siguiente prueba. Proposición Se mantiene:
||A−1 ||∞ = ||W̄ ||∞
y
L2
||A−1 ||∞ ≤
8
21 agosto Vicente38
2022 Cabello
/ 43
Prueba
Para f = 1, la segunda derivada desaparece: f” = 0. De la consisten-

cia sabemos que en este caso
||η||∞ = 0
Y por lo tanto
0 = Ae = A(W W̄ )
donde W ∈ Rn denota la solución discreta correspondiente a f = 1
(el vector del lado derecho completo se denota por F1 a continua-
ción). Además, denotamos W = (w(xi ))1 ≤ i ≤ n) ∈ Rn la solución
continua. Por consiguiente,
A(W W̄ ) = 0 −→ AW = AW̄ −→ F1 = AW̄ −→ W̄ = A−1 F1 = A1
21 agosto Vicente39
2022 Cabello
/ 43
El último paso se cumple porque trabajamos con f = 1 y por lo tanto

F1 = 1. Para 1 ≤ i ≤ n, obtenemos
n
X n
X n
X
W̄i = A−1
ij (F1 )i = A−1
ij = |A−1
ij |
j=1 j=1 j=1
El último paso es válido porque A es una matriz M. De lo contrario,

no se nos permitiría tomar señales absolutas. Finalmente obtene-
mos:
n
X
||A1 ||∞ = max1≤i≤n |A−1
ij | = max1≤i≤n |W̄i | = ||W̄ ||∞
j=1
La solución exacta al problema w ′′ (x) = 1 en (0, L) con condiciones

de Dirichlet homogéneas es w(x) = x(L−x)2 , que alcanza su máximo
L L2
en x = 2 . Esto produce max(w) = 8 y por lo tanto,
L2
||A−1 || ≤
8
21 agosto Vicente40
2022 Cabello
/ 43
Convergencia en L∞
Con los dos resultados anteriores, ahora podemos probar la conver-

gencia del esquema de diferencias finitas. Suponemos como antes
f ∈ C 2 ([0, L]) y obtenemos:
Proposición Para la convergencia del esquema de diferencias fini-
tas, se cumple:
L2 L2 ′′ o 2
||e||∞ = ||A1 η|| ≤ ||A−1 ||∞||η||∞ Cf h 2 = ||f ||C h = O(h2 )
8 96
donde empleamos las estimaciones de estabilidad y consistencia. en
consecuencia, tenemos convergencia cuadrática cuando h tiende 0.
21 agosto Vicente41
2022 Cabello
/ 43
Referencias I
Revista Integración Escuela de Matemáticas Universidad Industrial

de Santander Vol. 28, No. 2, 2010, pág. 133–152
21 agosto Vicente42
2022 Cabello
/ 43
Gracias por su atención
21 agosto Vicente43
2022 Cabello
/ 43

Presentaci N UNAL

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Presentaci N UNAL

Cargado por

Copyright:

Formatos disponibles

Introducción Desarrollo Método numérico Estabilidad

Cristian, Meza Ferrer

Facultad de Ciencias Matemáticas

1 Introducción Aproximación de la se-

Siméon Denis Poisson ,matemático, astrónomo y físico francés,

Donde el ∆ es un operador diferencial de segundo orden, llamado

Con respecto a esta ecuación que se trabajara esta tiene algunos

Donde ϕ es una funcion definida en Ω

En este capitulo se desarrollara la Ecuación de Poisson sobre el pro-

Donde supondremos que u ∈ H 2 (Ω) ), además definiremos la fun-

Del teorema de la divergencia se tiene:

Aplicando integrales a ambos lados y aplicando el Teorema de diver-

Elegimos ahora F = ▽u con u ∈ C 2 (Ω) ∩ C 1 (Ω) , recordando las

Obtenemos la identidad de Green

Entonces usando la identidad de Green

de modo que la ecuación anterior nos queda

Por lo tanto el problema (7) recibe el nombre de formulación variacio-

(u, v ∈ H01 es condicion suficiente para que exista la integral Ω ∇u∇v )

Definicion: Sea (Ω) ⊂ Rn un conjunto abierto acotado y sea f ∈ L2 (Ω).

Teorema de Lax Milagran

Sea a(,) : VxV =⇒ R una forma bilineal, coerciva y acotada

Lo cual es la Ecuación de Poisson en el problema de Dirichlet en

Probaremos que a(u,v) asi definido cumple que: es bilineal, continua

= (< u, u >H 1 )1/2 (< v , v >H 1 )1/2 = ∥u∥H 1 ∥v ∥H 1

3. Coersiva: Usaremos los resultados

Pero ||u||2H 1 ⩾ 1||u||H0

Sea 1≤ p <∞ y Ω un conjunto abierto acotado. Entonces

Esto es, ∥u∥L2 ⩽ Ca(u, u) ∀u ∈ H02 (Ω)

Finalmente Lf : H01 (Ω) →

≤ ( Ω f 2 dx)1/2 ( Ω v 2 dx + Ω (∇v )2 dx)1/2

= ∥f ∥L2 (∥v ∥L2 + ∥∇v ∥L2 )1/2

Luego L es continuo con constante ∥f ∥L2

Resolveremos esta ecuación en 1D que tiene la forma:

−k0 uxx (x) = Q(x), 0 ≤ x ≤ L

Aproximación de la primera derivada

La idea principal del método de diferencias finitas consiste en reem-

Aproximación de la segunda derivada

Aproximación de la segunda derivada

En general, si u ϵ C 4 se tiene que,

Discretización del problema

Discretización del problema

Además, u(x1 ) = a y u(xN+1 ) = b

Discretización del problema

Queremos definir Ui de modo que Ui ≈ u(xi ). Definimos

Discretización del problema

Este sistema de ecuaciones tiene N + 1 ecuaciones y N + 1 incógnitas

Discretización del problema

El mismo, puede reescribirse de la siguiente manera:

Discretización del problema

En forma matricial resulta:

Concepto de Estimación del Error

Recordemos: Sea Ax̄ = b̄ el problema continuo y Ax = b la aproxima-

(Ae)i = [A(U)]i = (FA)i = f (xi )(A)i

donde η ∈ R n es el error de truncamiento local que surge porque

u(xi+1 )2u(xi ) + u(xi1 ) ′′

h2 (4) + h2 (4) − h2 (4) h2 ′′

Además, denotamos por w(x) la solución exacta del problema en

||A−1 ||∞ = ||W̄ ||∞

Para f = 1, la segunda derivada desaparece: f” = 0. De la consisten-

A(W W̄ ) = 0 −→ AW = AW̄ −→ F1 = AW̄ −→ W̄ = A−1 F1 = A1

El último paso se cumple porque trabajamos con f = 1 y por lo tanto

El último paso es válido porque A es una matriz M. De lo contrario,

La solución exacta al problema w ′′ (x) = 1 en (0, L) con condiciones