-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathBiber1.tex
3008 lines (2795 loc) · 209 KB
/
Biber1.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\pagenumbering{arabic}
\chapter{Funciones definidas por integrales. Integrales impropias en \R}
\setcounter{page}{677}
\renewcommand{\theenumi}{\roman{enumi}}
%\begin{enumerate}[label = \uline{\arabic*.}]
%1
%{\setlength\itemindent{30pt}
\subsection{Funciones definidas por integrales}
\textbf{Proposición 1.} (Continuidad de una función definida por una integral.) \\
Sea $\Lambda$ un espacio métrico y sea $f$ una aplicación \Rn $\times$ $\Lambda \rightarrow$ \F . Se supone:
\begin{enumerate}[i)]
\item $\forall$ $\in$ $\Lambda$ la función $f^{\lambda}:x$ $\rightarrow$ $f(x,\lambda)$ es integrable en \Rn .
Su integral designará por:
\begin{equation*}
\boxed{\Phi (\lambda) =: \int_{\Rn}f(x,\lambda)dx}
\end{equation*}
Desde luego $\Phi$ así definida es una aplicación $\Lambda$ $\rightarrow$ \F .
\item La función $f_x: \lambda \rightarrow$ $f(x,\lambda)$ es continua en cierto punto $\mu \in$ $\Lambda$ para casi todo $x$ $\in$ \Rn .
\item Existe $g$ $\in$ $\mathcal{L}_1(\Rn,\R)$ tal que $||f(x,\lambda)||$ $ \leq$ $g(x)$ para casi todo $x$ $\in$ \Rn \phantom{} y $\forall$ $\lambda$ $\in$ $\Lambda$.
Entonces, la función $\Phi$ es continua en $\mu$. \\
\underline{Demostración.}
Sea $\lbrace \lambda_k \rbrace_{k \in \N}$ una sucesión de puntos de $\Lambda$ tal que $
\lim_{k \to +\infty}(\lambda_k)=\mu$. \\
Debemos probar que $\lim_{k \to +\infty}\Phi (\lambda_k)=\Phi(\mu)$. \\
Por la condición $\mathrm{II}$: $\lim_{k \to +\infty}f^{\lambda_k}(x)=f^\mu (x)=f(x,\mu)$ para casi todo $x$ $\in$ \Rn . \\
La condición $\mathrm{III}$ dice: $||f^{\lambda_k}(x)||\leq g(x)$ para casi todo $x$ $\in$ \Rn y $\forall$ $k$ $\in$ \N .
Así pues, por el teorema de Lebesgue:
\begin{equation*}
\lim_{k \to +\infty}\Phi (\lambda_k)=\lim_{k \to +\infty}\int_{\Rn}f^{\lambda_k}=\int_{\Rn}f^\mu=\int_{\Rn}f(x,\mu)dx=\Phi (\mu) .
\end{equation*}
\end{enumerate}
\textbf{Corolario}
Sea $\Lambda$ un espacio métrico compacto y sea \K \phantom{} un subconjunto compacto de \Rn. Si la función $f:$ $K$ $\times$ $\rightarrow$ \F \phantom{} es continua en $K$ $\times$ $\Lambda$, la función $\Phi:$ $\Lambda$ $\rightarrow$ \F \phantom{} definida por:
\begin{equation*}
\boxed{\Phi (\lambda)=\int_K f(x,\lambda)dx}
\end{equation*}
es continua en $\Lambda$.\\
\underline{Demostración}\\
Definimos $f:\Rn \times \Lambda \rightarrow \F$ por la fórmula:
\begin{equation*}
\widehat{f}(x,\lambda)= \left\{ \begin{array}{lcc}
f(x,\lambda) & si & x \in K \\
\\ 0 & si & x \in \Rn - K \\
\end{array}
\right.
\end{equation*}
\begin{enumerate}[i)]
\item $\forall$ la función $x \rightarrow$ $f(x,\lambda)$ es continua, luego integrable sobre $K$ (o sea $\Phi$ está bien definida). Esto equivale a decir que la función $f^\lambda:x$ $\rightarrow$ $\widehat{f}(x,\lambda)$ es integrable en \Rn $\forall$ $\lambda$ $\in$ $\Lambda$
\item La función $\widehat{f}_x:\lambda$ $\rightarrow$ $\widehat{f}(x,\lambda)$ es continua en $\Lambda$ $\forall$ $x \in$ \Rn .
\item Puesto que $K$ $\times$ $\Lambda$ es un espacio métrico compacto, $\exists$ $M>0$ tal que $ ||f(x,\lambda)|| \leq M$ $\forall$ $(x,\lambda) \in$ $K$ $\times \Lambda$. Luego se verifica:
\begin{equation*}
||\widehat{f}(x,\lambda)|| \leq Mx_A (x) \forall x \in \Rn , \forall \lambda \in K
\end{equation*}
Pero $Mx_A$ es una función integrable \Rn \flecha \R . \\
Por la proposición precedente aplicada a $\widehat{f}$, la función \lam \flecha $\int_\Rn f(x,\lam)dx$ es continua en \Lam . Pero esta función no es otra que $\Phi$, c. q. d.
\end{enumerate}
\underline{Ejemplos.}
En los ejemplos a continuación se podrá aprender algunos recursos para determinar en la practica la función mayorante $g$ de la prop. 1.
\begin{enumerate}[1)]
\item Volvamos al ejemplo 2) del fin del cap. V. Sea $K$ un compacto de $\mathbb{R}^3$ y $\mu$ una función real, medible y acotada en $K$. \\
Sea $||$ $||$ la norma euclidiana en $\mathbb{R}^3$. Sabemos que \todo \phantom{}$a$ \en $\mathbb{R}^3$ está definida la función:
$$ U(a)=\int_K \frac{\mu (x)dx}{|| x-a ||}$$ (el potencial creado en el punto $a$ por la carga de densidad $\mu$ distribuida sobre $K$).\\
Sea $M=:Sup$ $| \mu (x)|$. Sea $\delta>0$ y sea $S_\delta=\lbrace a|d(a,K)>\delta \rbrace$.\\
Aquí $d$ es la distancia euclidiana en \Rtres . \\
Nos restringimos al caso $a$ \en $S_\delta$ y definimos $\widehat{f}:\Rtres \times$ $S_\delta$ \flecha \R \phantom{} por
\begin{equation*}
\widehat{f}(x,a)= \left\{ \begin{array}{lcc}
\frac{\mu (x)}{||x-a||} & si & x \en K \\
\\ 0 & si & x \in \Rtres - K \\
\end{array}
\right.
\end{equation*}
Entonces $U(a)=\int_{\Rtres} \widehat{f}(x,a)dx$.\\
\todo $x$ \en \Rtres la función $a$ \flecha $\widehat{f}(x,a)$ es continua en $S_\delta$. \\
También \todo $x$ \en $S_\delta :$ $|\widehat{f}(x,a)|\leq \frac{M}{\delta}x_K (x)$, donde el segundo miembro es una función integrable en \Rtres, independiente de $a$. \\
Por la prop. 1 . $U$ es continua en $S_\delta$. Sea ahora $a$ \en \Rtres $-K$ arbitrariamente fijado. Para $\delta<d(a,K)$ se tendrá $a \en$ $S_\delta$.\\
Puesto que $S_\delta$ es abierto y que $U$ es continua en $S_\delta$, $U$ es continua en $a$. Así pues $U$ es continua en $\Rtres - K$. \\
De hecho, se puede demostrar que $U$ es continua \Rtres \phantom{} entero, pero la prop. 1 ya no es suficiente para ello. Véase el ejercicio.
\item Sea $f$ \en $\mathcal{L}_1(\R,\F)$. \\
\todo \phantom{} $x$ \en \R \phantom{} la función $t$ \flecha $e^{-ixt}$ es medible y satisface (1) $||e^{-ixt} f(t)||=||f(t)||$. Luego dicha función es integrable en \R. Pongamos:
\begin{equation*}
\widehat{f}(x)=:\int_{-\infty}^{+\infty} e^{-ixt} f(t)dt, \todo \phantom{} x \in \R
\end{equation*}
\todo \phantom{} $t$ \en \R \phantom{} la función $x$ \flecha $e^{-ixt}f(t)$ es continua en \R y la relación (1) muestra que se puede aplicar la prop. 1. Así, pues $\widehat{f}$ es continua en \R .
\item Consideremos la función $\Gamma$ de Euler:
\begin{equation*}
\Gamma (x)=\int_0^{+\infty}e^{-t}t^{x-1}dt, \todo x>0.
\end{equation*}
\todo \phantom{} $t$ \en $[0,+\infty[$ la función $x$ \flecha $e^{-ixt}t{x-1}$ es continua en $]0,+\infty[$.\\
Sean a,b números tales que $0<a<b$. Restrinjamos $x$ al intervalo $]a,b[$. Sea \todo \en $]0,+\infty[$:
\begin{equation*}
g(t)= \left\{ \begin{array}{lcc}
e^{-t}t^{a-1} & si & 0 \leq t \leq 1 \\
\\ e^{-t}t^{b-1} & si & t >1 \\
\end{array}
\right.
\end{equation*}
$g$ es integrable en $]0,+\infty[$ y se tiene\\
$$e^{-t}t{x-1} \leq g(t, \phantom{} \todo t \phantom{} \en [0,+\infty[, \phantom{} \todo x \en ]a,b[$$
Luego $\Gamma$ es continua en $]a,b[$. Puesto que todo $x>0$ pertenece a un tal intervalo $]a,b[$ convenientemente elegido, \underline{$\Gamma$ es continua en $]0,+\infty[$.}\\
\end{enumerate}
\textbf{Proposición 2.} (Derivación bajo el signo integral).\\
Sea $\mathrm{I}$ un intervalo \R . Sea $f$ una aplicación \Rn $\times$ $\mathrm{I}$ \flecha \F .\\
Se supone:
\begin{enumerate}[i)]
\item \todo \phantom{} \lam \en $\mathrm{I}$ la función $f^\lam:$ $x$ \flecha $f(x,\lambda)$ es integrable en \Rn .\\
Se define la funcion $\Phi:$ $\mathrm{I} \flecha$ $\F$ por:
\begin{equation*}
\boxed{\Phi (\lam)=: \int_{\Rn} f(x,\lam)dx, \todo \lam \en \mathrm{I}}
\end{equation*}
\item Para casi todo $x$ \en \Rn \phantom{} y \todo \phantom{} \lam \en $\mathrm{I}$ existe la derivada.\\
\begin{equation*}
f'_x(\lam)=:\lim_{h \to 0}\frac{f(x,\lam + h)-f(x,\lam)}{h}
\end{equation*}
\item $\exists$ $g$ \en $\mathcal{L}_1(\Rn,\R)$ tal que $||f'_x(\lam)||\leq g(x)$ para casi todo $x$ \en \Rn \phantom{} y \todo \phantom{} \lam \en $\mathrm{I}$.\\
$||f'_x(\lam)||\leq g(x)$ para casi todo $x$ \en \Rn \phantom{} y \todo \phantom{} \lam \en $\mathrm{I}$.\\
Entonces la función $x$ \flecha $f'_x(\lam)$ es integrable en \Rn , $\Phi$ es derivable en $\mathrm{I}$ y \\
\begin{equation*}
\boxed{\Phi^{'} (\lam)=\int_{\Rn} f'_x(\lam)dx, \phantom{s} \todo \lam \phantom{s} \en \mathrm{I}}
\end{equation*}
\underline{Demostración.}\\
Fijemos una vez para siempre \lam \en $\mathrm{I}$ . Sea $\lbrace h_\upsilon \rbrace$ una sucesión de números reales tales que $h_\upsilon \neq 0$, \lam $+h_\upsilon$ \en $\mathrm{I}$ , $\lim_{v \to \infty}h_\upsilon=0$.\\
Pongamos \todo \phantom{} $x$ \en \Rn : $g_\upsilon (x)=:\frac{f(x,\lam+h_\upsilon)-f(x,\lam)}{h_\upsilon}$\\
Por la hipótesis $\mathrm{I})$ $\lbrace g_\upsilon \rbrace$ es una sucesión de funciones integrables \Rn \flecha \F . Además: \\
\begin{equation*}
\frac{\Phi (\lam + h_\upsilon)-\Phi (\lam)}{h_\upsilon}=\int_{\Rn} g_\upsilon
\end{equation*}
Por la hipótesis $\mathrm{II})$ se tiene:\\
$(1)$ $\lim_{v \to +\infty}g_{\upsilon}(x)=f'_x(\lam)$ para casi todo $x$ \en \Rn. \\
Finalmente por la hipótesis $\mathrm{III}$ y la formula de los incrementos finitos:\\
$(2)$ $||g_\upsilon (x)|| \leq \stackbin[0\leq t \leq 1]{}{Sup}||f'_x(\lam+th_\upsilon)|| \leq g(x)$ para casi todo $x$ \en \Rn .\\ \\
De (1) y (2) se deduce, aplicando el teorema de Lebesgue, que la función $x$ \flecha $f^{'}_x (\lam)$ es integrable y que:\\
$$
\Phi^{'}(\lam)=\lim_{\upsilon \to +\infty}\frac{\Phi (\lam+h_\upsilon)-\Phi (\lam)}{h_\upsilon}=\lim_{\upsilon \to +\infty} \int_{\Rn} g_\upsilon = \int_{\Rn} f^{'}_x(\lam)dx
$$ \hspace{11cm} c. q. d \\
\underline{Observación.}\\
Agreguemos a las hipótesis de la prop. 2 la siguiente:
\item \underline{Para casi todo $x$ \en \Rn , la función $f'_x$ es continua en $\mathrm{I}$.}\\
Al combinar con la prop. 1 se ve que entonces \underline{$\Phi '$ es continua en $\mathrm{I})$.}
\end{enumerate}
En otras palabras \underline{$\Phi$ es de clase $C^1$ en $\mathrm{I})$.}\\
\textbf{Corolario.}\\
Sea $K$ un subconjunto compacto de \Rn y sea $\mathrm{I}$ un intervalo compacto de \R . Sea $f:K$ $times$ $\mathrm{I}$ \flecha \F . Se supone: \\
\begin{enumerate}[(i)]
\item \todo \phantom{} \lam \en $\mathrm{I}$, la función $f^\lam:x$ \flecha $f(x,\lam)$ es integrable en $K$. \\
Se define $\Phi:\mathrm{I}$ \flecha \F \phantom{} por: \\
\begin{equation*}
\boxed{\Phi(\lam)=:\int_K f(x,\lam)dx}
\end{equation*}
\item La aplicación $(x,\lam)$ \flecha $f'_x (\lam)$ existe y es continua en $K$ $\times \mathrm{I}$. \\
\underline{$\Phi$ es de clase $C^1$ en $\mathrm{I}$ y:}\\
\begin{equation*}
\boxed{\Phi ' (\lam)=\int_K f'_x(\lam) dx.}
\end{equation*}
\end{enumerate}
\underline{Demostración.} \\
Definamos $f:\Rn \times \mathrm{I}$ \flecha \F \phantom{} por:
\begin{equation*}
\tilde{f}(x,\lam)= \left\{ \begin{array}{lcc}
f(x,\lam) & si & x \en K \\
\\ 0 & si & x\en \Rn -K \\
\end{array}
\right.
\end{equation*}
Se tiene:
\begin{enumerate}[(i)]
\item La función $\tilde{f}:x$ \flecha $\tilde{f}(x,\lam)$ es integrable en \Rn , siendo:
$$
\Phi (\lam)=\int_{\Rn} \tilde{f}(x,\lam)dx.
$$
\item \todo $x$ \en \Rn existe la derivada $\tilde{f}'_x=\left\{ \begin{array}{lcc}
f(x,\lam) & si & x \en K \\
\\ 0 & si & x\en \Rn -K \\
\end{array}
\right.$
\item Sea $M=:\stackbin[(x,\lam) \en K\times \mathrm{I}]{}{M\acute{a}x}||f'_x(\lam)||$ \\
Entonces \todo \phantom{} $x$ \en \Rn \phantom{} \todo \phantom{} \lam \en $\mathrm{I}$.
$$
||\tilde{f}'_x(\lam)|| \leq Mx_K (x).$$
Aquí el segundo miembro es una función integrable en \Rn . \\
\item \todo \phantom{} $x$ \en \Rn , $\tilde{f}'_x$ es continua en $\mathrm{I}$. \\
Por la prop. 2 y la observación que la sigue, $\Phi$ es de clase $C^1$ en $\mathrm{I}$ y se tiene:\\
$$
\Phi ' (\lam)= \int_{\Rn} \tilde{f}'_x (\lam)=\int_K f'_x(\lam)dx, \todo \phantom{s} \lam \en
\mathrm{I}$$ \hspace{11cm} c. q. d \\
\end{enumerate}
\underline{Ejemplo: (Derivadas sucesivas de la $\Gamma$).} \\
Volvamos a la función $\Gamma=\int_0^{+\infty}e^{-t}t^{x-1}dx$, \todo \phantom{} \lam $x>0$. \\ \\
Afirmamos que $\Gamma$ es de clase $C^1$ en $]0,+\infty[$ y que se puede calcular su derivada mediante la derivación bajo el signo integral o sea \\
\begin{equation}
\boxed{\Gamma ' (x)=\int_0^{+\infty}e^{-t}t^{x-1}Log(t) dt, \todo \phantom{s} x\en ]0,+\infty[.}
\end{equation}
Sean a,b números tales que $0<a<b$. Sea $g: ]0,+\infty[.$ \flecha \R \phantom{} la función definida por:\\
\begin{equation*}
g(t)= \left\{ \begin{array}{lcc}
e^{-t}t^{a-1}|Log(t)| & si & 0<t \leq 1 \\
\\ e^{-t}t^{b-1}Log(t) & si & t>1 \\
\end{array}
\right.
\end{equation*}
Se tiene $e^{-t}t^{a-1}|Log(t)|$ $\sim_{t \to 0}$ $t^{a-1}|Log(t)|= o \frac{1}{t^{1-\frac{a}{2}}}$ \\
y $e^{-t}t^{b-1}Log(t)=_{t \to +\infty}o \frac{1}{t^2}$ \\
Luego la función $g$ es integrable en $]0,+\infty[$. Además, \todo $x$ \en $]a,b[$ y \todo \phantom{} $t \en ]0,+\infty[.$:
$$
e^{-t}t^{x-1}|Log(t)| \leq g(t).
$$
Como también la función $x$ \flecha $e^{-t}t^{x-1}Log(t)$ es continua, se sigue la prop. 2 y de la observación después de ella que $\Gamma$ es de clase $C^1$ en $]a,b[$ y que $\Gamma '$ está dada por la fórmula (1) \todo \phantom{} $x$ \en $]a,b[$. La arbitrariedad de $a$,$b$ entraña que $\Gamma$ es de clase $C^1$ en $]0,+\infty[$ y que $\Gamma '$ está dada por la formula (1.1) \todo \phantom{} $x$ \en $]0,+\infty[$. \\
Por inducción se demuestra fácilmente que, de hecho \\ \underline{$\Gamma$ es de clase $C^\infty$ en $]0,+\infty[$ y que \todo \phantom{} $k$ \en \N \phantom{} y \todo \phantom{} $x$ \en $]0,+\infty[$ se tiene }\\
\begin{equation*}
\boxed{\Gamma^{(k)}(x)=\int_0^{+\infty} e^{-t}t^{x-1}{(Log(t))}^kdt.}
\end{equation*}
\phantom{recorridodobles} \underline{Variación de la función $\Gamma$.}\\
Se tiene \todo $x>0$:\\
$$
\Gamma''=\int_0^{+\infty} e^{-t}t^{x-1}{(Log(t))}^2dt>0.
$$
luego $\Gamma'$ es estrictamente creciente en $]0,+\infty[$. \\
Puesto que $\Gamma(1)=\Gamma(2)=1$, por el teorema de Rolle existe $\alpha$ \en $]1,2[$ tal que $\Gamma' (\alpha)=0$. Por consiguiente $\Gamma'(x)<0$ si $0<x<\alpha$ y $\Gamma'>0$ \todo \phantom{} $x>\alpha$. \\
De est o se sigue que, a su vez, $\Gamma$ es estrictamente decreciente en $]0,\alpha$ y estrictamente creciente en $]\alpha,+\infty[$. Puesto que $\Gamma(n+1)=n:$ \todo \phantom{} $n \en \N$, $\Gamma$ no es acota superiormente en $]\alpha,+\infty[$.\\
Por monotonicidad:\\
\begin{equation*}
\boxed{\stackbin[x \to +\infty]{}{\Gamma(x)} \longrightarrow +\infty}
\end{equation*}
Finalmente $x \Gamma(x)={\Gamma(x+1)}_{x \to 0^{+}}$ \flecha 1, de donde:\\
\begin{equation*}
\boxed{\stackbin[x \to 0^{+}]{}{\Gamma(x)} \sim \frac{1}{x}}
\end{equation*}
en particular $\stackbin[x \to 0^{+}]{}{\Gamma(x)} \longrightarrow +\infty$. \\
El resumen de nuestros resultados está en la siguiente: \\ \\
%%%%%%%%%% TABLA DE VARIACION %%%%%%%%%%%%
Un cálculo numérico suministra por cierto las aproximaciones \\
$$
\alpha \approx 1.46
$$
$$
\Gamma (\alpha) \approx 0.88
$$
%%%%%%%%%% GRAFICA DE LA FUNCION GAMMA %%%%%%%%%%%%
\\
\subsection{Funciones de clase $C^P$ definidas por integrales.}
\textbf{Proposición 3. } \\
Sea \Lam \phantom{} un conjunto abierto en \Rm y sea $f:(x,\lam)$ \flecha $f(x,\lam)$ una función: \Rn $\times$ \Lam \flecha \F . Se supone:\\
\begin{enumerate}[(i)]
\item Para casi todo $x$ \en \Rn, la función $f_x$ \lam \flecha $f(x,\lam)$ es de clase $C^p$ en \Lam.
\item \todo \phantom{} \lam \en \Lam \phantom{} todas las funciones \x \flecha $\delta_{\alpha_1} \ldots \delta_{\alpha_k}f_x(\lam)$, donde $1\leq \alpha_i \leq m$ para $i=1,2,\ldots,k$ y $0\leq k \leq p$, son integrables en \Rn. \\
El caso $k=0$ significa que la función \x \flecha \fxla \phantom{} es integrable en \Rn . Se define la función $\Phi:\Lam$ \flecha \F \phantom{} por: \\
\begin{equation*}
\boxed{\Phi (\lam)=:\int_{\Rn}\fxla dx , \phantom{s} \todo \phantom{s} \lam \en \Lam}
\end{equation*}
\item Para todo cubo cerrado $K$ contenido en \Lam \phantom{} y toda sucesión $(\alpha_1,\ldots, \alpha_p)$ de $p$ indices en $[1,m]$ existe una función integrable:\\
$g_{\alpha_1,\ldots,\alpha_p }^{K}: \Rn$ \flecha \R \phantom{} para casi todo \x \en \Rn \phantom{} y \todo \phantom{} \lam \en $K$ se tiene $||\delta_{\alpha_1} f_x(\lam)|| \leq g_{\alpha_1,\ldots, \alpha_p}^{K}(x)$.\\
Entonces $\Phi$ es de clase \cp en \Lam \phantom{} y para $k=1,\ldots,p$ las derivadas parciales de orden $k$ de $\phi$ están dadas por:\\
\begin{equation*}
\boxed{\delta_{\alpha_1} \ldots \delta_{\alpha_k}\Phi(\lam)=\int_{\Rn} \delta_{\alpha_1} \ldots \delta_{\alpha_k}f_x(\lam)dx, \phantom{s} \todo \phantom{s} \lam \en \Lam}
\end{equation*}
\end{enumerate}
\underline{Demostración.}\\
\begin{enumerate}[a)]
\item Mostremos que una mayoración análoga a $(\mathrm{III})$ vale para todas las derivadas parciales de orden $k\leq p$. Bata admitir este resultado para las derivadas de orden $k+1$ y probarlo para las derivadas de orden $k$. Para abreviar pongamos $D=\delta_{\alpha_1} \ldots \delta_{\alpha_k}$.\\
Sea $K$ un cubo cerrado contenido en \Lam , sea $\lam_o=(\lam_1^o,\ldots,\lam_m^o)$ el centro de $K$ y sea $a$ la media arista de $K$.\\
Por la formula de incrementos finitos se tiene para casi todo \x \en \Rn \phantom{} y \todo \phantom{} \lam$=(\lam_1,\ldots,\lam_m)\en K$:\\
$$
||Df_x(\lam)-Df_x(\lam_o)|| \leq \sum_{\upsilon=1}^{m}||Df_x(\lam_1,\ldots,\lam_{\upsilon},\lam_{\upsilon+1}^o,\ldots,\lam_m^o)-
$$
$$
Df_x(\lam_1,\ldots,\lam_{\upsilon -1},\lam_{\upsilon}^o,\lam_{\upsilon +1},\ldots,\lam_m^o)
$$
\begin{equation*}
a \sum_{\upsilon =1}^{m}\stackbin[0 \leq t \leq 1]{}{Sup} || \alpha_\upsilon Df_x(\lam_1,\ldots,\lam_{\upsilon-1},t \lam_{\upsilon}^o+(1-t)\lam_\upsilon,\lam_{\upsilon+1},\ldots,\lam_\upsilon)
\end{equation*}
$
\leq a \sum_{\upsilon =1 }^{m}g_{\upsilon^K,\alpha_1,\ldots,\alpha_k}(x)$, de ahí que:\\
\begin{equation*}
||Df_x(\lam)|| \leq a \sum_{\upsilon=1}^{m}g_{\upsilon^K,\alpha_1,\ldots,\alpha_k}(x)+||Df_x(\lam_o)||
\end{equation*}
o, al poner \\
$$
g_{\upsilon,\alpha_1,\ldots,\alpha_k}^K(x)=\sum_{\upsilon =1}^{m}g_{\upsilon,\alpha_1,\ldots,\alpha_n}^K(x)+||Df_x(\lam_o)||$$
se tendrá bien \todo \phantom{} \lam \en $K$: $|| \delta_{\alpha_1},\ldots,\delta_{\alpha_k}f_x(\lam)|| \leq || \leq g_{\upsilon,\alpha_1,\ldots,\alpha_k}^K(x)$ donde $g_{\upsilon,\alpha_1,\ldots,\alpha_k}^K$ es una función integrable en \Rn , independiente de \lam .\\
\item Probemos por inducción sobre $k$, que es legitimo calcular las derivadas parciales de orden $k$ por derivación bajo el signo integral.\\
\begin{enumerate}[1)]
\item \underline{Caso $k=1$} \\
Sea $\lam_o$ \en \Lam \phantom{} y sea $K$ un cubo cerrado de centro $\lam_o$ \phantom{} contenido en \Lam .\\
Sea $a$ la media arista de $K$. Fijemos un indice $i \en [1,m]$ y consideremos la función:\\
\begin{equation}
=\lam_i \flecha \int_{\Rn}f(x,\lam_1^o, \ldots,\lam_{i-1}^o,\lam_i,\lam_{i+1}^o,\ldots,\lam_m^o) dx.
\end{equation}
donde $-a+\lam_i^o<\lam_i<a+\lam_i^o$.\\
Para casi todo \x \en \Rn \phantom{} y \todo \phantom{} $\lam_i$ \en $]-a+\lam_i^o,a+\lam_i^0[$ se tiene: \\
$||\delta_if(x,\lam_1^o,\ldots,\lam_{i-1}^o,\lam_i,\lam_{i+1}^o,\ldots,\lam_m^o)||\leq g_i^K(x)$, donde $g_i^K(x)$ es una función integrable en \Rn , independiente de $\lam_i$. \\
Por prop. 2 aplicada a la función (1.2) en el punto $\lam_i$ \phantom{} se obtiene bien:\\
\begin{equation*}
\delta_i(\lam_o)=\int_{\Rn}\delta_i f_x(\lam_o)dx.
\end{equation*}
\item Sea $k \leq p$. Supongamos el resultado ya establecido para las derivadas de orden $k-1$.\\
Sea $\delta_{\alpha_1},\delta_{\alpha_2},\ldots,\delta_{\alpha_k}$ una derivación parcial de orden $k$. Por hipótesis de inducción:\\
$$
\delta_{\alpha_2} \ldots \delta_{\alpha_k}\Phi(\lam)=\int_{\Rn}\delta_{\alpha_2} \ldots f_x(\lam)dx, \phantom{s} \todo \phantom{s} \lam \en \Gamma
$$
Sea $\lam_o \en \Gamma$ y sea $K$ un cubo cerrado de centro $\lam_o$ contenido en $\Gamma$. Sea $a$ la media arista de $K$. Consideremos la función: \\
\begin{equation}
=\lam_{\alpha_1} \flecha \int_{\Rn}\delta_{\alpha_2},\ldots,\delta_{\alpha_k}f_x(\lam_1^o, \ldots,\lam_{\alpha_1-1}^o,\lam_{\alpha_1},\lam_{\alpha_1+2}^o,\ldots,\lam_m^o) dx=
\end{equation}
\begin{equation*}
\delta_{\alpha_2},\delta_{\alpha_k}\Phi(\delta_1^o,\ldots,\lam_{\alpha_1-1}^o,\lam_{\alpha_1},\lam_{\alpha_1+1}^o,\ldots,\lam_m^o), donde
\end{equation*}
$-a+\lam_{\alpha_1}^o<\lam_{\alpha_1}<a+\lam_{\alpha_1}^o$ \\
Para casi todo \x \en \Rn \phantom{} y para todo $\lam_{\alpha_1} \en ]-a+\lam_{\alpha_1}^o,a+\lam_{\alpha_1}^o[$ se tiene $||\delta_{\alpha_2},\delta_{\alpha_k}\Phi(\delta_1^o,\ldots,\lam_{\alpha_1-1}^o,\lam_{\alpha_1},\lam_{\alpha_1+1}^o,\ldots,\lam_m^o)||\leq$
$g_{\upsilon,\alpha_1,\ldots,\alpha_k}^K(x)$, donde $g_{\upsilon,\alpha_1,\ldots,\alpha_k}$ es una función integrable independiente de $\lam_{\alpha_1}$.\\
Por la prop. 2 aplicada a la función (1.3) en el punto $\lam_{\alpha_1}^o$ se consigue bien:\\
\begin{equation*}
\delta_{\alpha_1}\delta_{\alpha_2}\ldots \delta_{\alpha_k}\Phi(\lam_o)=\int_{\Rn}\delta_{\alpha_1}\delta_{\alpha_2}\ldots \delta_{\alpha_k}f_x(\lam_o)dx.
\end{equation*}
\item Queda por mostrar que todas las derivadas parciales $\delta_{\alpha_1}\ldots \delta_{\alpha_k}\Phi$, $1\leq k \leq p$, son continuas en $\Gamma$.\\
Sea $\lam_o \en \Gamma$ y sea $K$ un cubo cerrado de centro $\lam_o$ contenido en $\Gamma$. Se tiene\\
$$
\delta_{\alpha_1}\ldots \delta_{\alpha_k}\Phi(\lam)=\int_{\Rn}\delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)dx, \todo \phantom{s} \lam \en K
$$
\end{enumerate}
\end{enumerate}
Para casi todo \x \en \Rn , la función \lam \flecha $\delta_{\alpha_1}\ldots \delta_{\alpha_k}f(x,\lam)$ es continua en $\lam_o$. \\
Además, para casi todo \x \phantom{} en \Rn \phantom{} y \todo \phantom{} \en \K :\\
$|| \delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)|| \leq g_{\alpha_1,\ldots,\alpha_k}^K (x)$, donde $g_{alpha_1,\ldots,\alpha_k}$ es una función integrable independiente de $\Gamma$.\\
Por la prop. 1. $\delta_{\alpha_1}\ldots \delta_{\alpha_k}\Phi$ es continua en $\lam_o$. \\ \\
\textbf{Coralario.}\\
Sean $A$ un subconjunto compacto de \Rn \phantom{} de \Rn , $\Gamma$ un abierto en \Rm , $f$ una aplicación $A \times \lam$ \flecha \F .\\
Se supone que \todo \phantom{} \x \en $A$ y \todo \phantom{} \lam \en $\Gamma$ existen las derivadas parciales $\delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)$, $1\leq k \leq p$ y que todas las funciones $(x,\lam)\flecha \delta_{\alpha_1}\ldots \delta_{\alpha_k} f_x(\lam)$ con $0 \leq k \leq p$, en particular la función $(x,\lam) \flecha f(x,\lam)$, son continuas en $A \times \lam$. \\
Sea
\begin{equation*}
\boxed{\Phi (\lam)=\int_A f(x,\lam)dx}
\end{equation*}
Entonces $\Phi$ es de clase \cp \phantom{} en $\Gamma$ y, para $1\leq k \leq p$:
\begin{equation*}
\boxed{\delta_{\alpha_1}\ldots \delta_{\alpha_k}\Phi (\lam)=\int_A \delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)dx.}
\end{equation*}
\underline{Demostración.}\\
Sea $\tilde{f}:\Rn \times \Gamma \flecha \F$ definida por:\\
\begin{equation*}
\tilde{f}(x,\lam)= \left\{ \begin{array}{lcc}
f(x,\lam) & si & x\en A \\
\\ 0 & si & x\en \Rn-A \\
\end{array}
\right.
\end{equation*}
\begin{enumerate}[i)]
\item Si $0 \leq k \leq p$ tocas las funciones \lam \flecha $\delta_{\alpha_1}\ldots \delta_{\alpha_k}\tilde{f}_x(\lam)$ existen y son continuas en \Ga \phantom{} para todo \x \en
\Rn . Luego la función $\tilde{f}_x$ es de clase \cp \phantom{} en \Ga \phantom{} para todo \x \en \Rn .
\item Para $0 \leq k \leq p$ y \todo \phantom{} \lam \en \Ga \phantom{} todas las funciones \x \flecha $\delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)$ son continuas luego integrables en $A$. Esto significa que las funciones \x \flecha $\delta_{\alpha_1}\ldots \delta_{\alpha_k}\tilde{f}_x(\lam)$ son integrables en \Rn , verificándose por cierto
\begin{equation*}
\int_{\Rn}\delta_{\alpha_1}\ldots \delta_{\alpha_k}\tilde{f}_x(\lam)dx=\int_A \delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)dx
\end{equation*}
En particular\\
$$
c(\lam)=\int_{\Rn}\tilde{f}(x,\lam)dx. \phantom{s} \todo \phantom{s}\lam \en \Ga
$$
\item Sea $K$ un cubo cerrado contenido en \Ga \phantom{} y sea $(\alpha_1,\ldots,\alpha_p)$ una sucesión de $p$ indices en $[1,m]$. Puesto que la función $(x,\lam) \flecha \delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)$ es continua en el compacto $A \times K$, existe:
\begin{equation*}
M_{\alpha_1,\ldots,\alpha_p}^K=:\stackbin[(x,\lam)\en A \times K]{}{M\acute{a}x}|| \delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)||
\end{equation*}
Se tiene, por lo tanto la mayoracion
$$
||\delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)|| \leq M_{\alpha_1,\ldots,\alpha_p}^Kx_A(x), \phantom{s} \todo \phantom{s} x \en \Rn \phantom{s} y \phantom{s} \todo \phantom{s} \lam \en K.
$$
\end{enumerate}
Aquí $M_{\alpha_1,\ldots,\alpha_p}^Kx_A$ es una función integrable en \Rn independiente de \Ga . Aplicando ahora la prop. 3 concluimos que $\Phi$ es de clase \cp \phantom{} en \Ga \phantom{} y que, para $1\leq k \leq p$:
\begin{equation*}
\delta_{\alpha_1}\ldots \delta_{\alpha_k}\Phi(\lam)=\int_{\Rn}\delta_{\alpha_1}\ldots \delta_{\alpha_k}\tilde{f}_x(\lam)dx=
\end{equation*}
$$
=\int_A \delta_{\alpha_1}\ldots \delta_{\alpha_k}f_x(\lam)dx
$$
\hspace{10cm} c. q. d
\underline{Ejemplo.}\\
Sea $m \geq 3.$ Para todo \lam$=(\lam_1,\ldots,\lam_m)$ tal que $\lam_1>0,\ldots, \lam_m>$ se pone:
\begin{equation*}
\boxed{\mathrm{I}(\lam)=:\int_0^{+\infty}\frac{dx}{\sqrt{(x+\lam_1)\ldots (x+\lam_m)}}}
\end{equation*}
La integral existe, puesto que $\frac{dx}{\sqrt{(x+\lam_1)\ldots (x+\lam_m)}} \stackbin[x \to +\infty]{} {\sim} x^{\frac{1}{m/2}}$ y $m/2>1$. Para $\alpha_1 \geq , \ldots, \alpha_m \geq 0$ hallamos:\\
$$
\delta_1^{\alpha_1}\cdots \delta_m^{\alpha_m}f_x(\lam)=\frac{(-1)\sum_{i=1}^{m}\alpha_i}{2^{\sum_{i=1}^{m}\alpha_i}}\frac{(2\alpha_1-1)!! \ldots (2\alpha_m-1)!!}{(x+\lam_1)^{\alpha_1+1/2}\cdots (x+\lam_m)^{\lam_m+1/2}}
$$
con la convención $(2\alpha_1-1)!!=1$, si $\alpha_i=0$.\\
Todas las funciones \lam \flecha $\delta_{1}^{\alpha_1}\cdots \delta_m^{\alpha_m}f_x(\lam)$ son continuas en $\Lam =: \phantom{}\underbrace{]0,+\infty [x\ldots x]0,+\infty[}_m$ si \x \en $]0,+\infty[$.
\begin{enumerate}[i)]
\item Puesto que $\delta_1^{\alpha_1}\cdots \alpha_m^{\alpha_m}f_x(\lam)\stackbin[x \to +\infty]{}{\sim} \frac{1}{x^{m/2}+\sum_{i=1}^{m}\alpha_i}$ todas las funciones \x \flecha $\delta_1^{\alpha_1}\cdots \alpha_m^{\alpha_m}f_x(\lam)$ son integrables en $]0,+\infty[$.\\
Pongamos $c(\alpha_1,\ldots,\alpha_m)=:\frac{(-1)^{\sum_{i=1}^{m}\alpha_1}}{2^{\sum_{i=1}^{m}\alpha_i}}(2\alpha_1-1)!! \ldots (2\alpha_m-1)!!$
\item Fijemos arbitrariamente $a>0$. Se tiene la mayoracion:\\
\begin{equation}
\delta_1^{\alpha_1}\cdots \alpha_m^{\alpha_m}f_x(\lam) \leq c(\alpha_1,\ldots,\alpha_m) \frac{1}{(x+a)^{m/2+\sum_{i=1}^{m}\alpha_i}}, \todo \phantom{s} x>0
\end{equation}
y para $\lam_1 \geq a, \ldots , \lam_m \geq a$. La función \x \flecha $\frac{1}{(x+a)^{m/2+\sum_{i=1}^{m}\alpha_i}}$ es integrable en $]0,+\infty[$.\\
\end{enumerate}
Por la prop. 3 la función $\mathrm{I}$ es de clase $C^{\infty}$ en $\underbrace{]a,+\infty [x \ldots x]a}_m+!!!$ y sus derivadas parciales se calculan por derivación bajo el signo integral. Como $a$ es arbitrario, $\mathrm{I}$ es de clase $C^{\infty}$ en $\underbrace{]0,+\infty [x\ldots x]0,+\infty[}_m$ y se tiene:\\
$$
\underline{\delta_1^{\alpha_1}\cdots \alpha_m^{\alpha_m}\mathrm{I}(\lam)=c(\alpha_1,\ldots,\alpha_m)\infty_0^{+\infty}\int_0^{+\infty}\frac{dx}{(x+\lam_1)^{\alpha_1+1/2}\ldots (x+\lam_m)^{\alpha_m+1/2}}}$$
se encuentra p. ej.\\
$$
(\delta_1+\ldots+\delta_m)(\mathrm{I}(\lam)-\frac{1}{2}\int_0^{+\infty}\frac{1}{\sqrt{(x+\lam_1)\ldots (x+\lam_m)}}(\frac{1}{x+\lam_1}+\ldots+\frac{1}{x+\lam_m})dx=
$$
$$
\left. \frac{1}{\sqrt{(x+\lam_1)\ldots (x+\lam_m)}} \right|_{x=0}^{+\infty}=-\frac{1}{\sqrt{\lam_1 \cdots \lam_m}}
$$
\subsection{Funciones monótonas.}
\textbf{Lema 1.} \\
Sea $\mathrm{I}$ un intervalo de \R \phantom{} y sea $f:\mathrm{I} \flecha \R$ una función decreciente (no necesariamente estrictamente decreciente) en $\mathrm{I}$. Sea $\upsilon \en \N$ dado. Entonces existe una función $psi_\upsilon$ "numerablemente escalonada" \\
$psi_\upsilon=\sum_{k \en \Z} c_k^\upsilon x_{J_k^\upsilon}$, donde $\lbrace J_k^\upsilon \rbrace_{k \en \Z}$ es una sucesión de intervalos disjuntos a pares cuya reunión es $\mathrm{I}$, tal que:
\begin{enumerate}[1)]
\item La restricción $psi_\upsilon |_{\mathrm{I}}$ es decreciente en $\mathrm{I}$.
\item \todo \phantom{} \x \en $\mathrm{I}$, $0 \leq f(x)-psi_\upsilon (x) < \frac{1}{\psi}$
\item $\psi_\upsilon \geq 0$ si $f \geq 0$.
\end{enumerate}
\underline{Demostración.}\\
Dado $\upsilon \en \N$, \todo \phantom{} $k$ \en \Z \phantom{} definamos $J_k^\upsilon=\lbrace x| x\en \mathrm{I}, \frac{K}{\upsilon} \geq f(x) < \frac{k+1}{\upsilon} \rbrace$. \\
Afirmamos que $J_k^\upsilon$ es un intervalo contenido en $\mathrm{I}$, posiblemente reducido a un punto o vació. Para demostrarlo basta probar que si $x_1,x_2 \en J_k^\upsilon$, $x_1 < x_2$ y $x \en ]x_1,x_2[$, entonces $x \en J_k^\upsilon$. La hipótesis sobre \x \phantom{} y el decrecimiento de $f$ implican $\frac{k}{\upsilon} \leq f(x_2) \leq f(x) \leq f(x_1) < k$ o sea efectivamente \x \en $J_k^\upsilon$.\\
Los intervalos $J_k^\upsilon$ son disjuntos a pares e $\mathrm{I}=\underline{U}_{k \en \Z}J_k^\upsilon$ \\
Definamos $\psi_\upsilon: \R \flecha \R$, por:
\begin{equation*}
\psi_\upsilon= \sum_{k \en \Z} \frac{k}{\upsilon} x_{J_k^\upsilon}
\end{equation*}
\begin{enumerate}[1)]
\item Sean \x ,$y \en \mathrm{I}, x < y$. Si \x \en $J_k^\upsilon$, $y \en J_1$, se tiene $\frac{k}{\upsilon} \leq f(x) < \frac{k+1}{\upsilon}$ y $\frac{1}{\upsilon} \leq f(y) < \frac{1+1}{\upsilon}$. Pero $f(y) \leq f(x)$ luego $1 \leq j$, por lo tanto $\psi_\upsilon(y)= \frac{1}{\upsilon} \leq \frac{k}{\upsilon}=\psi_\upsilon (x)$. Así pues la función $\psi_\upsilon |_I$ es decreciente.
\item Es claro que \todo \phantom{} \x \en $\mathrm{I}$, $0 \leq f(x)-\psi_\upsilon (x) < \frac{1}{\upsilon}$.
\item De 2) se sigue $\psi_\upsilon (x) > f(x)-\frac{k}{\upsilon}$. Si $f \geq 0$ se tiene pues $\psi_\upsilon (x) > -\frac{1}{\upsilon}$. Ya que $\psi_\upsilon (x)=\frac{k}{\upsilon}$ para algún $k \en \Z$, necesariamente $k \geq ?$, luego $\psi_\upsilon (x) \geq 0$, \todo x.
\end{enumerate}
\textbf{Proposición 4.} \\
Sea $\mathrm{I}$ un intervalo de \R \phantom{} y sea $f: \mathrm{I} \flecha \R$ una función monótona en $\mathrm{I}$. Entonces:
\begin{enumerate}[I)]
\item $f$ es medible en $\mathrm{I}$.
\item $f$ es integrable en todo subintervalo compacto de $\mathrm{I}$.
\end{enumerate}
\underline{Demostración. }\\
\begin{enumerate}[i)]
\item Al cambiar si hace falta, $f$ en $-f$, se puede suponer que $f$ es decreciente en $\mathrm{I}$. Por el lema 1, \todo \phantom{} $\upsilon \en \N$ exista una función numerablemente escalonada $\Phi_\upsilon =\sum_{k \en \Z}c_k^{\upsilon}x_{J_k}^{\upsilon}$ tal que $0 \geq f(x)- \Phi_\upsilon(x) < \frac{1}{\upsilon}$ \todo \x \en \phantom{} $\mathrm{I}$. Si $\tilde{f}$ es la amplificación canónica de $f$ a \R , se tiene también $0 \leq f(x)- \Phi_\upsilon(x) < \frac{1}{\upsilon}$ \todo \x \R .Luego $\tilde{f}$ es limite (aún uniforme) en \R \phantom{} de la sucesión $\lbrace \Phi_\upsilon \rbrace$. Pero $\Phi_\upsilon =\lim_{m \to +\infty}\sum_{k=-m}^{m}c_k^{\upsilon}x_{J_k}^{\upsilon}$ en todo punto de \R .\\
Luego $\Phi_\upsilon$ es medible. Por conseguiente $\tilde{f}$ es medible. En otras palabras $f$ es medible en $\mathrm{I}$.
\item Sean $a,b \en \mathrm{I}$, $a<b$. Se tiene \todo \phantom{}\x \en $[a,b]:f(b) \leq f(x) \leq f(a)$. Luego $f$ es medible y acotada en $[a,b]$, por lo tanto $f$ es integrable en $[a,b]$.\\
\end{enumerate}
\hspace{11cm} c. q. d\\
\underline{Lema 2}\\
Sean $\mathrm{I}=[a,b]$ un intervalo compacto de \R \phantom{} y $f: \mathrm{I} \flecha \R$ una función decreciente en $\mathrm{I}$. Entonces \todo \phantom{} $\upsilon \en \N$ existe una función escalonada $\Phi_\upsilon :\R \flecha \R$, nula fuera de $\mathrm{I}$ tal que:
\begin{enumerate}[1)]
\item $\Phi_\upsilon |_\mathrm{I}$ es decreciente en $\mathrm{I}$.
\item $0 \leq f(x)-\Phi_\upsilon (x) \leq \frac{1}{\upsilon}$ \todo \phantom{} $\upsilon$ y \todo \phantom{} \x \en $[a,b]$.
\item $\Phi_\upsilon \geq 0$ si $f \geq 0$
\end{enumerate}
\underline{Demostración.} \\
Con las notaciones de la demostración del lema 1 definimos, como allí,$\Phi_\upsilon=:\sum_{k \en \Z}\frac{k}{\upsilon} x_{J_k^{\upsilon}}$. Puesto que \todo \phantom{} \x \en $\mathrm{I}$, $f(b) \leq f(x) \leq f(a)$, el intervalo $J_\upsilon^k$ es vacío si $k>\upsilon f(a)$ y si $k \leq \upsilon f(b)-1$. Así pues, tan solo para un número finito de indices $k$, $x_{J_k^{\upsilon}} \neq 0$. Por consiguiente $\Phi_\upsilon$ es una función escalonada \R \flecha \R . Lo demás sigue de la demostración del lema 1. \\
\textbf{Proposición 5.}\\
\underline{Sea $g:[a,b] \flecha \F$ una función integrable en $[a,b]$.} \\
\underline{Sea $f:[a,b] \flecha \R$ una función decreciente, no negativa en $[a,b]$.}\\
Entonces la función $fg:[a,b] \flecha \F$ es integrable en $[a,b]$ y se tiene:
\begin{equation*}
\underline{| \int_a^b f(x) g(x) dx| | \leq f(a) \stackbin[a \leq x \leq b]{}{M\acute{a}x} | | \int_a^x g || }
\end{equation*}
En el caso particular de ser $\F =3$.\\
$$
\exists \epsilon \en [a,b] \backepsilon \int_a^b f(x) g(x)dx=f(a) \int_a ^{\epsilon}g(x)dx
$$
\underline{Demostración.}\\
La función $fg$ es medible en $[a,b]$ como producto de funciones medibles. Ademas, siendo $|fg| \leq f(a)$, donde el segundo miembro es una función integrable en $[a,b]$, $fg$ es integrabe en $[a,b]$.\\
Definamos la funcion $G$, una integral indefinida de $g$ en $[a,b]$ por: \\
\begin{equation*}
\underline{G(x)=: \int_a^x g \phantom{s} \todo \phantom{s} x\en [a,b]}
\end{equation*}
Sabemos que $G$ es continua en $[a,b]$. Pongamos:\\
\begin{equation*}
K=:\stackbin[a \leq x \leq b] {}{M\acute{a}x} || G(x) ||
\end{equation*}
\begin{enumerate}[a)]
\item Consideremos primero el caso particular de ser $f$ escalonada, además de ser no negativa y decreciente en $[a,b]$.
\item Existe pues una subdivisión $a=a_o < a_1 < \ldots < a_m=b$ del intervalo $[a,b]$ tal que $f$ es de valor constante $d_k$ en todo subintervalo abierto $]a_{k-1},a_k[$, $k=1,\ldots , m$. Por cierto $d_k \leq d_{k-1}$ para $k=2, \ldots,m$. \\
\end{enumerate}
Podemos escribir:\\
$$
\int_a^b fg=\sum_{k=1}^m \int_{a_{k-1}}^{a_k}fg= \sum_{k=1}^m d_k (G(a_k)-G(a_{k-1}))=
$$
$$
=\sum_{k=1}^m d_k G(a_k)-\sum_{k=1}^m d_k G(a_{k-1})=\sum_{k=1}^m d_k G(a_k)- \sum_{k=1}^{m-1}d_{k+1}G(a_k)
$$
o sea, teniendo en cuneta que $G(a_o)=G(a)=0:$
\begin{equation}
\int_a^b fg=d_mG(a_m) + \sum_{k=1}^{m-1}(d_k -d_{k+1})G(a_k)
\end{equation}
Recordando que aquí $d_m \geq 0$ y $d_k -d_{k+1} \geq 0$ para $k=1, \ldots, m-1$, obtenemos de (1.5) por la desigualdad triangular:
\begin{equation}
|| \int_a^b fg || \leq k(d_m +\sum_{k=1}^{m-1} (d_k -a_{k+1}))=kd_1 \leq k f(a)
\end{equation}
como afirmamos.
\begin{enumerate}[I)]
\item Siempre con la hipótesis de ser $f$ escalonada, consideremos el caso particular \F$=$ \R .\\
Introduzcamos los números $M=: \stackbin[a \leq x \leq b]{}{M\acute{a}x} G(x)$ y $m=:\stackbin[a \leq x \leq b]{}{Min G(x)}$ \\
De la formula (1.5), siempre atendiendo a la positividad de los coeficientes $d_m$ y $a_k-a_{k+1}$, se sigue:
\begin{equation}
md_1 \leq \int_a ^ bfg \leq Md_1
\end{equation}
Ya que $G(a)=0$, se tiene $M \geq 0$ y $m \leq 0$.Como $d_1 \leq f(a)$, la formula (1.6) implica:
\begin{equation}
mf(a) \leq \int_a^b fg \leq Mf(a).
\end{equation}
\item En segundo lugar pasemos al caso general de $f$ decreciente no negativa en $[a,b]$, abandonando la hipótesis de ser $f$ escalonada.
\item Por el lema 2. \todo \phantom{} $\upsilon \en \N$ existe una función escalonada $\Psi_\upsilon: \R \flecha \R$ nula fuera de $[a,b]$ tal que la restricción de $\Psi_\upsilon$ a $[a,b]$, y vale $\Psi_\upsilon \geq 0$, \todo \phantom{} \x \en $[a,b]$.\\
A la función $\Psi_\upsilon$ podemos aplicarle la formula (1.7) de la parte $\mathrm{I})$ obteniendo:
\begin{equation}
|| \int \psi_\upsilon g || \leq K \Phi_\upsilon (a)
\end{equation}
Para $\upsilon+ $ el segundo miembro de (1.9) converge a $Kf(a)$. Se tiene también $\lim_{v \to +\infty} \Phi_\upsilon g=fg$ en todo punto de $[a,b]$. Además $| \Phi_\upsilon g| =\Phi_\upsilon |g| \leq f |g| \leq f(a) $, donde el último miembro es una función integrable en $[a,b]$.\\
Por el teorema de Lebesgue se puede puede pasar el límite bajo el signo integral para $\upsilon \to +\infty$ en el primer miembro de (1.9). Tomando los limites en (1.9) se consigue:\\
$ || \int_ \exists fg || \leq Kf(a)$, como afirma el enunciado.\\
\item Queda el caso particular \F = \R.
\end{enumerate}
Definamos $\Phi_\upsilon$ como en $\mathrm{II}$ y apliquemos a la función $\Phi_\upsilon$ la fórmula (1.6) de la parte $\mathrm{I}$:
\begin{equation*}
m\Phi_\upsilon (a) \leq \int_a^b \Phi_\upsilon g \leq M \Phi \upsilon (a)
\end{equation*}
Pasando aquí al limite para $\upsilon \to +\infty$ obtenemos:
\begin{equation*}
mf(a) \leq \int_a^b fg \leq M f(a)
\end{equation*}
Descartando el caso trivial $f(a)=0$, esto se escribe:
\begin{equation*}
m \leq \frac{1}{f(a)} \int_a ^b fg \leq M
\end{equation*}
De ahí, por el teorema de los valores intermedios de Bolzano, aplicado a la función continua $G$ existe $\epsilon \en [a,b]$ tal que
$$
G(\epsilon)=\frac{1}{f(a)} \int_a^b fg, \phantom{s} \int_a ^b fg=f(a) \int_a^\epsilon g
$$
\hspace{11cm} c. q. d \\
He aquí una generalización de la prop. 5. \\
\textbf{Proposición 6.}(\underline{SEGUNDO TEOREMA DEL VALOR MEDIO DE O. RONNEY})\\
\underline{Sea $g:[a,b] \flecha \F$ una función integrable en $[a,b]$.}\\
\underline{Sea $f:[a,b] \flecha \R$ una función monótona en $[a,b]$.}\\
Entonces:
\begin{equation*}
\boxed{|| \int_a ^b fg || \leq (| f(a) | + 2|f(b)|) \stackbin[a \leq x \leq b]P{}{M\acute{a}x} || \int_a ^x g ||}
\end{equation*}
Si $\F=\R$, existe $\epsilon \en [a,b]$ tal que:\\
\begin{equation*}
\boxed{\int_a ^b fg=f(a) \int_a^\epsilon g + f(b) \int_\epsilon^b g}
\end{equation*}
\underline{Demostración.}\\
Siendo las fórmulas por demostrar invariantes bajo el cambio de $f$ en $-f$ podemos sin pérdida de generalidad suponer $f$ decreciente en $[a,b]$. Entonces la función $f-f(b)$ será decreciente y no negativa en$ [a,b]$. Podemos pues aplicarle los resultados de la prop. 5.
\begin{enumerate}[a)]
\item Sea, como antes, $K=\stackbin[a \leq x \leq b]{}{M\acute{a}x} || \int_a^x g||$
Por la prop. 5\\
\begin{equation*}
|| \int_a^b (f-f(b) g || \leq (f(a)-f(b))K \leq (|f(a)|+|f(b)|)K
\end{equation*}
De ahí que
\begin{equation*}
|| \int_a^b fg || \leq (|f(a)|+|f(b)|)K +|f(b)| \phantom{s}||\int_{a}^b g|| \leq
\end{equation*}
$ \leq (|f(a)| +2|f(b)|)K$, como afirmamos.
\item Supongamos ahora $\F=\R$. Por la prop. 5 existe $\epsilon \en [a,b]$ tal que
\end{enumerate}
$$\int_a^b (f-f(b)g)=(f(a)-f(b))\int_a^\epsilon g$$
Es decir:
\begin{equation*}
\int_a^bfg=f(a)=\int_a^\epsilon g+f(b)(\int_a^bg-\int_a^\epsilon g)=f(a)\int_a^\epsilon g+f(b)\int_\epsilon^bg
\end{equation*}
\hspace{11cm} c. q. d.
\subsection{Integrales impropias.}
\underline{Definiciones.}\\
Consideremos un intervalo abierto $]a,b[$ de \R . Aquí permitiremos $a=-\infty$ ó $b=+\infty$.\\
Sea $f:]a,b[ \flecha \F$.\\
\begin{enumerate}[a)]
\item \underline{Supongamos $f$ integrable en todo intervalo $]a,\beta[$, donde $a<\beta <b$.}\\
Si existe $ \stackbin[\beta \en ]a,b[]{}{\lim_{\beta \to b}} \int_a ^\beta f$, este límite se designa por $\int_a ^{\to b}f$.
\item \underline{Supongamos $f$ integrable en todo intervalo $]\alpha,\beta[$, donde $a< \alpha <b$.}\\
Si existe $ \stackbin[\beta \en ]a,b[]{}{\lim_{\alpha \to b}}\int_\alpha ^\beta f$, este límite se designa por $\int_{\to a}^b f$.\\
\item \underline{Supongamos $f$ integrable en todo subintervalo compacto de $]a,b[$.}\\
Sea $x_o\en ]a,b[$. La existencia de $\int_{\to a}^{x_o}f$ y la de $\int_{x_o}^{\to b}f$ es, cada una, independiente de la elección del punto $x_o$. Si existen $\int_{\to a}^{x_o}f$ y $\int_{x_o}^{\to b}f$ la suma $\int_{a}^{x_o}f+\int_{x_o}^{b}f$ es también independiente de la elección de $x_o$ y se designa por $\int_{\to a}^{\to b}f$.\\
$\int_{\to a}^{b}f,\int_{a}^{\to b}f,\int_{\to a}^{\to b}f$, se llaman INTEGRALES IMPROPIAS.
\end{enumerate}
En vez de decir que una integral impropia \textit{existe}, se suele decir por tradición que dicha INTEGRAL IMPROPIA es CONVERGENTE.\\
Puesto que \F \phantom{} es un espacio métrico completo, podemos obtener un criterio de "convergencia" de integrales impropias, aplicando el criterio de Cauchy para la existencia de un límite (prop. 16 del cap. $\mathrm{I})$:\\ \\
\textbf{Proposición 7.} \underline{CRITERIO DE CAUCHY PARA LA CONVERGENCIA DE} \\
\underline{INTEGRALES IMPROPIAS}\\
Sea $f:]a,b[ \flecha \F$ una función integrable en todo intervalo $]a,\beta[$ donde $a<\beta < b$.
\begin{enumerate}[I)]
\item \underline{Si $b < +\infty$, la integral impropia $\int_a^{\to b}f$ es convergente, si y solo si: \todo $\epsilon>0$}
\underline{ $\exists \delta>0$ tal que $x_1,x_2 \en ]b-\delta,b[\cap ]a,b[\Rightarrow|| \int_{x_1}^{x_2}f||< \epsilon$}
\item \underline{Si $b=+\infty$ la integral impropia $\int_a^{+\infty}f$ es convergente, si y solo si: \todo $\epsilon>0$}
\underline{ $\exists R>a$ tal que $x_1>R,x_2>R \Rightarrow|| \int_{x_1}^{x_2}f||< \epsilon$}
\end{enumerate}
\underline{Demostración.}\\
Definamos $G(x)=:\int_{a}^xf$, \todo \phantom{} \x \en $]a,b[$. Decir que la integral impropia $\int_a^{\to b}f$ es convergente, es decir que existe $ \stackbin[x \en ]a,b[]{}{\lim_{x\to b}G(x)}$.\\
Supongamos $b<+\infty$. Por el criterio de Cauchy, el límite considerado existe, si y sólo si: \todo $\epsilon>0 \exists>0$ tal que $x_1,x_2 \en ]b-\delta,b[ \cap ]a,b[$ $\Rightarrow || G(x_2)-G(x_1)|| < \exists$. Pero $G(x_2)-G(x_1)=\int_{x_1}^{x_2}f$. La demostración en el caso $b=+\infty$ es análoga.\\
El lector enunciará y demostrará condiciones semejantes para la convergencia de la integral impropia $\int_{\to a}^b f$.\\
De aquí en adelante, hasta el fin del capítulo, salvo en ejemplos, nos limitaremos a considerar las integrales impropias $\int_a^{\to b}$ con $b<+\infty$, si esta condición es pertinente. Dejemos al lector la tarea de enunciar y demostrar los resultados en los demás casos.\\ \\
\textbf{Proposición 8 y definición.}\\
Sea $f:]a,b[ \flecha \F$ una función integrable en todo intervalo $]a,\beta[$, donde $a<A<b$.\\
Si la integral impropia $\int_a^{\to b} |f|$ es convergente, la integral impropia $\int_a^{\to b}f$ es convergente. En tal caso se dice que la INTEGRAL IMPROPIA $\int_a^{\to b}f$ es ABSOLUTAMENTE CONVERGENTE.\\ \\
\underline{Demostración.}\\
Supongamos que la integral impropia $\int_a^{\to b}|f|$ es convergente. En virtud de la prop. 7 esto equivale a decir que:
\todo \phantom{} $\epsilon >0$ $\exists \delta>0$ tal que $x_1,x_2 \en ]b-\delta,b [ \cap ]a,b[$, $x_1 <x_2 \Rightarrow \int_{x_1}^{x^2}|f| < \exists$.\\
Puesto que $|| \int_{x_1}^{x_2}f || \leq \int_{x_1}^{x_2}|f|$, se tiene a mayor abundamiento, la implicación:\\
$x_1,x_2 \en ]b-\delta,b [ \cap ]a,b[ \Rightarrow || \int_{x_1}^{x_2}f || < \epsilon$. Así pues la integral impropia $\int_a^{\to b}f$ es convergente por el criterio de Cauchy (prop. 7).\\
\textbf{Proposición.}\\
Sea $f:]a,b[ \flecha \F$ una función integrable en todo intervalo $]a,\beta [$, donde $a<\beta <b$. Para la integral impropia $\int_a^{\to b}f$ sea absolutamente convergente, es necesario y suficiente que la función $f$ sea integrable en $]a.b[$ y entonces se tiene:\\
$$
\underline{\int_a^{\to b}f=\int_a^b f.}
$$
\underline{Demostración.}\\
\begin{enumerate}
\item Afirmamos que $f$ es medible en $]a,b[$. En efecto sea $\lbrace \beta_\upsilon \rbrace$ una sucesión de puntos de $]a,b[$ que converge a $b$. Se tiene $\tilde{f}x_{]a,b[}=\lim_{\upsilon \to +\infty}\tilde{f}x_{]a,\beta_\upsilon[}$ en todo punto de \R \phantom{} y, puesto que $\tilde{f}x_{]a,\beta_\upsilon[}$ es una función integrable, a mayor abundamiento medible, $\tilde{f}x_{]a,b[}$ es medible, o sea $f$ es medible en $]a,b[$.\\
Por consiguiente $f$ será integrable en $]a,b[$ si y sólo si $|f|$ es integrable en $]a,b[$.
\item Supongamos $f$ integrable en $]a,b[$, equivalentemente $|f$ integrable en $]a,b[$. Sea $\lbrace \beta_\upsilon \rbrace$ una sucesión de puntos de $]a,b[$ que converge a $b$.\\
Se tiene \todo $\upsilon$:\\
\begin{equation}
\int_a^{\beta_\upsilon}|f|=\int_\R |\tilde{f}|x_{]a,\beta_\upsilon[}
\end{equation}
Además $\lim_{\upsilon \to + \infty} \tilde{f}|x_{]a,\beta_\upsilon[}=|\tilde{f}|x_{]a,\beta_\upsilon[}$ en todo punto de \R \phantom{} y $|\tilde{f}| x_{]a,\beta_\upsilon[} \leq | \tilde{f}|=$ función integrable independiente de $\upsilon$.\\
Por el teorema de Lebesgue se puede pasar al límite para $\upsilon \to +\infty$ bajo el signo integral en el segundo miembro de (1.10). Se consigue:\\
\begin{equation*}
\lim_{\upsilon \to +\infty}\int_{a}^{\beta_\upsilon}|f|=\int_\R |\tilde{f}| x_{]a,b[}.
\end{equation*}
Así pues existe la integral impropia $\int_a^{\to b}|f|$ y es igual a $\int_a^b |f|$. Esto quiere decir que la integral impropia $\int_a^{\to b}f$ es absolutamente convergente.\\
Con la misma significación de $\lbrace \beta_\upsilon \rbrace$ escribamos ahora:\\
\begin{equation}
\int_a^{\beta_\upsilon}f=\int_\R \tilde{f}x_{]a,\beta_\upsilon[}
\end{equation}
Se tiene $\lim_{\upsilon \to +\infty}\tilde{f}x_{]a,\beta_\upsilon[}=\tilde{f}x_{]a,b[}$ en todo punto de \R. \phantom{} y $|\tilde{f}x_{]a,\beta_\upsilon[}| \leq |\tilde{f}|=$función integrable independiente de $\upsilon$. \\
Por el teorema de Lebesgue se puede pasar al límite para $\upsilon \to +\infty$ en el segundo miembro de (1.11). Se consigue:
$$
\lim_{\upsilon \to +\infty}\int_a^{\beta_\upsilon}f=\int_\R \tilde{f}x_{]a,b[}
$$
$$
\int_a^{\to b}f=\int_a^b f.
$$
\item Recíprocamente, supongamos la integral impropia $\int_a^{\to b}f$ absolutamente convergente. Sea $\lbrace \beta_\upsilon$ una sucesión creciente de puntos de $]a,b[$ tal que $\lim_{\upsilon \to +\infty}\beta_\upsilon=b$.\\
Se tiene $\int_a^{\to b}f=\lim_{\upsilon \to +\infty} \int_a^{\beta_\upsilon}|f|=\lim_{\upsilon \to +\infty}\int_R |\tilde{f}|x_{]a,\beta_\upsilon[}$.\\
Ahora bien $\lbrace |\tilde{f}|x_{]a,\beta_\upsilon} \rbrace$ es una sucesión creciente de funciones integrables que converge a $|\tilde{f}|x_{]a,\beta_\upsilon}$ en todo punto de \R .\\
Por el teorema de B. Levi la función límite $ |\tilde{f}|x_{]a,b[}$ es integrable. En otras palabras $|f|$ es integrable en $]a,b[$. Por lo tanto en $f$ integrable en $]a,b[$.
\hspace{9cm} c. q. d
\end{enumerate}
La prop. 9 hace patente que, en el marco de la teoría actual de integración, es inútil considerar aparte las integrales impropias absolutamente convergentes pues son iguales a integrales \textit{propias} y en su escritura se puede suprimir la advertidora flecha. Gracias a esta circunstancia podemos aplicar a las integrales absolutamente convergentes, si preocupación adicional, los resultados válidos para integrales \textit{propias}, p. ej. los teoremas de convergencia y los teoremas relativos a las funciones definidas por integrales. Todo criterio de integrabilidad es al mismo tiempo un criterio de convergencia absoluta de integrales impropias.\\
Sin embargo, como se verá en ejemplos al fin de esta sección, existen integrales impropias convergentes que no son absolutamente convergentes. Por la prop. 9 las integrales propias correspondientes no existen. Dichas integrales impropias constituyen un fenómeno peculiar de \R \phantom{} que no parece tener análogo interesante en \Rn \phantom{} para $n>1$. A ellas no se pueden aplicar sin preocupaciones los teoremas sobre integrales \textit{genuinas} y hay que estudiarlas aparte.\\
Debemos buscar antes de todo criterios de convergencia de integrales impropias que se apliquen al caso de no haber convergencia absoluta. \\ \\
\textbf{Proposición 10.}\underline{(Criterios de ABEL para la convergencia de integrales impropias.)}\\
\underline{Sea $f:[a,b[ \to \R$ una función monótona en $[a,b[$.}\\
\underline{Sea $g:[a,b[ \to \F$ una función integrable en todo intervalo $[a,\beta]$}\\
\underline{donde $a<\beta <b$. Sea $G(x)=: \int_a^x g$, \todo \x \en $[a,b[$.}\\
La integral impropia $\int_a^{\to b}fg$ será convergente en cada uno de los casos siguientes:\\
\begin{enumerate}[1)]
\item $\lim_{x \to b}f(x)=0$ y $G$ es acotada en $[a,b[$.
\item $f$ es acotada en $[a,b[$ y la integral impropia $\int_a^{\to b}g$ es convergente.\\
\end{enumerate}
\underline{Demostración.}\\
Sean $x_1,x_2$ números tales que $a<x_1<x_2<b$. Por el teorema de Bonnet se tiene la desigualdad:
\begin{equation}
|| \int_{x_1}^{x_2}fg || \leq (|f(x_1)|+2|f(x_2)|) \stackbin[x_1 \leq x \leq x_2]{}{M\acute{a}x}|| \int_{x_1}^x g ||
\end{equation}
\begin{enumerate}
\item Supongamos que se cumplen las hipótesis 1). \\
Sea $K=\stackbin[\x \en [a,b[]{}{Sup}||G(x)||.$ Se tendrá para todo $\x \en [x_1,x_2]$:
\begin{equation}
|| \int_{x_1}^x g|| = || G(x)-G(x_1) || \leq || G(x) || + || G(x) || \leq 2K.
\end{equation}
Sea $\epsilon >0$ dado arbitrario. Por hipótesis $\exists \delta>0$ tal que $x \en ]b-\delta,b[ \cap ]a,b[ \Rightarrow |f(x)| <\epsilon$.\\
En virtud de la mayoracion (1.12) se tendrá la implicación:\\
$$
x_1,x_2\en ]b-\delta [ \cap ]a,b[ \Rightarrow || \int_{x_1}^{x_2}fg || < 6K\epsilon
$$
Luego la integral impropia $\int_a^{\to b}fg $ es convergente por el criterio de Cauchy.\\
\item Supongamos que se cumplen las hipótesis 2). \\
Sea $M=:\stackbin[\x \en [a,b[]{}{Sup}|f(x)|$. Sea $\epsilon>0$ dado arbitrario.\\
Puesto que la integral impropia $\int_a^{\to b}g$ es convergente:\\
$\exists \delta >0$ tal que $y_1,y_2 \en ]b-\delta [ \cap ]a,b[ \Rightarrow || \int_{y_1}^{y_2}g|| < \epsilon$
\end{enumerate}
Al tomar $x_1,x_2 \en ]b-\delta [ \cap ]a,b[$, tendremos $\stackbin[x_1 \leq x \leq x_2]{}{M\acute{a}x} || \int_{x_1}^x g || \leq \epsilon$ \\
luego, por la mayoracion (1): \\
$$
|| \int_{x_1}^{x_2}fg|| \leq 3M \epsilon
$$
De nuevo la integral impropia $\int_a^{\to b}fg$ es convergente por el criterio de Cauchy. \\
\phantom{llenado doble y múltiple ya que necesito espacio para escribir:} c. q. d \\
\underline{Ejemplos.}\\
Las integrales $\int_1^{\to +\infty}\frac{\sen (x)}{x^\alpha}dx$ y $\int_1^{\to +\infty} \frac{\cos (x)}{x^\alpha}dx$, $\alpha \en \R$. \\ \\
\begin{enumerate}[1)]
\item \underline{Caso $\alpha>1$.}\\
Escribamos $| \frac{\sen (x)}{x^\alpha}| < \frac{1}{x^\alpha}$ y $|\frac{\cos (x)}{x^{\alpha}}| \leq \frac{1}{x^\alpha}$.\\
Por la prop. 29. del cap. V, la función \x \flecha $\frac{1}{x^\alpha}$ es integrable en $[1,+\infty[$ en nuestro caso. Luego también son integrables en $[1,+\infty[$ las funciones \x \flecha $\frac{\sen (x)}{x^\alpha}$ y \x \flecha $\frac{\cos (x)}{x^\alpha}$. Dicho de otro modo:\\
\underline{Las integrales impropias $\int_1^{\to +\infty}\frac{\sen (x)}{x^\alpha}dx$ y $\int_1^{\to + \infty}\frac{\cos (x)}{x^\alpha}dx$ son}\\
\underline{absolutamente convergentes.}\\
\item Afirmamos que $\int_1^{\to +\infty}\frac{|\sen (x)|}{x}dx=+\infty$.\\
En otras palabras la función \x \flecha $\frac{\sen (x)}{x}$ no es integrable en $[1,+\infty[$.\\
\todo $n \en \N$ se tiene:\\
\begin{equation*}
\int_1^{+\infty}\frac{|\sen (x)|}{x}dx \geq \int_\pi^{(n+1)\pi}\frac{|\sen (x)|}{x}dx=\sum_{k=1}^n\int_{k\pi}^{(n+1)\pi}\frac{|\sen (x)|}{x}dx
\end{equation*}
\begin{equation*}
\geq \sum_{k=1}^n \frac{1}{(k+1)\pi}\int_0^\pi \sen (x)dx=\frac{2}{\pi} \sum_{k=1}^n \frac{1}{
k+1}
\end{equation*}
Pero sabemos que la serie de término general $\frac{1}{k+1}$ diverge, de donde la conclusión anunciada. \\
De ahí deducimos que si $\alpha \leq 1$:\\
$\int_1^{+\infty} \frac{|\sen (x)|}{x^\alpha}dx \geq \int_1^{+\infty}\frac{|\sen x|}{x}dx= +\infty$
\\
Análogamente se prueba que en este caso:\\
\begin{equation*}
\int_1^{+\infty}\frac{|\cos (x)}{x^\alpha}dx=+\infty
\end{equation*}
Así pues, si $\alpha \leq 1$ las funciones \x \flecha $\frac{\sen (x)}{x^\alpha}$ y $x \flecha \frac{\cos (x)}{x^\alpha}$ no son integrables en $[1,+\infty[$.\\
\item \underline{Firmamos que para $0< \alpha \leq 1$ las integrales impropias
$\int_1^{\to +\infty}\frac{\sen (x)}{x^\alpha}$} y \underline{$\int_1^{\to +\infty}\frac{\cos (x)}{x^\alpha}$ son convergentes.}\\
Basta observar que la función $x \flecha \frac{1}{x^\alpha}$ es decreciente en $[1,+\infty[$: $\lim_{x \to +\infty}\frac{1}{x^\alpha}=0$ y las funciones $x \flecha \int_1^x \sen (t)dt=cos (1)-cos(x)$ y \x \flecha $\int_1^x \cos (t)dt=\sen x - \sen 1$ son acotadas en $[1,+\infty[$.\\
En virtud del primer criterio de Abel las integrales impropias $\int_1^{\to +\infty}\frac{\sen (x)}{x^\alpha}$ y $\int_1^{\to +\infty}\frac{\cos (x)}{x^\alpha}$ son convergentes. \\
\item Afirmamos que para $\alpha \leq 0$ las integrales impropias consideradas "divergen" (es decir no son convergentes). \\
Lo afirmado equivale a decir que las integrales $\int_1^{\to +\infty}x^\beta \sen (x) dx$ y $\int_1^{\to +\infty}x^\beta \cos (x) dx$ divergen si $\beta \geq 0$.\\
Mostremoslo p. ej. para la primera integral. Sea $R>1$. La función $R \flecha \int_1^{R} sen(x)dx=\cos (1)-\cos(R)$ no tiende a ningún límite para $R \to +\infty$. Luego la integral impropia $\int_1^{\to +\infty} \sen (x)dx$ diverge. \\
Sea ahora $\beta >0$ y supongamos que la integral impropia $\int_1^{+\infty} x^\beta \sen (x) dx$ convergiera. Puesto que la función \x \flecha $\frac{1}{x^\beta}$ es monótona y acotada en $[1,+\infty[$, por el segundo criterio de Abel seria convergente la integral impropia $\int_1^{\to +\infty}\frac{1}{x^\beta}(x^\beta \sen (x))dx=\int_1^{\to +\infty}\sen (x)dx$, lo que , como acabamos de mostrar es falso.
\\
Así pues la integral impropia $\int_1^{\to +\infty} x^\beta \sen (x)dx$ diverge.\\
\underline{Este ejemplo muestra como se puede empleados los criterios de Abel}
\underline{para demostrar la divergencia de ciertas integrales impropias.}
\item Consideremos las llamadas INTEGRALES IMPROPIAS de FRESNEL:\\
$$\int_0^{+\infty}\sen(x^2)dx \phantom{y}y \phantom{s} \int_1^{\to +\infty}\cos (x^2)dx.$$\\
Por el cambio de variables $t=x^2, x=\sqrt{t}$, hallamos:\\
\begin{equation}
\int_0^R \sen(x^2)dx=\frac{1}{2}\int_0^{R^2}\frac{\sen (t)}{\sqrt{t}}dt.
\end{equation}
Para $R \flecha +\infty$, el segundo miembro de $(1)$ tiende a un límite en virtud de la parte 3), luego la integral impropia \\
\underline{$\int_0^{+\infty}\sen(x^2)dx$ es convergente.} Asimismo, se ve que la integral impropia \\
\underline{$\int_0^{+\infty}\cos(x^2)dx$ es convergente.} Por cierto la relación (1.14) suministra:\\
$$
\int_0^{+\infty}\sen (x^2)dx=\frac{1}{2}\int_0^{\to +\infty}\frac{\sen (t)}{\sqrt{t}dt}.
$$
Sin embargo, \underline{dichas integrales no son absolutamente convergentes.}\\
Pues si p. ej. la función \x \flecha $\sen x^2$ fuese integrable en $[0,+\infty[$, en virtud del teorema de cambio de variables también la función $t\flecha \frac{\sen (t)}{\sqrt{t}}$ sería integrable en $[0,+\infty[$ y esto no es el caso conforme a lo establecido en 2).\\
\item Consideremos p. ej. la integral impropia:
\begin{equation*}
\underline{\int_1^{+\infty}\arctan (x)\frac{\sen (x)}{x^\alpha}dx, 0 < \alpha \leq 1}
\end{equation*}
La función $\arctan$ es creciente y acotada en $[1,+\infty[$, la integral impropia $\int_1^{+\infty}\frac{\sen (x)}{x^\alpha}dx$ es convergente en virtud de la parte 3), luego la integral impropia $\int_1^{+\infty} \arctan (x) \frac{\sen (x)}{x^\alpha}dx$ es convergente por el segundo criterio de Abel.\\
Por otra parte:\\
$$
\int_1^{+\infty}\arctan (x)\frac{|\sen (x)|}{x^\alpha}dx \geq \frac{\pi}{4}\int_1^{+\infty}\frac{|\sen (x)|}{x^\alpha}dx=+\infty
$$
en virtud de la parte 2). Luego \underline{nuestra integral es absolutamente}\\
\underline{convergente.}
\subsection{Funciones definidas por integral impropias.}
\underline{(Convergencia uniforme de integrales impropias dependientes de un} \\
\underline{parámetro).}\\
Sea \Lam \phantom{} un conjunto y sea $f:]a,b[ \times \Lam \flecha \F$. Se supone que \todo \lam \en \Lam \phantom{} la función \x \flecha $f(x,\lam)$ es integrable en todo intervalo $]a,\beta[$, donde $a <\beta <b$. Se dice que la INTEGRAL IMPROPIA $\int_a^{\to b }f(x,\lam)dx$ es UNIFORMEMENTE CONVERGENTE si existe $\stackbin[\beta \en ]a,b[]{}{\lim_{\beta \to b}}\int_a^{\beta}f(x,\lam)dx$ uniformemente en \Lam .\\
Explicitamente: \underline{Para todo $\epsilon>0$ existe $\delta >0$ (independiente de \lam)}\\
\underline{tal que $\beta \en ]b-\delta,b[ \cap ]a,b[ \Rightarrow || \int_\beta^{\to b}f(x,\lam)dx|| < \epsilon$ , $\todo$ $\lam \en \Lam$}
\end{enumerate}
\textbf{Proposición 11. } \underline{(Criterio de Cauchy para la convergencia uniforme de integrales impropias).}\\
Sea $f$ como en la definición precedente. Para que la integral impropia $\int_{a}^{\to b} f(x,\lam)dx$ sea uniformemente convergente es necesario y suficiente que para toda $\epsilon>0$ exista $\delta >0$ \underline{independiente de $\lam$} tal que:\\
$$
\underline{x_1,x_2 \en ]b-\delta,b[ \cap ]a,b[ \Rightarrow || \int_{x_1}^{x_2}f(x,\lam)dx||< \epsilon, \phantom{} \todo \lam \en \Lam}
$$
\underline{Demostración.}\\
\begin{enumerate}[a)]
\item Supongamos que la integral impropia $\int_a^{\to b}f(x,\lam)dx$ es uniformemente convergente. En virtud de la definición:\\
$\exists \delta >0$ (independiente de \lam) tal que $\beta \en ]b-\delta,b[ \cap ]a,b[ \Rightarrow \int_\beta^{\to b}f(x,\lam)dx|| < \frac{\epsilon}{2}, \todo \lam \in \Lam.$\\
Si $x_1,x_2 \en ]b-\delta,b[ \cap ]a,b[$, se sigue:\\
$$\int_{x_1}^{x_2}f(x,\lam)dx= || \int_{x_1}^{\to b}f(x,\lam)dx-\int_{x_2}^{\to b}f(x,\lam)dx|| \leq \int_{x_1}^{\to b}f(x,\lam)dx ||$$
$$+|| \int_{x_2}^{\to b}f(x,\lam)dx || < \frac{\epsilon}{2}+\frac{\epsilon}{2}=\epsilon$$
Luego se cumple la condición de Cauchy. \\
\item Supongamos que se cumple la condición de Cauchy. Sea $\epsilon>0$ dado. Por hipótesis existe $\delta>0$ (independiente de \lam) tal que si $x_1,x_2 \en ]b-\delta,b[ \cap ]a,b[$, entonces:
\end{enumerate}
\begin{equation}
|| \int_a^{x_1}f(x,\lam)dx-\int_a^{x_2}f(x,\lam)dx || < \epsilon, \todo \lam \en \Lam
\end{equation}
Puesto que \F \phantom{} es un espacio métrico completo, en virtud de la prop. 16 del cap. $\mathrm{I}$ esto implica en particular la existencia del límite en $b$ de la función $\beta \flecha \int_a^\beta f(x,\lam)dx$. Existe pues la integral impropia $\int_a^{\to b} f(x,\lam)dx$.\\
Pasemos al límite en (1.15) para $x_2 \to b^{-}$, manteniendo $x_1$ fijo. Se encuentra:\\
$$
|| \int_a^{x_1}f(x,\lam)dx-\int_a^{\to b}f(x,\lam)dx || \leq \epsilon
$$
Como esto se verifica \todo \phantom{} $x_1>\delta$ hemos demostrado la integral impropia $\int_a^{\to b}f(x,\lam)dx$ es uniformemente convergente.\\ \\
\textbf{Proposición 12.}\underline{(Integración impropia de sucesiones de funciones).}\\
Sea $\lbrace f_\upsilon \rbrace$ una sucesión de funciones: \\
\underline{$f_\upsilon:]a,b[ \flecha \F$.}\\
Se supone:\\
\begin{enumerate}[1)]
\item \underline{$f_\upsilon$ es integrable en $]a,\beta[$ $\todo \upsilon \en \N$ y $\todo \beta ]a,b[$.}
\item \underline{$\lim_{\upsilon \to +\infty}f_\upsilon=f$ c. t. p en $]a,b[$/}
\item \underline{$f$ es integrable en $]a,\beta[$ $\todo \en ]a,b[$ y se verifica:}\\
$$
\lim_{\upsilon \to +\infty}\int_a^{\beta}f_\upsilon=\int_a^\beta f, \phantom{s} \todo \phantom{s} \beta \en ]a,b[.
$$
Esta condición se cumplirá en particular si para todo $\beta \en ]a,b[$ existe una función $g_{\beta}:]a,b[ \flecha \R$, integrable en $]a,\beta[$ tal que $|| f_\upsilon(x)|| \leq g_{\beta}(x)$ $\todo$ $\upsilon \en N$ y $\todo$ \x \en $]a,\beta$\\
También se cumplirá si, siendo finito, $\lbrace f_\upsilon\rbrace$ converge a $f$uniformemente en $]a,\beta[$ $\todo$ $\beta \en ]a,b[$.
\item \underline{La integral impropia $\int_a^{\to b} f_\upsilon (x)dx$ es uniformemente convergente con respecto a $\upsilon\en \N$.}\\
Entonces la integral impropia $\int_a^{\to b} f (x)dx$ es convergente y $\int_a^{\to b} f (x)dx=\lim_{\upsilon \to +\infty}\int_a^{\to b}f_\upsilon (x)dx$
\end{enumerate}
\underline{Demostración.}
Pongamos $\Phi(\beta,\upsilon)=: \int_a^\beta f_\upsilon$ $\todo \beta \en ]a,b[$ y $\todo \upsilon \en \N$.\\
La hipótesis 3) significa:
\begin{equation}
\lim_{\upsilon \to +\infty}\Phi (\beta,\upsilon)=\int_a^\beta f, \phantom{s} \todo \beta \en ]a,b[
\end{equation}
La hipótesis 4) significa:
\begin{equation}
\stackbin[\beta \en ]a,b[]{}{\lim_{\beta \to b}}\Phi (\beta, \upsilon)=\int_a^{\to b}f_\upsilon(x)dx
\end{equation}
uniformemente con respecto a $\upsilon$.
Como \F \phantom{} es un espacio métrico completo, las relaciones (1.16)y (1.17) implican en virtud de la prop. 17 del cap. $\mathrm{I}$ que existen los límites $\stackbin[\beta \en ]a,b[]{}{\lim_{\beta \to b}}\int_a^\beta f=\int_a^{\to b}f$, $\lim_{\upsilon \to +\infty}\int_a^{\to b}f_\upsilon(x)dx$ y que dichos límites son iguales. Pero esto es precisamente lo que afirma la proposición. \\ \\
\textbf{Proposición 13.}\underline{(Continuidad de una función definida por una integral impropia).}\\
Sea \Lam \phantom{} un espacio métrico. Sea $f:]a,b[ \times \Lam \flecha \F$.\\
Se supone:\\
\begin{enumerate}[1)]
\item La función \x \flecha \fxla \phantom{} es integrable en $]a,\beta[$ $\todo \lam \en \Lam$ y $\todo \beta \en ]a,b[$.\\
\item Para así todo \x \en $]a,b[$ la aplicación \lam \flecha \fxla \phantom{} es continua en un punto $\mu \en \Lam$.
\item \todo $\beta \en ]a,b[$ la aplicación \lam \flecha $\int _a^{\beta} \fxla dx$ es continua en el punto $\mu$.\\
Esta condición se cumple en particular si $\todo \beta \en ]a,b[$ existe una función $g_\beta:]a,b[ \flecha \R$, integrable en $]a,\beta[$ tal que para casi todo $x \en ]a,\beta[$ y $\todo \lam \en \Lam$ se tiene $|| \fxla || \leq g_\beta (x)$.
\item La integral impropia $\int_a^{\to b}\fxla dx$ es uniformemente convergente en \Lam .\\
\end{enumerate}
Definamos la función $\Phi: \Lam \flecha \F$ por:
\begin{equation*}
\boxed{\Phi (\lam)=\int_a^{\to b}\fxla dx, \phantom{s} \todo \lam \en }
\end{equation*}
\underline{Entonces $\Phi$ es continua en el punto $\mu$.}\\
\underline{Demostración.}\\
Sea $\lbrace \lam_\upsilon \rbrace$ una sucesión de puntos de \Lam \phantom{} tal que $\lim_{\upsilon \to +\infty}\lam_\upsilon=\mu$\\
Debemos mostrar que $\lim_{\upsilon \to +\infty} \Phi(\lam_\upsilon)=\Phi (\mu)$.\\
Pongamos: $f_\upsilon (x)=: f(x,\lam_\upsilon) \phantom{s} \todo \upsilon \en \N$ y $\todo x \en ]a,b[$.\\
Por hipótesis 2) : $\lim_{\upsilon \to +\infty}f_\upsilon (x)=f(x,\mu)$ para casi todo \x \en $]a,b[$. \\
Por hipótesis 3) : $\lim_{\upsilon \to +\infty}\int_{a}^\beta f_\upsilon =\int_a^\beta f(x,\mu)dx, \phantom{} \todo \beta ]a,b[.$ \\
Por hipótesis 4): la integral impropia $\int_a^{\to b}f_\upsilon$ es uniformemente convergente con respecto $\upsilon$.\\
De estos resultados se sigue por la prop. 12 que\\
$$\int_a^{\to b} f(x,\mu)dx=\lim_{\upsilon \to +\infty}\int_a^{\to b}f_\upsilon$$
Es decir
$$
\Phi (\mu)=\lim_{\upsilon \to + \infty}\Phi (\lam_\upsilon)
$$
\phantom{separado para que funcione bine jajajajaja xd xd} c. q. d
\\ \\
\underline{Integración de funciones definidas por integrales impropias.}\\
\textbf{Proposición 14.} \\
Sea $f:]a,b[ \times \Rn \to flecha$.\\
Se supone:
\begin{enumerate}[i)]
\item \todo $\beta \en ]a,b[$, $f$ es integrable en $]a,\beta[ \times \Rn$.
\item Para casi todo $\lam \en \Rn$, existe la integral impropia $\int_a^{\to b}\fxla dx$.
\item Existe $\beta_o \en ]a,b[$ y $h\en \mathcal{L}_1(\Rn,\R)$ tal que \\
\underline{$||\int_a^\beta \fxla dx || \leq h(\lam)$ para casi todo \lam \en \Rn \phantom{} y \todo $\beta \en [\beta_o,b[$.}
\end{enumerate}
Entonces\\
\begin{equation*}
\boxed{\int_{\Rn}d\lam \int_a^{\to b}\fxla dx=\int_a^{\to b}dx\int_{\Rn}\fxla dx}
\end{equation*}
\underline{Comentario}\\
Sea $\lbrace \beta_\upsilon \rbrace$ una sucesión de puntos
de $]a,b[$ tal que $\lim_{\upsilon \to +\infty}\beta_\upsilon=b$. Por la hipótesis $\mathrm{I}$ y el teorema de Fubini existe un conjunto despreciable $Z_\upsilon$ de \Rn \phantom{} tal que si \lam \en \Rn$-Z_\upsilon$, la función \x \flecha \fxla \phantom{} es integrable en $]a,\beta_\upsilon$. Sea $Z=:\cup_{v=1}^{+\infty}Z_\upsilon$. Si \lam \en \Rn $- Z_\upsilon$ , la función \x \flecha \fxla \phantom{} es integrable en $]a,\beta[$ $\todo \beta \en ]a,b[$. Las hipótesis $\mathrm{II}$ y $\mathrm{III}$ tienen pues sentido.
También por el teorema de Fubini, \todo $\upsilon$ existe un conjunto despreciable $N_\upsilon$ , en $]a,\beta_\upsilon$ tal que si \x \en $]a,\beta_\upsilon[-N_\upsilon$ la función \lam \flecha \fxla \phantom{} es integrable en \Rn . Así pues dicha función es integrable en \Rn \phantom{} para casi todo \x \en $]a,b[$.\\ \\
\underline{Demostración.}\\
Sea $\lbrace \beta_\upsilon \rbrace$ una sucesión de puntos de $]a,b[$ tal que $\lim_{\upsilon \to +\infty}\beta_\upsilon =b$. Tenemos \todo $\upsilon$:
\begin{equation}
\int_{\Rn}d\lam \int_a^{\beta_\upsilon}\fxla dx= \int_a^{\beta_\upsilon}dx \int_{\Rn}\fxla dx.
\end{equation}
siendo ambas integrales reiteradas iguales a la integral $\int_{]a,\beta_\upsilon[ \times \Rn}\fxla dx d\lam$ en virtud del teorema de Fubini.\\
Pongamos $g_\upsilon(\lam)=: \int_a^{\beta_\upsilon} \fxla dx$. \\
Las funciones $g_\upsilon$ están definidas c. t. p. en \Rn \phantom{} y son integrables en \Rn . Además, por hipótesis $\mathrm{II}$):
$$
\lim_{\upsilon \to +\infty}g_\upsilon (\lam) =\int_a^{\to b} \fxla dx
$$
para casi todo \lam \en \Rn .\\
También por hipótesis $\mathrm{III}$ si $\upsilon$ es lo suficientemente grande para que $\beta_\upsilon \en [\beta_o,b[$ se tiene:
$|| g_\upsilon (\lam)|| \leq h(\lam)$ donde $h$ es una función integrable \Rn \flecha \R .\\
Por el teorema de Lebesgue la función límite \lam \flecha $\int_a^{\to b}\fxla d\lam$ es integrable en \Rn \phantom{} y el primer miembro de (1.18) converge para $\upsilon \to +\infty$ a: $\int_{\Rn}d\lam \int_a^{\to b}\fxla dx$. Esto implica que el segundo miembro de (1.18) también converge y, por definición de una integral impropia se tiene:\\
\begin{equation*}
\int_{\Rn}d\lam \int_a^{\to b}\fxla dx=\int_a^{\to b}dx \int_{\Rn}\fxla d\lam
\end{equation*}
\phantom{separado para que funcione bine jajajajajaja xd xd x} c. q. d \\
Si restringimos el recorrido de $\lam$ a un subconjunto integrable de \Rn , podemos acudir, en vez del teorema de Lebesgue, a la convergencia uniforme:\\ \\
\textbf{Proposición 15.}\\
Sea $S$ un subconjunto integrable de \Rn . Sea $f:]a,b[ \times S \flecha \F$. \\
Se supone:
\begin{enumerate}[1)]
\item \underline{\todo $\beta \en ]a,b[$ $f$ es integrable en $]a,\beta[ \times S$.}
\item \underline{\todo \lam \en $S$ y $\todo \beta \en ]a,b[$ existe la integral $\int_a^\beta \fxla dx$.}
\item \underline{La integral impropia $\int_a^{\to b}\fxla dx$ es uniformemente convergente en $S$.}
\end{enumerate}
Entonces
\begin{equation*}
\boxed{\int_S d\lam \int_a^{\to b}\fxla dx=\int_a^{\to b}\fxla d\lam}.
\end{equation*}
\underline{Demostración} \\
Sea $\lbrace \beta_\upsilon \rbrace$ una sucesión de puntos de $]a,b[$ tal que $\lim_{\upsilon \to +\infty}\beta_\upsilon =b$. Por el teorema de Fubini se verifica $\todo \upsilon$:\\
\begin{equation}
\int_S d\lam \int_a^{\beta_\upsilon}\fxla dx=\int_a^{\beta_\upsilon}dx\int_S \fxla d\lam
\end{equation}
$\todo \upsilon$ definimos $g_\upsilon:S\flecha \F$ por: \\
$$
g_\upsilon (\lam)=: \int_a^{\beta_\upsilon}\fxla dx, \phantom{} \todo \lam \en S
$$
La hipótesis 3) implica que la sucesión $\lbrace g_\upsilon \rbrace$ converge uniformemente en $S$ a la función \lam \flecha $\int_a^{\to b} \fxla dx$. Ya que $S$ es un conjunto integrable, sigue de ahí por la prop. 11 del cap. $\mathrm{III}$ que dicha función es integrable en $S$ y que, para $\upsilon \to +\infty$, el primer miembro de (1.19) converge a $\int_S d\lam \int_a^{\to b}\fxla dx$. \\
Pasando al límite en (1.19) para $\upsilon +\infty$ obtenemos: \\
\begin{equation}
\int_S d\lam \int_a^{\to b}\fxla dx=\int_a^{\to b}dx\int_S \fxla dx
\end{equation}
\phantom{separado para que funcione bine jajajajajajaa xd xd} c. q. d \\ \\
\underline{Derivación de funciones definidas por integrales impropias}\\
Recordemos el siguiente teorema clásico del cálculo diferencial sobre la derivación de sucesiones de funciones: \\
Sea $\mathrm{I}$ un intervalo de \R , \F \phantom{} un espacio de Banach. Sea $\lbrace f_\upsilon \rbrace$ una sucesión de funciones $\mathrm{I} \flecha \F$, derivaciones en todo punto de $\mathrm{I}$. \\
Se supone:\\
\begin{enumerate}[i)]
\item Existe $x_o \en \mathrm{I}$ tal que la sucesión $\lbrace f_\upsilon (x_o) \rbrace$ es convergente en \F .
\item La sucesión $\lbrace f_\upsilon' \rbrace$ converge uniformemente en $\mathrm{I}$ a cierta función $g:\mathrm{I}\flecha \F$.
\end{enumerate}
Entonces la sucesión $\lbrace f_\upsilon \rbrace$ converge uniformemente en $\mathrm{I}$ a una función $f:\mathrm{I} \flecha \F$ y se tiene $f'(x)=g(x)$ $\todo x \en \mathrm{I}$.\\
El lector encontrará la demostración p. ej. en H. Cartan: \textit{Cálculo Diferencial}.\\ \\
\textbf{Proposición 16.}\\
Sea $\mathrm{I}$ un intervalo de \R \phantom{} y sea $f:]a,b[ \times \mathrm{I} \flecha \F$.\\
Se supone:
\begin{enumerate}[1)]
\item $\todo \lam \en \mathrm{I}$ la función \x \flecha \fxla \phantom{} es integrable en $]a,\beta[$ \todo $\beta\en ]a,b[$. Se pone: $\Phi_\beta (\lam)=: \int_a^\beta \fxla dx$.
\item Para casi todo \x \en$]a,b[$ y \todo \lam \en $\mathrm{I}$ existe la derivada
\item Se tiene $\Phi_\upsilon' (\lam)=\int_a^\beta f_x'(\lam)dx$ $\todo \beta \en ]a,b[$ y $\todo \lam \en \mathrm{I}$.\\
Esta condición se cumple en particular si $\todo \beta \en ]a,b[$ existe una función $g_\beta:]a,\beta[ \flecha \R$, integrable en $]a,\beta[$ tal que:\\
$|| f_x'(\lam)|| \leq g_\beta (x)$ para casi todo \x \en $]a,\beta [$ y $\todo \lam \en \mathrm{I}$.
\item Existe $\lam_o \en \mathrm{I}$ tal que la integral impropia $\int_a^{\to b}f(x,