Całka Henstocka-Kurzweila

W analizie matematycznej całką Henstocka-Kurzweila lub uogólnioną całką Riemanna, całką cechowania – znaną również jako (wąska) całka Denjoy (wym. [dɑ̃ˈʒwa], nie mylić z bardziej ogólną całką Denjoy), całka Łuzina lub całka Perrona – nazywamy uogólnienie całki Riemanna, a w niektórych przypadkach także całkę ogólniejszą niż całka Lebesgue’a. W szczególności funkcja jest całkowalna w sensie Lebesgue’a wtedy i tylko wtedy, gdy ta funkcja oraz jej wartość bezwzględna są całkowalne w sensie Henstocka-Kurzweila.

Całkę tę po raz pierwszy zdefiniował Arnaud Denjoy (1912). Denjoy był zainteresowany całką, która pozwoliłaby na całkowanie takich funkcji, jak

$f(x)={\frac {1}{x}}\sin \left({\frac {1}{x^{3}}}\right).$

Ta funkcja ma osobliwość w zerze i nie jest całkowalna w sensie Lebesgue’a. Naturalnym pomysłem wydaje się jednak obliczenie tej całki na zbiorze $(-\infty ,-\varepsilon )\cup (\delta ,\infty )$ dla pewnych $\delta ,\varepsilon >0,$ a następnie dokonanie przejścia granicznego $\delta ,\varepsilon \to 0.$

Próbując stworzyć ogólną teorię, Denjoy użył indukcji pozaskończonej nad możliwymi typami osobliwości, co mocno skomplikowało definicję. Inne definicje podał Nikołaj Łuzin (przy użyciu pojęcia ciągłości bezwzględnej) oraz Oskar Perron. Po pewnym czasie zrozumiano, że całki Perrona i Denjoya są w istocie identyczne.

Później, w 1957 roku, czeski matematyk Jaroslav Kurzweil stworzył nową definicję tej całki, elegancko naśladującą pierwotną definicję Riemanna, którą nazwał całką cechowania. Teoria tej całki została opracowana przez Ralpha Henstocka, z tego powodu jest ona obecnie powszechnie znana jako całka Henstocka-Kurzweila. Prostota definicji Kurzweila sprawiła, że niektórzy pedagodzy opowiadają się za tym, aby ta całka zastąpiła całkę Riemanna we wprowadzających kursach z rachunku różniczkowego.

Definicja

Niech $P$ oznacza podział przedziału $[a,b],$ to znaczy zbiór punktów $u_{0},u_{1},\dots ,u_{n}$ takich, że

$a=u_{0}<u_{1}<\ldots <u_{n}=b$

razem z punktowaniami $t_{1},\dots ,t_{n}$ spełniającymi warunek

$t_{i}\in [u_{i-1},u_{i}].$

Wówczas definiujemy sumę riemannowską funkcji

$f\colon [a,b]\to \mathbb {R}$

jako

$\sum _{P}f=\sum _{i=1}^{n}f(t_{i})(u_{i}-u_{i-1}).$

Niech $\delta$ będzie funkcją dodatnią

$\delta \colon [a,b]\to (0,\infty ),$

którą nazywamy cechowaniem. Mówimy, że podział $P$ jest $\delta$-drobny, jeśli

$\forall _{i}\ \ [u_{i-1},u_{i}]\subset [t_{i}-\delta (t_{i}),t_{i}+\delta (t_{i})].$

Liczbę $I$ nazwiemy całką Henstocka-Kurzweila funkcji $f$, jeśli dla każdego $\varepsilon >0$ istnieje cechowanie $\delta$ takie, że jeśli $P$ jest $\delta$-drobny, to

${\Big \vert }\sum _{P}f-I{\Big \vert }<\varepsilon .$

Jeśli takie $I$ istnieje, to mówimy, że $f$ jest całkowalna w sensie Henstocka-Kurzweila na przedziale $[a,b]$.

Twierdzenie Cousina stwierdza, że dla każdego cechowania $\delta ,$ taki $\delta$-drobny podział $P$ przedziału $[a,b]$ istnieje, więc warunek jest spełniony.

Od razu można zauważyć, że całka Riemanna jest szczególnym przypadkiem całki Henstocka-Kurzweila, bo jest to przypadek, kiedy dopuszczamy tylko stałe funkcje $\delta$ .

Własności

• Niech $f\colon [a,b]\to \mathbb {R} .$ Dla ustalonych $a<c<b$ funkcja $f$ jest całkowalna w sensie Henstocka-Kurzweila przedziale $[a,b]$ wtedy i tylko wtedy, gdy jest całkowalna w sensie Henstocka-Kurzweila na obu przedziałach $[a,c]$ i $[c,b],$ wówczas też 

$\int _{a}^{b}f(x)\,dx=\int _{a}^{c}f(x)\,dx+\int _{c}^{b}f(x)\,dx.$

• Całki Henstocka-Kurzweila są liniowe. Dla dowolnych funkcji $f,g\colon [a,b]\to \mathbb {R}$ i liczb rzeczywistych $\alpha ,\beta$ wyrażenie $\alpha f+\beta g$ jest całkowalne i zachodzi równość 

$\int _{a}^{b}\alpha f(x)+\beta g(x)\,dx=\alpha \int _{a}^{b}f(x)\,dx+\beta \int _{a}^{b}g(x)\,dx.$

• Jeśli $f$ jest całkowalna w sensie Riemanna lub Lebesgue’a, to jest ona również całkowalna w sensie Henstocka-Kurzweila, a wartość każdej z całek jest taka sama. Twierdzenie Hake’a stwierdza, że

$\int _{a}^{b}f(x)\,dx=\lim _{c\to b^{-}}\int _{a}^{c}f(x)\,dx,$

o ile tylko obydwie strony równości istnieją. Analogiczny wzór zachodzi dla granicy prawostronnej w lewym końcu przedziału. Oznacza to, że jeśli $f$ całkowalna jako całka niewłaściwa w sensie Henstocka-Kurzweila, to jest też całkowalna w sensie Henstocka-Kurzweila jako całka właściwa. W szczególności niewłaściwe całki Riemanna lub Lebesgue’a postaci

$\int _{0}^{1}{\frac {\sin(1/x)}{x}}\,dx$

są również właściwymi całkami Henstocka-Kurzweila. Badanie niewłaściwej całki Henstocka-Kurzweila o skończonych granicach nie miałoby sensu. Wartościowe jest jednak jest rozważenie niewłaściwych całek Henstocka-Kurzweila na przedziałach nieograniczonych, takich jak 

$\int _{a}^{\infty }f(x)\,dx:=\lim _{b\to \infty }\int _{a}^{b}f(x)\,dx.$

• Dla wielu rodzin funkcji całka Henstocka-Kurzweila nie jest bardziej ogólna niż całka Lebesgue’a. W szczególności, jeżeli $f$ jest funkcją ograniczoną o nośniku zwartym, to następujące stwierdzenia są równoważne:

1. $f$ jest całkowalna w sensie Henstocka-Kurzweila,
2. $f$ jest całkowalna w sensie Lebesgue’a,
3. $f$ jest mierzalna względem miary Lebesgue’a .

• Ogólnie rzecz biorąc, każda funkcja całkowalna w sensie Henstocka-Kurzweila jest mierzalna, a $f$ jest całkowalna w sensie Lebesgue’a wtedy i tylko wtedy, gdy zarówno $f,$ jak i $|f|$ są całkowalne w sensie Henstocka-Kurzweila. Oznacza to, że całkę Henstocka-Kurzweila można traktować jako nie będącą zbieżną bezwzględnie wersję całki Lebesgue’a. Oznacza to również, że całka Henstocka-Kurzweila spełnia odpowiednie wersje twierdzenia Lebesgue’a o zbieżności monotonicznej (bez wymogu nieujemności funkcji) i twierdzenia Lebesgue’a o zbieżności ograniczonej (gdzie warunek ograniczoności jest osłabiony do $g(x)\leqslant f_{n}(x)\leqslant h(x)$ dla pewnych funkcji całkowalnych $g,h$) .

• Jeśli $F$ jest funkcją wszędzie różniczkowalną (poza być może przeliczalnie wieloma punktami), to pochodna $F'$ jest całkowalna w sensie Henstocka-Kurzweila, a jej całka nieoznaczona Henstocka-Kurzweila to $F.$ Jest to mocne twierdzenie, gdyż $F'$ nie musi być całkowalna w sensie Lebesgue’a. Innymi słowy, otrzymujemy prostszą i bardziej satysfakcjonującą wersję podstawowego twierdzenia rachunku całkowego: każda funkcja różniczkowalna jest, z dokładnością do stałej, całką swojej pochodnej:

$F(x)-F(a)=\int _{a}^{x}F'(t)\,dt.$

Odwrotnie, twierdzenie Lebesgue’a o różniczkowaniu obowiązuje także dla całki Henstocka-Kurzweila: jeśli $f$ jest całkowalna w sensie Henstocka-Kurzweila na $[a,b]$ oraz

$F(x)=\int _{a}^{x}f(t)\,dt,$

wtedy równość $F'(x)=f(x)$ zachodzi prawie wszędzie na $[a,b]$ (w szczególności $F$ jest różniczkowalna prawie wszędzie) .

Całka McShane’a

Całkę Lebesgue’a na prostej można również zmodyfikować w podobny sposób.

Jeśli weźmiemy powyższą definicję całki Henstocka-Kurzweila i pominiemy warunek

$t_{i}\in [u_{i-1},u_{i}],$

to otrzymamy definicję całki McShane’a, która jest odpowiednikiem całki Lebesgue’a. Warto zwrócić uwagę na to, że warunek

$\forall _{i}\ \ [u_{i-1},u_{i}]\subset [t_{i}-\delta (t_{i}),t_{i}+\delta (t_{i})]$

nadal zachodzi, jedynie dodatkowo żądamy, aby $t_{i}\in [a,b],$ żeby $f(t_{i})$ było dobrze określone.

Bibliografia

• Robert G. Bartle: A Modern Theory of Integration. T. 32. American Mathematical Society, 2001, seria: Graduate Studies in Mathematics. ISBN 978-0-8218-0845-0. (ang.).brak strony w książce
• Robert G. Bartle, Donald R. Sherbert: Introduction to Real Analysis. Wyd. 3. Wiley, 1999. ISBN 978-0-471-32148-4. (ang.).brak strony w książce
• V.G. Čelidze, A.G. Džvaršeǐšvili: The Theory of the Denjoy Integral and Some Applications. T. 3. World Scientific Publishing Company, 1989, seria: Series in Real Analysis. ISBN 978-981-02-0021-3. (ang.).brak strony w książce
• A.G. Das: The Riemann, Lebesgue, and Generalized Riemann Integrals. Narosa Publishers, 2008. ISBN 978-81-7319-933-2. (ang.).brak strony w książce
• Russell A. Gordon: The integrals of Lebesgue, Denjoy, Perron, and Henstock. T. 4. Providence, RI: American Mathematical Society, 1994, seria: Graduate Studies in Mathematics. ISBN 978-0-8218-3805-1. (ang.).brak strony w książce
• Ralph Henstock: Lectures on the Theory of Integration. T. 1. World Scientific Publishing Company, 1988, seria: Series in Real Analysis. ISBN 978-9971-5-0450-2. (ang.).brak strony w książce
• Jaroslav Kurzweil: Henstock–Kurzweil Integration: Its Relation to Topological Vector Spaces. T. 7. World Scientific Publishing Company, 2000, seria: Series in Real Analysis. ISBN 978-981-02-4207-7. (ang.).brak strony w książce
• Jaroslav Kurzweil: Integration Between the Lebesgue Integral and the Henstock–Kurzweil Integral: Its Relation to Locally Convex Vector Spaces. T. 8. World Scientific Publishing Company, 2002, seria: Series in Real Analysis. ISBN 978-981-238-046-3. (ang.).brak strony w książce
• Solomon Leader: The Kurzweil–Henstock Integral & Its Differentials. CRC, 2001, seria: Pure and Applied Mathematics Series. ISBN 978-0-8247-0535-0.brak strony w książce
• Peng-Yee Lee: Lanzhou Lectures on Henstock Integration. T. 2. World Scientific Publishing Company, 1989, seria: Series in Real Analysis. ISBN 978-9971-5-0891-3. (ang.).brak strony w książce
• Lee Peng-Yee, Rudolf Výborný: Integral: An Easy Approach after Kurzweil and Henstock. Cambridge University Press, 2000, seria: Australian Mathematical Society Lecture Series. ISBN 978-0-521-77968-5. (ang.).brak strony w książce
• Robert M. McLeod: The generalized Riemann integral. T. 20. Washington, D.C.: Mathematical Association of America, 1980, seria: Carus Mathematical Monographs. ISBN 978-0-88385-021-3. (ang.).brak strony w książce
• Charles W. Swartz: Introduction to Gauge Integrals. World Scientific Publishing Company, 2001. ISBN 978-981-02-4239-8. (ang.).brak strony w książce
• Charles W. Swartz, Douglas S. Kurtz: Theories of Integration: The Integrals of Riemann, Lebesgue, Henstock–Kurzweil, and McShane. T. 9. World Scientific Publishing Company, 2004, seria: Series in Real Analysis. ISBN 978-981-256-611-9. (ang.).brak strony w książce