4 votos

¿Alguien sabe la definición de $C^{2+\alpha, 1+\frac{\alpha}{2}}(\Omega)$, donde $0<\alpha<1$?

Espero que alguien pueda darme la definición de lo siguiente:

$C^{2+\alpha, 1+\frac{\alpha}{2}}(\Omega)$ para algún $0<\alpha<1$ y algún dominio $\Omega$.

En este contexto también hablan de $\Omega$ como un dominio acotado y de clase $C^{2+\alpha}$. ¿Qué significa esto? (lo de acotado está claro ;) )

Encontré esto en un artículo sobre difusión no local. (Se utiliza en muchos teoremas, pero no hay definición...)

¿Estos espacios tienen un nombre específico? Perdón si esto es algo que debería saber, pero si no conoces el nombre, es realmente difícil de encontrar en Google u en otro lugar ;).

Gracias por tu ayuda.

3voto

Ant Puntos 10516

$C^{2,1}(\Omega)$ generalmente se refiere al conjunto de funciones que son $C^2$ en $\Omega$ con respecto a la primera variable, y $C^1$ con respecto a la segunda.

En caso de tener números "fraccionarios", generalmente se refiere a la condición Holder como se menciona en la otra respuesta.

Decimos que un cierto dominio (abierto y convexo) $\Omega$ es $C^2$ si se cumplen ciertas condiciones específicas[0]; básicamente te dice que localmente, el borde de $\Omega$ puede ser representado por el gráfico de cierta función $C^2$.

[0]

Definición formal

Decimos que $\Omega$ es un dominio $C^1$ si para cada $x \in \partial \Omega$, existe un sistema de coordenadas $(y_1, \dots, y_n) \equiv (\bar y', y_n)$ con origen en $x$, una esfera $B(x)$ y una función $\varphi$, definida en un vecindario $\mathcal N \subset \mathbb R^{n-1}$ de $\bar y' = 0$, tal que

$$\varphi \in C^1(\mathcal N), \varphi(0) = 0$$ $$\partial \Omega \cap B(x) = \{(\bar y', y_n): y_n = \varphi(\bar y'), \bar y' \in \mathcal N\}$$ $$\Omega \cap B(x) = \{(\bar y', y_n): y_n > \varphi(\bar y'), \bar y' \in \mathcal N\}$$

La segunda condición refleja el hecho de que $\partial \Omega$ es localmente el gráfico de una función $C^1$, y la tercera que $\Omega$ está localmente en el mismo lado con respecto a $\partial \Omega.

Si desea un dominio $C^2$ o un dominio de Lipschitz, reemplace el $C^1$ anterior con el espacio correspondiente de funciones ;-)

P.D. Definición tomada de "Ecuaciones diferenciales parciales" por Salsa

0 votos

Gracias muchas. Esto debería ser la definición correcta.

0 votos

@Mathnix Acabo de agregar la definición formal para el dominio $C^1$ ya que no la encontré en Wikipedia ;-)

0 votos

Gracias. Ya conocía esta definición en el caso de que tengamos números naturales en el exponente. Solo estaba confundido acerca del número real que tenemos ahora. Pero con tu definición ahora está claro.

2voto

par Puntos 5570

Mi suposición sería una condición de Hölder.

0 votos

Gracias. Esto debería estar correcto.

0 votos

He encontrado esta pregunta y creo que estoy leyendo el mismo documento sobre un problema de difusión no local, con la misma duda. Creo que no puede ser condición de Hölder porque la definición en tu enlace dice que $1+\alpha/2$ implica que la función es constante. ¿Estoy viendo algo mal? A partir de la respuesta anterior, creo que es $2+\alpha$ con $0<\alpha<1$ pero no entiendo este índice y tu clase de continuidad. Realmente quiero entender esto mejor.

0 votos

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