stringtranslate.com

Integral de Henstock-Kurzweil

En matemáticas , la integral de Henstock-Kurzweil o integral de Riemann generalizada o integral de calibre —también conocida como integral de Denjoy (estrecha) ( pronunciada [dɑ̃ʒwa] ), integral de Luzin o integral de Perron , pero que no debe confundirse con la integral de Denjoy amplia más general— es una de varias definiciones no equivalentes de la integral de una función . Es una generalización de la integral de Riemann y, en algunas situaciones, es más general que la integral de Lebesgue . En particular, una función es integrable según el método de Lebesgue en un subconjunto de si y solo si la función y su valor absoluto son integrables según el método de Henstock-Kurzweil.

Esta integral fue definida por primera vez por Arnaud Denjoy (1912). Denjoy estaba interesado en una definición que permitiera integrar funciones como:

Esta función tiene una singularidad en 0 y no es integrable según el método de Lebesgue. Sin embargo, parece natural calcular su integral excepto en el intervalo y luego sea .

En un intento de crear una teoría general, Denjoy utilizó la inducción transfinita sobre los posibles tipos de singularidades, lo que complicó bastante la definición. Otras definiciones fueron dadas por Nikolai Luzin (utilizando variaciones sobre las nociones de continuidad absoluta ) y por Oskar Perron , que estaba interesado en las funciones mayores y menores continuas . Llevó un tiempo entender que las integrales de Perron y Denjoy son en realidad idénticas.

Más tarde, en 1957, el matemático checo Jaroslav Kurzweil descubrió una nueva definición de esta integral, elegantemente similar en naturaleza a la definición original de Riemann , que Kurzweil llamó la integral de calibre . En 1961, Ralph Henstock introdujo de forma independiente una integral similar que extendió la teoría, citando sus investigaciones de las extensiones de Ward a la integral de Perron. [1] Debido a estas dos importantes contribuciones, ahora se conoce comúnmente como la integral de Henstock-Kurzweil . La simplicidad de la definición de Kurzweil hizo que algunos educadores defendieran que esta integral debería reemplazar a la integral de Riemann en los cursos introductorios de cálculo . [2]

Definición

Siguiendo a Bartle (2001), dada una partición etiquetada de , es decir, junto con la etiqueta de cada subintervalo definida como un punto, definimos la suma de Riemann para una función como donde Esta es la suma de la longitud de cada subintervalo ( ) multiplicada por la función evaluada en la etiqueta de ese subintervalo ( ) .

Dada una función positiva que llamamos calibre , decimos que una partición etiquetada P es -buena si

Ahora definimos un número I como la integral de Henstock-Kurzweil de f si para cada ε > 0 existe un calibre tal que siempre que P es -fino, tenemos

Si existe tal I , decimos que f es integrable mediante Henstock-Kurzweil en .

El teorema de Cousin establece que para cada calibre , existe una partición fina P , por lo que esta condición no se puede satisfacer en vacío . La integral de Riemann puede considerarse como el caso especial en el que solo permitimos calibres constantes .

Propiedades

Sea cualquier función.

Dado , es Henstock–Kurzweil integrable en si y solo si es Henstock–Kurzweil integrable tanto en como ; en cuyo caso (Bartle 2001, 3.7),

Las integrales de Henstock-Kurzweil son lineales : dadas funciones integrables y y números reales y , la expresión es integrable (Bartle 2001, 3.1); por ejemplo,

Si f es integrable según Riemann o Lebesgue, entonces también es integrable según Henstock-Kurzweil, y el cálculo de esa integral da el mismo resultado con las tres formulaciones. El importante teorema de Hake (Bartle 2001, 12.8) establece que

siempre que exista cualquiera de los lados de la ecuación, y de la misma manera simétricamente para el límite de integración inferior. Esto significa que si es " integrable de manera impropia según Henstock-Kurzweil", entonces es integrable de manera apropiada según Henstock-Kurzweil; en particular, integrales impropias de Riemann o Lebesgue de tipos como

también son integrales propias de Henstock-Kurzweil. Estudiar una "integral impropia de Henstock-Kurzweil" con límites finitos no tendría sentido. Sin embargo, sí tiene sentido considerar integrales impropias de Henstock-Kurzweil con límites infinitos como

Para muchos tipos de funciones, la integral de Henstock-Kurzweil no es más general que la integral de Lebesgue. Por ejemplo, si f está acotada con soporte compacto , las siguientes son equivalentes:

En general, toda función integrable de Henstock-Kurzweil es medible y es integrable según Lebesgue si y solo si tanto y son integrables según Henstock-Kurzweil. Esto significa que la integral de Henstock-Kurzweil puede considerarse como una " versión no absolutamente convergente de la integral de Lebesgue". También implica que la integral de Henstock-Kurzweil satisface versiones apropiadas del teorema de convergencia monótona (sin requerir que las funciones sean no negativas) y el teorema de convergencia dominada (donde la condición de dominancia se relaja a g ( x ) ≤ f n ( x ) ≤ h ( x ) para algún g , h integrable ).

Si es diferenciable en todas partes (o con un número contable de excepciones), la derivada es integrable de Henstock-Kurzweil, y su integral indefinida de Henstock-Kurzweil es . (Obsérvese que no necesita ser integrable de Lebesgue). En otras palabras, obtenemos una versión más simple y satisfactoria del segundo teorema fundamental del cálculo : cada función diferenciable es, hasta una constante, la integral de su derivada:

Por el contrario , el teorema de diferenciación de Lebesgue sigue siendo válido para la integral de Henstock-Kurzweil: si es Henstock-Kurzweil integrable en , y

entonces casi en todas partes en (en particular, es diferenciable en casi todas partes).

El espacio de todas las funciones integrables mediante Henstock-Kurzweil a menudo está dotado de la norma de Alexiewicz , con respecto a la cual está en forma de barril pero es incompleto .

Utilidad

La integral de calibre tiene una utilidad mayor en comparación con la integral de Riemann, ya que se puede calcular la integral de calibre de cualquier función que tenga un valor constante c, excepto posiblemente en un número contable de puntos . Consideremos, por ejemplo, la función por partes que es igual a uno menos la función de Dirichlet en el intervalo.

Esta función es imposible de integrar utilizando una integral de Riemann porque es imposible hacer intervalos lo suficientemente pequeños para encapsular los valores cambiantes de f ( x ) con la naturaleza de mapeo de las particiones etiquetadas -finas.

El valor del tipo de integral descrito anteriormente es igual a , donde c es el valor constante de la función y a, b son los puntos finales de la función. Para demostrar esto, sea dado y sea una partición etiquetada con etiquetas e intervalos de con etiquetas y sea la función por partes descrita anteriormente. Considere que donde representa la longitud del intervalo . Nótese que esta equivalencia se establece porque la suma de las diferencias consecutivas en longitud de todos los intervalos es igual a la longitud del intervalo (o ).

Mediante la definición de la integral de calibre, queremos demostrar que la ecuación anterior es menor que cualquier valor dado . Esto produce dos casos:

Caso 1: (Todas las etiquetas de son irracionales ):

Si ninguna de las etiquetas de la partición etiquetada es racional , entonces siempre será 1 según la definición de , es decir . Si este término es cero, entonces para cualquier longitud de intervalo, la siguiente desigualdad será verdadera:

Entonces, para este caso, 1 es la integral de .

Caso 2: (Alguna etiqueta de es racional):

Si una etiqueta de es racional, entonces la función evaluada en ese punto será 0, lo cual es un problema. Como sabemos que es -fina, la desigualdad se cumple porque la longitud de cualquier intervalo es más corta que su cobertura por la definición de ser -fina. Si podemos construir un indicador a partir del lado derecho de la desigualdad, entonces podemos demostrar que se cumplen los criterios para que exista una integral.

Para ello, dejemos y ajustemos nuestros calibres de cobertura , lo que hace

De esto tenemos que

Porque como serie geométrica . Esto indica que para este caso, 1 es la integral de .

Dado que los casos 1 y 2 son exhaustivos, esto demuestra que la integral de es 1 y se cumplen todas las propiedades de la sección anterior.

Integral de McShane

La integral de Lebesgue en una línea también se puede presentar de manera similar.

Si tomamos la definición de la integral de Henstock-Kurzweil de arriba y eliminamos la condición

Entonces obtenemos una definición de la integral de McShane , que es equivalente a la integral de Lebesgue. Nótese que la condición

Todavía se aplica, y técnicamente también requerimos que se defina.

Véase también

Referencias

Notas al pie

  1. ^ Ecuaciones diferenciales ordinarias generalizadas en espacios abstractos y aplicaciones. Everaldo M. Bonotto, Marcia Federson, Jacqueline G. Mesquita. Hoboken, NJ. 2021. pp. 1–3. ISBN 978-1-119-65502-2.OCLC 1269499134  .{{cite book}}: CS1 maint: location missing publisher (link) CS1 maint: others (link)
  2. ^ "Carta abierta a los autores de libros de cálculo" . Consultado el 27 de febrero de 2014 .

General

Enlaces externos

Los siguientes son recursos adicionales en la web para obtener más información: