Funciones denidas por integrales (Integrales dependientes de un par ametro)

Funciones de dos argumentos y jaci on de un argumento. Sea f : C una funci on de dos argumentos. Para cada elemento x jo en podemos considerar la funci on fx : C, f : C, fx () := f (x, ). f (x) = f (x, ). Para cada elemento jo en podemos considerar la funci on Funciones denidas por integrales. Sean un subconjunto medible de Rn , un espacio m etrico, f : C una funci on. Suponemos que para cada la funci on f es integrable, i.e. existe la integral f (x, )dx.

El valor de esta integral depende de . Denimos la funci on : F por: () :=

f (x, )dx.

Objetivos. Nuestro primer objetivo es encontrar condiciones sucientes para que sea una funci on continua. Despu es vamos establecer las condiciones sucientes para que sea una funci on derivable, y probamos la f ormula para su derivada (la regla de Leibniz).

Herramientas principales
Recordemos unos teoremas importantes que ser an nuestras herramientas principales en este tema. Teorema de convergencia dominada (de Lebesgue). Sea un subconjunto medible de Rn , {fn } una sucesi on de funciones medibles C, g : C una funci on medible, 1 fn (x) g (x) para casi todos x . Sup ongase que existe h L (, R) tal que |fn (x)| h(x) para casi todos x . Entonces
n

l m

fn =

g.

Criterio de continuidad en t erminos de sucesiones (teorema de Heine). Sean X, Y espacios m etricos, f : X Y una aplicaci on, x0 X . Entonces las siguientes condiciones son equivalentes: (a) f es continua en el punto x0 . (b) para cada sucesi on {xn } X convergente al punto x0 se cumple f (xn ) f (x0 ). p agina 1 de 3

Continuidad de una funci on denida por integral

1. Teorema (continuidad de una funci on denida por integral). Sean un subn conjunto medible de R , un espacio m etrico, 0 , f : C una funci on que cumple las siguientes condiciones: la funci on f L1 (, C), i.e. existe la integral

f (x, ).

para casi todos x , la funci on fx es continua en el punto 0 . existe una funci on g L1 (, R+ ) tal que |f (x, )| g (x) para todos y casi todos x . Entonces la funci on : C, denida por () :=

f (x, )dx,

(1)

es continua en el punto 0 . 2. Corolario. Sean un espacio m etrico compacto, K un subconjunto compacto de Rn y f : K C una funci on continua en K . Entonces la funci on : C denida por (1) es continua en . 3. Tarea. Generalizar el corolario al caso cuando es un espacio m etrico arbitrario, no necesariamente compacto. Indicaci on: demostrar y usar la siguiente armaci on. Sean X un espacio m etrico compacto, Y un espacio m etrico, f : X Y C una funci on continua. Entonces y0 Y > 0 V Uy0 x X y V |f (x, y ) f (x, y0 )| < .

4. Ejemplo (potencial creado en el punto a por la carga de densidad distribuida sobre K ). Sean K un compacto de R3 y una funci on real, medible y acotada 3 en K . Entonces la funci on U : R R, denida por U (a) :=
K

(x)dx , |x a|

es continua en R3 \ K . Indicaci on: mostrar que para todo > 0 la funci on U es continua en S := {x R3 : dist(a, K ) }, donde dist(a, K ) := nf {|a b| : b K }. : R C, 5. Ejemplo (transformada de Fourier). Sea f L1 (R, C). La funci on f denida por
+

(u) := f

eixu f (x)dx,

es continua en R. se llama la transformada de Fourier de f . Demostrar que f p agina 2 de 3

6. Ejemplo (funci on ). La funci on de Euler, denida por

+

(x) :=
0

et tx1 dt

x > 0,

es continua en (0, +). Indicaci on: mostrar que para todo x [a, b], donde 0 < < < +, y todo t [0, +) se cumple la cota |f (x, t)| g (t), donde g (t) := et ta1 , 0 < t 1; et tb1 , t > 1.

p agina 3 de 3