4 votos

Ejemplos de $C^1(\mathbb{R}^2)$ funciones donde los parciales mixtos no son iguales en ninguna parte

Sé que hay ejemplos de funciones que son dos veces diferenciables, pero las parciales mixtas $f_{xy}\neq f_{yx}$ en el origen $(0,0)$ .

¿Hay ejemplos de funciones en las que los parciales mixtos existen, pero son iguales en ninguna parte ? Sé que una condición necesaria es que los parciales mixtos sean discontinuos. Mi pregunta se puede plantear formalmente en tres partes:

Para ambos casos, supongamos que existen las segundas derivadas parciales.

$1)$ dejar $f\in C^1(\mathbb{R}^2)$ . ¿Existen subconjuntos $E \subset\mathbb{R}^2$ donde $\mu(E)> 0$ donde $f_{xy}\neq f_{yx}$ (donde $\mu(E)$ denota la medida de Lebesgue de $E$ ). Obsérvese que el hecho de haber mezclado los parciales $f_{xy}\neq f_{yx}$ en el origen responde afirmativamente a esta pregunta para $\mu(E)=0$ ya que si $E=\{(0,0)\}$ entonces $\mu(E)=0$ Y conocemos muchos ejemplos en los que esto ocurre.

$2)$ dejar $f\in C^1(\mathbb{R}^2)$ . ¿Es posible que $f_{xy}$ sea continua en un conjunto $\mu(E)\geq 0, $ y $f_{xy}\neq f_{yx}$ ¿en todas partes o al menos en casi todas?

$3)$ ¿las respuestas a estas preguntas serían lo suficientemente interesantes como para publicarlas como contraejemplos o teoremas? No he podido encontrar información sobre estos dos casos, y mucho menos generalizaciones a funciones con $f\in C^1(\mathbb{R}^n)$ Me hace pensar que podrían ser preguntas de investigación interesantes.

2voto

Yizhen Chen Puntos 164

Si $f_{xy}$ y $f_{yx}$ se supone que existen en todas partes, entonces podemos hacer $f_{xy}-f_{yx}$ para ser el indicador de un conjunto de Cantor con medida positiva.

Si $f_{xy}$ y $f_{yx}$ sólo se supone que existen en casi todas partes, entonces podemos hacer $f_{xy}\ne f_{yx}$ casi en todas partes.

En cualquier punto donde $f_{xy}$ es continua y $f_y$ se define, tenemos $f_{xy}=f_{yx}$ .

He publicado las pruebas de estos resultados en mi blog: Parte 1 y Parte 2 .

Hay un comentario que dice que como distribuciones tenemos $f_{xy}=f_{yx}$ . De hecho, si se supone que son $L^2$ entonces son iguales en casi todas partes.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X