6 votos

Demostrar que $\{S(t)\}_{t \ge 0}$ no es un semigrupo de contracción en $L^\infty(\mathbb{R}^n)$

Definir para $t > 0$ $$[S(t)g](x) = \int_{\mathbb{R}^n} \Phi(x-y,t)g(y) \, dy \quad (x \in \mathbb{R}^n),$$ donde $g : \mathbb{R}^n \to \mathbb{R}$ y $\Phi$ es la solución fundamental de la ecuación del calor. También se establece $S(0)g=g$ .

(a) Demostrar $\{S(t)\}_{t \ge 0}$ es un semigrupo de contracción en $L^2(\mathbb{R}^n)$ .

(b) Mostrar $\{S(t)\}_{t \ge 0}$ es no un semigrupo de contracción en $L^\infty(\mathbb{R}^n)$ .

De PDE Evans, 2ª edición: Capítulo 7, Ejercicio 14. Estoy haciendo la parte (b). Esta pregunta es una continuación de mi pregunta anterior .

Para la parte (b) del problema, estoy buscando $\|[S(t)]g\|_{L^\infty(\mathbb{R}^n)}=\text{ess sup}|S(t)g|$ . ¿Tendría que demostrar que $\|[S(t)]g\|_{L^\infty(\mathbb{R}^n)}=+\infty$ para que la desigualdad $\|[S(t)]g\|_{L^\infty(\mathbb{R}^n)}\le\|g\|_{L^\infty(\mathbb{R}^n)}$ no puede ocurrir? Si es así, entonces esto haría $$\|[S(t)]g\|_{L^\infty(\mathbb{R}^n)}=\text{ess sup}|[S(t)g]|=\text{ess sup}\left|\int_{\mathbb{R}^n}\Phi(xy)g(y)dy\right|=+\infty,$$ Creo.

2 votos

No sé por qué te han votado en contra por esta pregunta tan razonable y bien pensada. Me sorprende mucho que no sea un mapa de contracción en $L^{\infty}$ .

3voto

David-W-Fenton Puntos 16613

$S(t): L^\infty \to L^\infty$ es efectivamente una cartografía de contracción, pero $ t \mapsto S(t)u$ no tiene por qué ser continua en $L^\infty$ en $t = 0$ . Por ejemplo, tome $n = 1$ y $$ u(x) = \begin{cases} 1 \quad (x > 0) \\ 0 \quad (x \le 0) \end{cases} \, . $$ Entonces $S(t)u(x) = \Phi(\frac{x}{\sqrt{t}})$ donde $\Phi = S(1)u$ . Es fácil ver que $\Phi$ es continua y $\Phi(0) = \frac{1}{2}$ . Por lo tanto, $S(t)u$ está cerca de $1/2$ cerca de $x = 0$ para todos $t > 0$ y $\|S(t)u - u\|_\infty = \frac{1}{2}$ para todos $t > 0$ .

0 votos

Si $S(t) : L^\infty(\mathbb{R}^n) \to L^\infty(\mathbb{R}^n)$ es un mapeo de contracción como usted dice, entonces esto significa $\{S(t)\}_{t \ge 0}$ sigue siendo un semigrupo de contracción en $L^\infty(\mathbb{R}^n)$ ? ¿Se equivoca el libro de texto al decir lo contrario?

2 votos

Evans requiere que los semigrupos de contracción sean fuertemente continuos en $t = 0$ según parece. Esto no es válido en $L^\infty$ .

0 votos

Ohh, ya veo. Evans dijo precisamente en la línea inferior de la página 434 que una de las condiciones de ser un semigrupo requiere, para cada $u \in X$ , $$\text{the mapping $ t \mapsto S(t)u $ is continuous from $ [0,\infty) $ into $ X $.}$$ Obviamente, esto incluye $t=0$ como tú dices. Así que $S(t)$ es una contracción cartografía pero $\{S(t)\}_{t \ge 0}$ no es un semigrupo, y mucho menos un semigrupo de contracción, porque la condición anterior puede ser violada por su contraejemplo.

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