En matemáticas , una clase de funciones cuasi-analíticas es una generalización de la clase de funciones analíticas reales basada en el siguiente hecho: Si f es una función analítica en un intervalo [ a , b ] ⊂ R , y en algún punto f y todos de sus derivadas son cero, entonces f es idénticamente cero en todos [ a , b ]. Las clases cuasianalíticas son clases más amplias de funciones para las cuales esta afirmación sigue siendo válida.
Definiciones
Sea una secuencia de números reales positivos. Entonces la clase de funciones Denjoy-Carleman C M ([ a , b ]) se define como aquellas f ∈ C ∞ ([ a , b ]) que satisfacen![{\displaystyle M=\{M_{k}\}_{k=0}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left|{\frac {d^{k}f}{dx^{k}}}(x)\right|\leq A^{k+1}k!M_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todo x ∈ [ a , b ], alguna constante A y todos los enteros no negativos k . Si M k = 1 esta es exactamente la clase de funciones analíticas reales en [ a , b ].
La clase C M ([ a , b ]) se dice cuasi-analítica si siempre que f ∈ C M ([ a , b ]) y
![{\displaystyle {\frac {d^{k}f}{dx^{k}}}(x)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para algún punto x ∈ [ a , b ] y todo k , entonces f es idénticamente igual a cero.
Una función f se llama función cuasianalítica si f está en alguna clase cuasianalítica.
Funciones cuasianalíticas de varias variables.
Para una función y índices múltiples , denota y ![{\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle j=(j_{1},j_{2},\ldots ,j_{n})\in \mathbb {N} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |j|=j_{1}+j_{2}+\ldots +j_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D^{j}={\frac {\partial ^{j}}{\partial x_{1}^{j_{1}}\partial x_{2}^{j_{2}}\ldots \ parcial x_ {n} ^ {j_ {n}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle j!=j_{1}!j_{2}!\ldots j_{n}!}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y
![{\displaystyle x^{j}=x_{1}^{j_{1}}x_{2}^{j_{2}}\ldots x_{n}^{j_{n}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces se llama cuasianalítico en el conjunto abierto si para cada compacto existe una constante tal que ![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U\subset \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K\subconjunto U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left|D^{j}f(x)\right|\leq A^{|j|+1}j!M_{|j|}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todos los índices múltiples y todos los puntos .![{\displaystyle j\in \mathbb {N} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La clase Denjoy-Carleman de funciones de variables con respecto a la secuencia en el conjunto se puede denotar , aunque abundan otras notaciones. ![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{n}^{M}(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se dice que la clase Denjoy-Carleman es cuasianalítica cuando la única función que tiene todas sus derivadas parciales iguales a cero en un punto es la función idénticamente igual a cero.![{\displaystyle C_{n}^{M}(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una función de varias variables se dice que es cuasianalítica cuando pertenece a una clase cuasianalítica de Denjoy-Carleman.
Clases cuasianalíticas con respecto a secuencias logarítmicamente convexas
En las definiciones anteriores es posible asumir que y que la secuencia no es decreciente. ![{\displaystyle M_{1}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se dice que la secuencia es logarítmicamente convexa , si ![{\displaystyle M_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
esta incrementando.
Cuando es logarítmicamente convexo, entonces es creciente y ![{\displaystyle M_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (M_{k})^{1/k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todos .![{\displaystyle (r,s)\in \mathbb {N} ^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La clase cuasianalítica con respecto a una secuencia logarítmicamente convexa satisface:![{\displaystyle C_{n}^{M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un anillo. En particular, está cerrado bajo multiplicación.
está cerrado bajo composición. Específicamente, si y , entonces .![{\displaystyle f=(f_{1},f_{2},\ldots f_{p})\in (C_{n}^{M})^{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle g \ en C_ {p} ^ {M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\circ f\in C_{n}^{M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El teorema de Denjoy-Carleman
El teorema de Denjoy-Carleman, demostrado por Carleman (1926) después de que Denjoy (1921) diera algunos resultados parciales, da criterios sobre la secuencia M bajo la cual C M ([ a , b ]) es una clase cuasi analítica. Afirma que las siguientes condiciones son equivalentes:
- C M ([ a , b ]) es cuasianalítico.
dónde .![{\displaystyle L_{j}=\inf _{k\geq j}(k\cdot M_{k}^{1/k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
, donde M j * es la secuencia log convexa más grande limitada arriba por M j .![{\displaystyle \sum _{j}{\frac {M_{j-1}^{*}}{(j+1)M_{j}^{*}}}=\infty.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La prueba de que las dos últimas condiciones son equivalentes a la segunda utiliza la desigualdad de Carleman .
Ejemplo: Denjoy (1921) señaló que si M n está dado por una de las secuencias
![{\displaystyle 1,\,{(\ln n)}^{n},\,{(\ln n)}^{n}\,{(\ln \ln n)}^{n},\, {(\ln n)}^{n}\,{(\ln \ln n)}^{n}\,{(\ln \ln \ln n)}^{n},\dots,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
entonces la clase correspondiente es cuasianalítica. La primera secuencia proporciona funciones analíticas.
Propiedades adicionales
Para una secuencia logarítmicamente convexa se cumplen las siguientes propiedades de la clase de funciones correspondiente:![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
contiene las funciones analíticas, y es igual a ella si y sólo si![{\displaystyle \sup _{j\geq 1}(M_{j})^{1/j}<\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es otra secuencia logarítmicamente convexa, con alguna constante , entonces .
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{j}\leq C^{j}N_{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{M}\subconjunto C^{N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es estable bajo diferenciación si y sólo si .![{\displaystyle \sup _{j\geq 1}(M_{j+1}/M_{j})^{1/j}<\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Para cualquier función infinitamente diferenciable existen anillos cuasianalíticos y y elementos , y , tales que .
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\en C^{M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h\en C^{N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f=g+h}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
División de Weierstrass
Se dice que una función es regular de orden con respecto a si y . Dado regular de orden con respecto a , se dice que un anillo de funciones reales o complejas de variables satisface la división de Weierstrass con respecto a si para cada hay , y tal que ![{\displaystyle g:\mathbb {R} ^{n}\to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle g (0, x_ {n}) = h (x_ {n}) x_ {n} ^ {d}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h(0)\neq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle A_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle f \ en A_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q\en A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h_{1},h_{2},\ldots,h_{d-1}\in A_{n-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con .![{\displaystyle h(x',x_{n})=\sum _{j=0}^{d-1}h_{j}(x')x_{n}^{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si bien el anillo de funciones analíticas y el anillo de series de potencias formales satisfacen la propiedad de división de Weierstrass, no ocurre lo mismo con otras clases cuasianalíticas.
Si es logarítmicamente convexa y no es igual a la clase de función analítica, entonces no satisface la propiedad de división de Weierstrass con respecto a .![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g(x_{1},x_{2},\ldots ,x_{n})=x_{1}+x_{2}^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Referencias
- Carleman, T. (1926), Les fonctions quasi-analytiques , Gauthier-Villars
- Cohen, Paul J. (1968), "Una prueba simple del teorema de Denjoy-Carleman", The American Mathematical Monthly , 75 (1), Mathematical Association of America: 26–31, doi :10.2307/2315100, ISSN 0002-9890 , JSTOR 2315100, SEÑOR 0225957
- Denjoy, A. (1921), "Sur les fonctions quasi-analytiques de variable réelle", CR Acad. Ciencia. París , 173 : 1329-1331
- Hörmander, Lars (1990), El análisis de operadores diferenciales parciales lineales I , Springer-Verlag, ISBN 3-540-00662-1
- Leont'ev, AF (2001) [1994], "Clase cuasianalítica", Enciclopedia de Matemáticas , EMS Press
- Solomentsev, ED (2001) [1994], "Teorema de Carleman", Enciclopedia de Matemáticas , EMS Press