Вы находитесь на странице: 1из 13

TEORÍA CUANTITATIVA.

ECUACIONES INTEGRALES CON NÚCLEO DEGENERADO

3.1. Ecuaciones de Fredholm.

El núcleo K(x,t) de la ecuación integral de Fredholm de segunda especie se


llama degenerado o separable, si éste es la suma de un número finito de
productos de una función sólo de x, por una función solo de t, es decir, si él tiene
la forma
n
K ( x, t )   ak ( x)bk (t ) (3.1.1)
k 1
Las funciones ak ( x) y bk (t )(k  1, 2,..., n) son funciones continuas del espacio
𝐿2 ([𝑎, 𝑏]) y linealmente independientes. La ecuación integral con núcleo
degenerado (3.1.1)

 n

 ( x)     ak ( x)bk (t )  (t )dt  f ( x)
b
(3.1.2)
a
 k 1 
se resuelve del siguiente modo: Escribamos (3.1.2) del siguiente modo
𝑛 𝑏
𝜙(𝑥) = 𝑓(𝑥) + 𝜆 ∑ 𝑎𝑘 (𝑥) ∫ 𝑏𝑘 (𝑡)𝜙(𝑡)𝑑𝑡 (3.1.3)
𝑘=1 𝑎

e introduzcamos las notaciones siguientes


𝑏
∫ 𝑏𝑘 (𝑡)𝜙(𝑡)𝑑𝑡 = 𝑐𝑘 𝑘 = (1,2, … , 𝑛) (3.1.4)
𝑎

Entonces (3.1.3) toman ahora la forma


𝑛

𝜙(𝑥) = 𝑓(𝑥) + 𝜆 ∑ 𝑐𝑘 𝑎𝑘 (𝑥) (3.1.5)


𝑘=1
Donde ck son constantes desconocidas (puesto que la función ϕ(x) no es
conocida).

De este modo, la solución de una ecuación integral con núcleo


degenerado se reduce a hallar las constantes ck k = (1,2, … , n)
Sustituyendo la expresión (3.1.5) en la ecuación integral (3.1.2) y después de
sencillas transformaciones, se obtiene
𝑛 𝑏 𝑛

∑ {𝑐𝑚 − ∫ 𝑏𝑚 (𝑡) [𝑓(𝑥) + 𝜆 ∑ 𝑐𝑘 𝑎𝑘 (𝑡)] 𝑑𝑡} 𝑎𝑚 (𝑥) = 0


𝑘=1 𝑎 𝑘=1
En virtud de la independencia lineal de las funciones 𝑐𝑚 𝑚 = (1,2, … , 𝑛);
de aquí se deduce que
𝑏 𝑛

𝑐𝑚 − ∫ 𝑏𝑚 (𝑡) [𝑓(𝑥) + 𝜆 ∑ 𝑐𝑘 𝑎𝑘 (𝑡)] 𝑑𝑡 = 0


𝑎 𝑘=1
O bien
𝑛 𝑏 𝑏
𝑐𝑚 − 𝜆 ∑ 𝑐𝑘 ∫ 𝑎𝑘 (𝑡)𝑏𝑚 (𝑡)𝑑𝑡 = ∫ 𝑏𝑚 (𝑡)𝑓(𝑡)𝑑𝑡 (𝑚 = 1,2, … , 𝑛)
𝑘=1 𝑎 𝑎
Introduciendo, para simplificar la escritura, las notaciones
𝑏 𝑏
𝑎𝑘𝑚 = ∫ 𝑎𝑘 (𝑡)𝑏𝑚 (𝑡)𝑑𝑡 , 𝑓𝑚 = ∫ 𝑏𝑚 (𝑡)𝑓(𝑡)𝑑𝑡
𝑎 𝑎
Así se obtiene el siguiente sistema
𝑛

𝑐𝑚 − 𝜆 ∑ 𝑎𝑘𝑚 𝑐𝑘 = 𝑓𝑚 (𝑚 = 1,2, … , 𝑛)
𝑘=1
O, en forma desarrollada:
(1 − 𝜆𝑎11 )𝑐1 − 𝜆𝑎12 𝑐2 − ⋯ − 𝜆𝑎1𝑛 𝑐𝑛 = 𝑓1
−𝜆𝑎21 𝑐1 + (1 − 𝜆𝑎22 )𝑐2 − ⋯ − 𝜆𝑎2𝑛 𝑐𝑛 = 𝑓2 (3.1.6)

−𝜆𝑎𝑛1 𝑐1 − 𝜆𝑎𝑛2 𝑐2 − ⋯ + (1 − 𝜆𝑎𝑛𝑛 )𝑐𝑛 = 𝑓𝑛
Para hallar las incógnitas𝑐𝑘 tenemos un sistema lineal de n ecuaciones algebraicas
con n incógnitas. El determinante de este sistema es igual a
1 − 𝜆𝑎11 −𝜆𝑎12 … −𝜆𝑎1𝑛
−𝜆𝑎21 1 − 𝜆𝑎22 … −𝜆𝑎2𝑛
Δ(𝜆) = | | (3.1.7)
⋮ ⋮ ⋱ ⋮
−𝜆𝑎𝑛1 −𝜆𝑎𝑛2 … 1 − 𝜆𝑎𝑛𝑛
Si Δ(𝜆) ≠ 0 el sistema (3.1.6) tiene solución única 𝑐1 , 𝑐2 , … 𝑐𝑛 que se obtienen por las
fórmulas de Crammer.
1 − 𝜆𝑎11 −𝜆𝑎1𝑘−1 … −𝜆𝑎1𝑛
1 −𝜆𝑎21 1 − 𝜆𝑎2𝑘−1 … −𝜆𝑎2𝑛
𝑐𝑘 = | | (3.1.8)
Δ(𝜆) ⋮ ⋮ ⋱ ⋮
−𝜆𝑎𝑛1 −𝜆𝑎𝑛𝑘−1 … 1 − 𝜆𝑎𝑛𝑛
La solución de la ecuación integral (3.1.2) será la función 𝜙(𝑥) determinada por la
igualdad
𝑛

𝜙(𝑥) = 𝑓(𝑥) + 𝜆 ∑ 𝑐𝑘 𝑎𝑘 (𝑥)


𝑘=1
Donde los coeficientes 𝑐𝑘 𝑘 = (1,2, … , 𝑛) se determinan por las fórmulas (3.1.8)

OBSERVACIÓN. El sistema (3.1.6) se puede obtener, si ambos miembros de la


igualdad (3.1.5) se multiplican sucesivamente por 𝑎1 (𝑥), 𝑎2 (𝑥), … , 𝑎𝑛 (𝑥) y se
integra desde a hasta b, o bien, si se sustituye la expresión (3.1.5) para ϕ(x) es
la igualdad (3.1.4) cambiando x por t.

Ejemplo. Resolver la ecuación integral


𝜋
𝜙(𝑥) − 𝜆 ∫ (𝑥𝑐𝑜𝑠𝑡 + 𝑡 2 𝑠𝑖𝑛 𝑥 + 𝑐𝑜𝑠𝑥 𝑠𝑖𝑛𝑡)𝜙(𝑡)𝑑𝑡 = 𝑥
−𝜋
Solución: Escribamos la ecuación en la siguiente forma:
𝜋 𝜋 𝜋
2
𝜙(𝑥) = 𝜆𝑥 ∫ 𝑐𝑜𝑠𝑡𝜙(𝑡)𝑑𝑡 + 𝜆𝑠𝑖𝑛 𝑥 ∫ 𝑡 𝜙(𝑡)𝑑𝑡 + 𝜆𝑐𝑜𝑠𝑥 ∫ 𝑠𝑖𝑛𝑡𝜙(𝑡)𝑑𝑡 + 𝑥
−𝜋 −𝜋 −𝜋

Introduzcamos las notaciones:


𝜋 𝜋 𝜋
𝑐1 = ∫ 𝑐𝑜𝑠𝑡𝜙(𝑡)𝑑𝑡 , 𝑐2 = ∫ 𝑡 2 𝜙(𝑡)𝑑𝑡 , 𝑐3 = ∫ 𝑠𝑖𝑛𝑡𝜙(𝑡)𝑑𝑡 (3.1.10)
−𝜋 −𝜋 −𝜋

Donde 𝑐1 , 𝑐2 , 𝑐3 son constantes desconocidas por determinar. Entonces la ecuación


(3.1.9) toma la forma
𝜙(𝑥) = 𝑐1 𝜆𝑥 + 𝑐2 𝜆𝑥 + 𝑐3 𝜆𝑥 + 𝑥 (3.1.11)
Sustituyendo la expresión (3.1.11) e las igualdades (3.1.10), se obtiene
𝜋
𝑐1 = ∫ (𝑐1 𝜆𝑡 + 𝑐2 𝜆𝑡 + 𝑐3 𝜆𝑡 + 𝑡)𝑐𝑜𝑠𝑡𝑑𝑡
−𝜋
𝜋
𝑐2 = ∫ (𝑐1 𝜆𝑡 + 𝑐2 𝜆𝑡 + 𝑐3 𝜆𝑡 + 𝑡)𝑡 2 𝑑𝑡
−𝜋
𝜋
𝑐3 = ∫ (𝑐1 𝜆𝑡 + 𝑐2 𝜆𝑡 + 𝑐3 𝜆𝑡 + 𝑡)𝑠𝑖𝑛𝑡𝑑𝑡
−𝜋
O bien
𝜋 𝜋 𝜋 𝜋
2
𝑐1 (1 − 𝜆 ∫ 𝑡𝑐𝑜𝑠𝑡𝑑𝑡 ) − 𝑐2 𝜆 ∫ 𝑠𝑖𝑛𝑡𝑐𝑜𝑠𝑡𝑑𝑡 − 𝑐3 𝜆 ∫ 𝑐𝑜𝑠 𝑡𝑑𝑡 = ∫ 𝑡𝑐𝑜𝑠𝑡𝑑𝑡
−𝜋 −𝜋 −𝜋 −𝜋
𝜋 𝜋 𝜋 𝜋
−𝑐1 𝜆 ∫ 𝑡 𝑑𝑡 + 𝑐2 (1 − 𝜆 ∫ 𝑡 2 𝑠𝑖𝑛𝑡𝑑𝑡 ) − 𝑐3 𝜆 ∫ 𝑡 2 𝑐𝑜𝑠𝑡𝑑𝑡 = ∫ 𝑡 3 𝑑𝑡
3
−𝜋 −𝜋 −𝜋 −𝜋
𝜋 𝜋 𝜋 𝜋
−𝑐1 𝜆 ∫ 𝑡𝑠𝑖𝑛𝑡𝑑𝑡 − 𝑐2 𝜆 ∫ 𝑠𝑖𝑛2 𝑡𝑑𝑡 + 𝑐3 (1 − 𝜆 ∫ 𝑠𝑖𝑛𝑡𝑐𝑜𝑠𝑡𝑑𝑡 ) = ∫ 𝑡𝑠𝑖𝑛𝑡𝑑𝑡
−𝜋 −𝜋 −𝜋 −𝜋

Calculando las integrales que figuran en estas ecuaciones, se obtiene el


sistema de ecuaciones algebraicas para hallar las incógnitas 𝑐1 , 𝑐2 , 𝑐3

𝑐1 − 𝑐3 𝜆𝜋 = 0
𝑐2 − 𝑐3 𝜆4𝜋 = 0 (3.1.12)
−2𝜋𝑐1 − 𝑐2 𝜆𝜋 + 𝑐3 = 2𝜋

El determinante del sistema es

1 0 −𝜋𝜆
Δ(𝜆) = | 0 1 4𝜋𝜆 | = 1 − (2𝜋 2 𝜆2 − 4𝜋 2 𝜆2 ) = 1 + 2𝜋 2 𝜆2 ≠ 0
−2𝜋𝜆 −𝑐2 𝜆𝜋 1

El sistema (3.1.12) tiene solución única; dada por

2𝜆𝜋 2 8𝜆𝜋 2 2𝜋
𝑐1 = 2 2
; 𝑐2 = 2 2
; 𝑐2 =
1 + 2𝜋 𝜆 1 + 2𝜋 𝜆 1 + 2𝜋 2 𝜆2

Sustituyendo los valores hallados 𝑐1 , 𝑐2 𝑦 𝑐3 en (3.1.1) se obtiene la solución de la


ecuación integral dada

2𝜆𝜋 2
𝜙(𝑥) = (𝜋𝜆𝑥 − 4𝜋𝜆𝑠𝑖𝑛𝑥 + 𝑐𝑜𝑠𝑥) + 𝑥
1 + 2𝜋𝜆2
3.2. Ecuación de Hammerstein
Muchos problemas de la física se reducen a ecuaciones integrales no lineales de
Hammerstein. La forma canónica de la ecuación de Hammerstein es:
𝑏
𝜙(𝑥) = ∫ 𝐾(𝑥, 𝑡)𝑓(𝑡, 𝜙(𝑡))𝑑𝑡 (3.2.1)
𝑎

Donde 𝐾(𝑥, 𝑡), 𝑓(𝑡, 𝑢) son funciones dadas; 𝜙(𝑥) es la función incógnita.
También las ecuaciones de la forma
𝑏
𝜙(𝑥) = ∫ 𝐾(𝑥, 𝑡)𝑓(𝑡, 𝜙(𝑡))𝑑𝑡 + 𝜓(𝑥) (3.2.1´)
𝑎

Donde 𝜓(𝑥) es una función conocida, pueden reducirse con facilidad a la


ecuación del tipo (3.2.1) de modo que la diferencia entre las ecuaciones
homogéneas y no homogéneas (de importancia en el caso lineal) en el caso no
lineal no tiene casi ningún valor. La función 𝐾(𝑥, 𝑡) la llamaremos como siempre
núcleo de la ecuación (3.2.1).

Sea 𝐾(𝑥, 𝑡) un núcleo degenerado, es decir

𝐾(𝑥, 𝑡) = ∑ 𝑎𝑖 (𝑡)𝑏𝑖 (𝑡) (3.2.2)


𝑘=1

En este caso, la ecuación (3.2.1) toma la forma

𝑚 𝑏
𝜙(𝑥) = ∑ 𝑎𝑖 (𝑥) ∫ 𝑏𝑖 (𝑡)𝑓(𝑡, 𝜙(𝑡))𝑑𝑡 (3.2.3)
𝑘=1 𝑎

Hagamos

𝑏
𝑐𝑖 = ∫ 𝑏𝑖 (𝑡)𝑓(𝑡, 𝜙(𝑡))𝑑𝑡 (𝑖 = 1,2, … , 𝑚) (3.2.4)
𝑎

Donde 𝑐𝑖 son constantes desconocidas por ahora. Entonces en virtud de (3.2.3)


tendremos
𝑚

𝜙(𝑥) = ∑ 𝑐𝑖 𝑎𝑖 (𝑥) (3.2.5)


𝑘=1

Sustituyendo en las ecuaciones (3.2.4) la expresión (3.2.5) para 𝜙(𝑥), se obtienen m


magnitudes desconocidas 𝑐1 , 𝑐2 , … , 𝑐𝑚 :

𝑐𝑖 = 𝜓𝑖 (𝑐1 , 𝑐2 , … , 𝑐𝑚 ) (𝑖 = 1,2, … , 𝑚) (3.2.6)

En el caso en que 𝑓(𝑡, 𝑢) sea un polinomio con respecto a u, es decir


𝑓(𝑡, 𝑢) = 𝑝0 (𝑡) + 𝑝1 (𝑡)𝑢 + ⋯ + 𝑝𝑛 (𝑡)𝑢𝑛 (3.2.7)

Donde 𝑝0 (𝑡), 𝑝1 (𝑡), … , 𝑝𝑛 (𝑡) son, por ejemplo, funciones continuas de en el


segmento [a, b], el sistema (3.2.6) se transforma en un sistema de ecuaciones
algebraicas con respecto a 𝑐1 , 𝑐2 , … , 𝑐𝑚 . Si existe una solución del sistema (3.2.6)
es decir, si existen números𝑐1 0 , 𝑐2 0 , … , 𝑐𝑚 0 , tales que, al ser sustituidos en el
sistema (3.2.6), reducen sus ecuaciones a identidades, entonces existe una
solución de la ecuación integral (3.2.3) que se determina por la igualdad (3.2.5):
𝑚

𝜙(𝑥) = ∑ 𝑐𝑖0 𝑎𝑖 (𝑥)


𝑘=1

Es evidente que el número de soluciones (en general, complejas) de la ecuación


integral (3.2.3) es igual al número de soluciones del sistema.

EJEMPLO. Resolver la ecuación integral


1
𝜙(𝑥) = 𝜆 ∫ 𝑥𝑡𝜙 2 (𝑡)𝑑𝑡 (𝜆 𝑒𝑠 𝑢𝑛 𝑝𝑎𝑟𝑎𝑚𝑒𝑡𝑟𝑜) (3.2.8)
0
Solución: Hagamos

1
𝑐 = ∫ 𝑡𝜙 2 (𝑡)𝑑𝑡 (3.2.9)
0
Entonces

𝜙(𝑥) = 𝑐𝜆𝑥 (3.2.10)

Sustituyendo 𝜙(𝑥) por el segundo miembro de (3.2.10) en la relación (3.2.9), se


tendrá
1
𝑐 = ∫ 𝑡𝜆2 𝑐 2 𝑡 2 𝑑𝑡
0
de donde

𝜆2 2
𝑐= 𝑐 (3.2.11)
4

La ecuación (3.2.11) tiene dos soluciones:

4
𝑐1 = 0, 𝑐2 =
𝜆2

Por lo tanto, la ecuación integral (3.2.8) tiene también dos soluciones para
cualquier 𝜆 ≠ 0

4
𝜙1 (𝑥) = 0, 𝜙1 (𝑥) = 𝑥
𝜆2

Existen ecuaciones integrales no lineales simples que no tienen
soluciones reales.
Veamos por ejemplo, la ecuación

1
1
𝜙1 ( 𝑥 ) = ∫ 𝑒(𝑥+𝑡)⁄2 (1 + 𝜙2 (𝑡))𝑑𝑡 (3.2.12)
2 0

Hagamos

1 1
𝑐 = ∫ 𝑒 𝑡⁄2 (1 + 𝜙 2 𝑡)𝑑𝑡 (3.2.13)
2 0

Entonces

𝜙(𝑥) = 𝑐𝑒 (3.2.14)

Para determinar la constante c se obtienen las ecuaciones


1 1 𝑡⁄2
𝑐 = ∫ 𝑒 (1 + 𝑐 2 𝑒 2 )𝑑𝑡
2 0 (3.2.15)
3⁄2 2 1⁄2
(𝑐 − 1)𝑐 − 3𝑐 + (𝑒 − 1) = 0

No es difícil comprobar que la ecuación (3.2.15) no tiene raíces reales y que, por
lo tanto, la ecuación integral (3.2.12) no tiene soluciones reales.

Por otro lado, consideremos la ecuación

1
𝜙(𝑡)
𝜙(𝑥) = ∫ 𝑎(𝑥)𝑎(𝑡)𝜙(𝑡)sin( )𝑑𝑡 (3.2.16)
0 𝜙(𝑡)
(𝑎(𝑡) > 0 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑡 ∈ [0,1])

Para la determinación de la constante c se obtiene la ecuación

1
1 = ∫ 𝑎2 (𝑡)𝑑𝑡 sin 𝑐 (3.2.17)
0

1
Si ∫0 𝑎2 (𝑡)𝑑𝑡 > 1, entonces la ecuación (3.2.17) y, porconsiguiente, también
la ecuación integral inicial (3.2.16), tiene un número infinito de soluciones reales.

3.3. Raíces características y funciones propias.

La ecuación integral homogénea de Fredholm de segunda especie


𝑏
𝜙(𝑥) − 𝜆 ∫ 𝐾(𝑥, 𝑡)𝜙(𝑡)𝑑𝑡 = 0
𝑎
Tiene siempre la solución trivial ϕ(x) ≡ 0 que se llama solución nula.

Los valores del parámetro 𝜆 para los cuales esta ecuación tiene soluciones
no nulas 𝜙(𝑥) ≡ 0, se llaman raíces características de la ecuación (3.3.1), o del
núcleo K(x,t), y cada solución no nula de esta ecuación se llama función propia,
correspondiente a la raíz característica 𝜆.
El número 𝜆 = 0 no es raíz característica, puesto que para 𝜆 = 0 se sigue que
ϕ(x) ≡ 0.
𝑥.𝑡
Si el núcleo K(x,t) es continuo en la región Ω = { 𝑎 ≤ 𝑥, 𝑡 ≤ 𝑏} o de cuadrado
sumable en Ω, y además los números a y b, son finitos, entonces a cada raíz
característica 𝜆 le corresponde un número finito de funciones propias
linealmente independientes; el número de estas funciones se denomina rango
de la raíz característica. Distintas raíces características pueden tener diferente
rango.

Para las ecuaciones con núcleos degenerado o separable


𝑛
𝑏
𝜙(𝑥) − 𝜆 ∫ [∑ 𝑎𝑘 (𝑥)𝑏𝑘 (𝑡)] 𝜙(𝑡)𝑑𝑡 = 0 (3.3.2)
𝑎 𝑘=1

Las raíces características son las raíces de la ecuación algebraica


1 − 𝜆𝑎11 −𝜆𝑎12 … −𝜆𝑎1𝑛
−𝜆𝑎21 1 − 𝜆𝑎22 … −𝜆𝑎2𝑛
Δ(𝜆) = | |=0 (3.3.3)
⋮ ⋮ ⋱ ⋮
−𝜆𝑎𝑛1 −𝜆𝑎𝑛2 … 1 − 𝜆𝑎𝑛𝑛
Cuya potencia es p≤n. Aquí el determinante del sistema lineal es homogéneo

(1 − 𝜆𝑎11 )𝑐1 − 𝜆𝑎12 𝑐2 − ⋯ − 𝜆𝑎1𝑛 𝑐𝑛 = 0


−𝜆𝑎21 𝑐1 + (1 − 𝜆𝑎22 )𝑐2 − ⋯ − 𝜆𝑎2𝑛 𝑐𝑛 = 0

−𝜆𝑎𝑛1 𝑐1 − 𝜆𝑎𝑛2 𝑐2 − ⋯ + (1 − 𝜆𝑎𝑛𝑛 )𝑐𝑛 = 0

Donde las magnitudes 𝑎𝑚𝑘 y 𝑐𝑚 (𝑘, 𝑚 = 1,2, … , 𝑛) tienen el mismo sentido


que en el parágrafo precedente.

Si la ecuación (3.3.3) tiene p raíces (1≤p≤n), la ecuación integral (3.3.2) posee p


raíces características; a cada raíz característica 𝜆𝑚 (𝑚 = 1,2, … , 𝑝) le corresponde
una solución no nula.
(1) (1) (1)
𝑐1 𝑐2 … 𝑐𝑛 → 𝜆1
(2) (2) (2)
𝑐1 𝑐2 … 𝑐𝑛 → 𝜆2
⋮ ⋮ ⋱ ⋮ ⋮
(𝑝) (𝑝) (𝑝)
𝑐1 𝑐2 … 𝑐𝑛 → 𝜆𝑝
Del sistema (3.3.4). Las soluciones no nulas de la ecuación integral (3.3.2)
correspondientes a estas soluciones, es decir, las funciones propias, tendrían la
forma
𝑛 𝑛 𝑛
(1) (2) (𝑝)
𝜙1 (𝑥) = ∑ 𝑐𝑘 𝑎𝑘 (𝑥) , 𝜙2 (𝑥) = ∑ 𝑐𝑘 𝑎𝑘 (𝑥) , 𝜙𝑝 (𝑥) = ∑ 𝑐𝑘 𝑎𝑘 (𝑥)
𝑘=1 𝑘=1 𝑘=1

La ecuación integral con núcleo degenerado tiene a lo más raíces n


características y funciones propias correspondientes a estas.

En el caso de un núcleo arbitrario (no degenerado o inseparable), las raíces


características son ceros del determinante de Fredholm 𝐷(𝜆), es decir,
polos de la resolvente R(x, t, λ). De aquí se deduce, en particular que la
ecuación de Volterra.
𝑏
𝜙(𝑥) − 𝜆 ∫ 𝐾(𝑥, 𝑡)𝑡𝜙(𝑡)𝑑𝑡 = 0
𝑎

Donde 𝐾(𝑥, 𝑡)𝜖𝐿2(Ω) no tiene raíces características (para esta 𝐷(𝜆) = 𝑒 −𝐴1 𝜆 ,
𝑥
siendo 𝐴1 = ∫0 𝐾(𝑥, 𝑡)𝑑𝑡)

OBSERVACIÓN. Las funciones propias se determinan salvo un factor


constante es decir, si 𝜙(𝑥) es una función propia que corresponde a cierta raíz
característica 𝜆, entonces 𝑐𝜙(𝑥), donde c es una constante arbitraria, será
también una función propia correspondiente a la misma raíz característica 𝜆.

EJEMPLO. Hallar las raíces características y las funciones propias de la ecuación


integral
𝜋
𝜙(𝑥) − 𝜆 ∫ (𝑐𝑜𝑠 2 𝑥 𝑐𝑜𝑠 2𝑡 + cos 3𝑥 cos 2 𝑡)𝜙(𝑡)𝑑𝑡 = 0 3.3.5
0
Solución: Se tiene
𝜋 𝜋
𝜙(𝑥) = 𝜆𝑐𝑜𝑠 2 𝑥 ∫ 𝑐𝑜𝑠 2𝑡𝜙(𝑡)𝑑𝑡 + 𝜆 cos 3𝑥 ∫ cos 3 𝑡 𝜙(𝑡)𝑑𝑡
0 0
Introduciendo las notaciones
𝜋 𝜋
𝑐1 = ∫ 𝜙(𝑡)𝑐𝑜𝑠 2𝑡𝑑𝑡 , 𝑐2 = ∫ 𝜙(𝑡)cos 3 𝑡 𝑑𝑡 3.3.6
0 0

Tenemos
𝜙(𝑥) = 𝑐1 𝜆𝑐𝑜𝑠 2 𝑥 + 𝑐2 𝜆 cos 3𝑥
Sustituyendo (3.3.6) en (3.3.5) se obtiene un sistema lineal de ecuaciones
homogéneas:
𝜋 𝜋
𝑐1 (1 − 𝜆 ∫ 𝑐𝑜𝑠 2 𝑡 𝑐𝑜𝑠 2𝑡𝑑𝑡 ) − 𝑐2 𝜆 ∫ cos 3𝑡 cos 2 𝑡 𝑑𝑡 =0
0 0
𝜋 𝜋 3.3.7
−𝑐1 𝜆 ∫ 𝑐𝑜𝑠 5 𝑡 𝑑𝑡 + 𝑐2 (1 − 𝜆 ∫ 𝑐𝑜𝑠 3 𝑡 𝑐𝑜𝑠 3𝑡 𝑑𝑡) =0
0 0

La ecuación para hallar las raíces características será


𝜆𝜋
1− =0
4 3.3.8
𝜆𝜋
1− =0
8
4 8
Las raíces características son 𝜆1 = 𝜋 , 𝜆2 = 𝜋

4
Para 𝜆1 = 𝜋 el sistema (3.3.8) toma la forma
0 𝑐1 = 0
1
𝑐 =0
2 2
De donde 𝑐2 = 0, 𝑐1 es constante arbitraria. La función propia será
𝜙1 (𝑥) = 𝑐1 𝜆𝑐𝑜𝑠 2 𝑥 o bien, haciendo 𝑐1 𝜆 = 1 se obtiene 𝜙1 (𝑥) = 𝑐𝑜𝑠 2 𝑥

8
Para 𝜆2 = 𝜋 el sistema (3.3.8) toma la forma
(−1) 𝑐1 = 0
0𝑐2 = 0

De donde 𝑐1 = 0, 𝑐2 es arbitraria y, por consiguiente, la función propia será


𝜙2 (𝑥) = 𝜆𝑐2 𝑐𝑜𝑠 3𝑥, o bien haciendo 𝑐2 𝜆 = 1 se obtiene 𝜙2 (𝑥) = 𝑐𝑜𝑠 3𝑥

De este modo, las raíces características son:


4 8
𝜆1 = , 𝜆2 =
𝜋 𝜋
Las funciones propias correspondientes a estas son: 𝜙1 (𝑥) =
2
𝑐𝑜𝑠 𝑥, 𝜙2 (𝑥) = 𝑐𝑜𝑠 3𝑥

Si el n-ésimo núcleo iterado Kn(x,t)del núcleo K(x,t) es simétrico,


entonces se puede afirmar que K(x,t) tiene por lo menos una raíz
característica (real o compleja), y que las potencias n-ésimas de todas las raíces
características son números reales. En particular, para un núcleo anti simétrico
K(x,t)=-K(t,x) todas las raíces características son imaginarias puras: 𝜆 = 𝛽𝑖 donde
𝛽𝜖ℝ.
El núcleo K(x, t) de una ecuación integral se llama simétrica, si se cumple la
condición K(x, t)=K(t,x) 𝑎 ≤ 𝑥, 𝑡 ≤ 𝑏.
Para la ecuación integral de Fredholm
𝑏
𝜙(𝑥) − 𝜆 ∫ 𝐾(𝑥, 𝑡)𝜙(𝑡)𝑑𝑡 = 0
𝑎

Con núcleo simétrico K(x,t) tienen lugar los teoremas siguientes que son
análogos del análisis espectral:

𝑏,
TEOREMA 1. La ecuación 𝜙(𝑥) − 𝜆 ∫𝑎 𝐾(𝑥, 𝑡)𝜙(𝑡)𝑑𝑡 = 0 tiene por lo menos una
raíz característica real.
TEOREMA 2. A cada raíz característica λle corresponde un número finito de
funciones linealmente independiente de la ecuación ϕ(x) −
b
λ ∫a K(x, t)tϕ(t)dt = 0

sup 𝑞 ≤ 𝜆2 𝐵2
Donde
𝑏 𝑏
𝐵 2 = ∫ ∫ 𝐾 2 (𝑥, 𝑡)𝑑𝑥𝑑𝑡
𝑎 𝑎
El número q se llama rango o multiplicidad de la raíz característica.

TEOREMA 3. Cada par de funciones propias 𝜙1 (𝑥), 𝜙2 (𝑥) que corresponde a


raíces características diferentes 𝜆1 ≠ 𝜆2 son ortogonales, es decir,
𝑏
∫𝑎 𝜙1 (𝑥)𝜙2 (𝑥)𝑑𝑥 = 0

TEOREMA 4. En cada intervalo finito del eje λ hay un número finito de raíces
características. La cota superior para el número m de raíces características
situadas en el intervalo −𝑙 < 𝜆 < 𝑙 se determina por la desigualdad
𝑚 < 𝑙2𝐵2
En el caso en donde el núcleo K(x,t) de la ecuación (3.3.13)sea la función de
Green de cierto problema homogéneo de Sturm-Lioville, la determinación de las
raíces características y las funciones propias se reducen a la solución de dicho
problema.

EJEMPLO.Hallar las raíces características y las funciones propias de la ecuación


homogénea
𝜋
𝜙(𝑥) − 𝜆 ∫ 𝐾(𝑥, 𝑡)𝜙(𝑡)𝑑𝑡 = 0
0
Donde
𝑐𝑜𝑠𝑥𝑠𝑖𝑛𝑡, 0 ≤ 𝑥 ≤ 𝑡
𝐾(𝑥, 𝑡) = {
𝑐𝑜𝑠𝑡𝑠𝑖𝑛𝑥, 𝑡 ≤ 𝑥 ≤ 𝜋

Solución. Escribamos la ecuación dada en la forma


𝑥 𝜋
𝜙(𝑥) = 𝜆 ∫ 𝐾(𝑥, 𝑡)𝜙(𝑡)𝑑𝑡 + 𝜆 ∫ 𝐾(𝑥, 𝑡)𝜙(𝑡)𝑑𝑡
0 0
o bien
𝑥 𝜋
𝜙(𝑥) = 𝜆𝑠𝑖𝑛𝑥 ∫ 𝜙(𝑡)𝑐𝑜𝑠𝑡𝑑𝑡 + 𝜆𝑐𝑜𝑠𝑥 ∫ 𝜙(𝑡)𝑠𝑖𝑛𝑡𝑑𝑡 3.3.14
0 𝑥

con el fin de obtener el problema de Sturm-Liouville derivamos ambos miembros


de (3.3.14) se halla
𝑥 𝜋
′ (𝑥)
𝜙 = 𝜆𝑐𝑜𝑠𝑥 ∫ 𝜙(𝑡)𝑐𝑜𝑠𝑡𝑑𝑡 − 𝜆𝑠𝑖𝑛𝑥 ∫ 𝜙(𝑡)𝑠𝑖𝑛𝑡𝑑𝑡 3.3.15
0 𝑥
Derivando una vez más, se obtiene
𝑥 𝜋
𝜙 ′′ (𝑥) = −𝜆𝑠𝑖𝑛𝑥 ∫ 𝜙(𝑡)𝑐𝑜𝑠𝑡𝑑𝑡 + 𝜆𝑐𝑜𝑠 2 𝑥𝜙(𝑡) − 𝜆𝑐𝑜𝑠𝑥 ∫ 𝜙(𝑡)𝑠𝑖𝑛𝑡𝑑𝑡 + 𝜆𝑠𝑖𝑛2 𝑡𝜙(𝑡)
0 𝑥
𝑥 𝜋
= 𝜆𝜙(𝑥) − [𝜆𝑠𝑖𝑛𝑥 ∫ 𝜙(𝑡)𝑐𝑜𝑠𝑡𝑑𝑡 + 𝜆𝑐𝑜𝑠𝑥 ∫ 𝜙(𝑡)𝑠𝑖𝑛𝑡𝑑𝑡]
0 𝑥
La expresión entre corchetes es igual a 𝜙(𝑥), de forma que
𝜙 ′′ (𝑥) = 𝜆𝜙(𝑥) − 𝜙(𝑥)
De este modo la ecuación integral dada se reduce al siguiente problema de
frontera:
𝜙 ′′ (𝑥) − (𝜆 − 1)𝜙(𝑥) = 0 3.3.16
′ (𝜋)
𝜙(𝜋) = 0 𝜙 =0 3.3.17
Aquí son posibles los tres casos siguientes:
(1) 𝜆−1=0
La ecuación (3.3.16) toma la forma 𝜙 ′′ (𝑥) = 0 su solución general será 𝜙(𝑥) =
𝑐1 𝑥 + 𝑐2 Usando las condiciones de frontera para determinar las constantes
𝑐1 𝑦 𝑐2 obtenemos el sistema
𝑐1 𝜋 + 𝑐2 = 0
𝑐1 = 0

el cual tiene la única solución 𝑐1 = 0, 𝑐2 = 0 y por consiguiente la ecuación


integral tiene sólo la solución trivial 𝜙(𝑥) = 0

(2) 𝜆 − 1 > 0
La solución general de la ecuación (3.3.16) tiene la forma

𝜙(𝑥) = 𝑐1 𝑐𝑜𝑠ℎ√𝜆 − 1𝑥 + 𝑐2 𝑠𝑖𝑛ℎ√𝜆 − 1𝑥

Para determinar los valores de c1 y c2 las condiciones de frontera dan el sistema

𝑐1 𝑐𝑜𝑠ℎ√𝜆 − 1 + 𝑐2 𝑠𝑖𝑛ℎ√𝜆 − 1 = 0
𝑐2 = 0
Éste tiene la solución única 𝑐1 = 0, 𝑐2 = 0.La ecuación integral tiene la
solución trivial 𝜙(𝑥) = 0 De este modo, para 𝜆 − 1 la ecuación integral no
posee raíces características y, por lo tanto, tampoco tiene funciones propias.

(3) 𝜆−1<0
La solución general de la ecuación (3.3.16) será

𝜙(𝑥) = 𝑐1 𝑐𝑜𝑠√1 − 𝜆𝑥 + 𝑐2 𝑠𝑖𝑛√1 − 𝜆𝑥

De aquí hallamos que


𝜙′(𝑥) = √1 − 𝜆(−𝑐1 𝑠𝑖𝑛√1 − 𝜆𝑥 + 𝑐2 𝑐𝑜𝑠√1 − 𝜆𝑥)
En este caso, para la determinación de c1 y c2 las condiciones de
Fronteras (3.3.17) dan el sistema

𝑐1 𝑐𝑜𝑠𝜋√1 − 𝜆 + 𝑐2 𝑠𝑖𝑛𝜋√1 − 𝜆 = 0
3.3.18
√1 − 𝜆𝑐2 = 0

El determinante de este sistema es

Δ(𝜆) = |𝑐𝑜𝑠𝜋√1 − 𝜆 𝑠𝑖𝑛𝜋√1 − 𝜆|


0 √1 − 𝜆

Igualando a cero, obtenemos la ecuación para la determinación de las raíces


características

|𝑐𝑜𝑠𝜋√𝜆 − 1 𝑠𝑖𝑛𝜋√𝜆 − 1| = 0 3.3.19


0 √𝜆 − 1

O sea √𝜆 − 1𝑐𝑜𝑠𝜋√𝜆 − 1 = 0. Por hipótesis √𝜆 − 1 ≠ 0, por lo tanto


𝜋
𝑐𝑜𝑠𝜋√𝜆 − 1 = 0. De aquí se halla que 𝜋√𝜆 − 1 = 2 + 𝜋𝑛, donde 𝑛 ∈ ℝ. Todas
las raíces de la ecuación (3.3.19) vienen dadas por la fórmula
1
𝜆𝑛 = 1 − (𝑛 + )2
2
Para valores de 𝜆 = 𝜆𝑛 el sistema (3.3.18) toma la forma

c1 . 0 + c2 (−1)𝑛
c2 = 0

Éste tiene un conjunto infinito de soluciones no nulas

c1 = 𝑐, c2 = 0

Donde c es una constante arbitraria. Esto significa que también la


ecuación integral original tiene un conjunto infinito de soluciones de la forma

1
𝜙(𝑥) = 𝑐 cos(𝑛 + )𝑥
2

Las cuales son funciones propias de dicha ecuación.

De este modo, las raíces características y las funciones propias de la ecuación


dada, serán

1 2 1
𝜆𝑛 = 1 − (𝑛 + ) , 𝜙(𝑥) = cos(𝑛 + )𝑥
2 2
Donde n es un entero cualquiera.

Вам также может понравиться