1
vote
0answers
10 views

How to identify $L^2(Q_T)$ and $L^2(0, T; L^2(\Omega))$? (measurability of function)

How can we identify $L^2(Q_T)$ and $L^2(0, T; L^2(\Omega))$? For my understanding: $Q_T:=(0, T)\times \Omega$; DEF1: $L^2(Q_T)=\{u: (0, T)\times \Omega \to \mathbb{R}, \mbox{measurable and} ...
0
votes
1answer
23 views

Continuity of a composition map between Holder spaces

Let $\varphi\in C^{\infty}_0(\mathbb{R})$, $0<\alpha<1$, $\Omega\subset\mathbb{R}^d$ be a bounded domain. Is it true that the map $\Phi:C^{0,\alpha}(\bar{\Omega})\to ...
0
votes
1answer
45 views

boundary conditions for operator

if you have a Schrödinger operator on a sphere ( $\mathbb{S}^2$) $-\Delta_{\theta,\phi} \psi(\theta,\phi) + V(\theta) \psi(\theta,\phi) = E\psi(\theta,\phi),$ where the potential does not depend on ...
2
votes
1answer
23 views

The spectrum of $L:=-\Delta+V(x)$ on complex $L^2(\mathbb{R}^N)$ and real $L^2(\mathbb{R}^N)$

In general, when one talks about the spectrum of an self-adjoint operator, it is naturally considered in a complex Hilbert space (say $L^2(\mathbb{R}^N,\mathbb{C})$). Moreover, the spectral ...
2
votes
0answers
30 views

Laplacian on $\mathbb{S}^2$ has a pure point spectrum

Consider an operator $T = -\Delta + V(\theta)$ where $V(\theta)$ is $C^{\infty}$ and $T : C^{\infty}(\mathbb{S}^2) \subset L^2(\mathbb{S}^2)\rightarrow C^{\infty}(\mathbb{S}^2).$ I was wondering why ...
0
votes
0answers
48 views
+100

Solution of parabolic PDE system

For the following parabolic PDE system, $u(x,t)$ and $v(x,t)$ are functions of independent variables $x$ and $t$, $x\in[a,b]$. \begin{equation} \begin{cases} \frac{\partial}{\partial ...
0
votes
2answers
51 views

Sobolev space on union of two open sets

Let $\Omega_1,\Omega_2 \subset \mathbb{R}^n$ be open sets. Let $p \in [1,\infty]$. Let $u: \Omega_1 \cup \Omega_2 \to \mathbb{R}$ be a function such that $u|_{\Omega_1} \in W^{1,p}(\Omega_1)$ and ...
0
votes
2answers
40 views

How is this boundary condition $\lim_{t \rightarrow -\infty} f(x,t) = y_0(x)$ for a PDE called?

If you have a diffusion equation $\partial_t f(x,t) = \partial_x^2 f(x,t) $, where $(x,t) \in [0,a] \times \mathbb{R}$ and then you say $\lim_{t \rightarrow -\infty} f(x,t) = y_0(x)$, how do you call ...
1
vote
1answer
22 views

Is it a Sobolev function?

Let $U=(-1,1)\times(-1,1)$. Define $$ u(x)=\begin{cases}1-x_1 \;\;\text{if}\;\;x_1>0,|x_2|<x_1 \\1+x_1\;\;\text{if}\;\;x_1<0, ...
2
votes
0answers
28 views

Passing to the limit in equation with null sets (related to Bochner space)

Let $S \subset L^2(0,T;V)$ be a subset with the embedding dense, where $V$ is separable Hilbert space. Let $f:[0,T]\times V \to \mathbb{R}$ be continuous in the second argument. Suppose that for all ...
1
vote
1answer
44 views

Weak derivative zero implies constant function

Let $u\in W^{1,p}(U)$ such that $Du=0$ a.e. on $U$. I have to prove that $u$ is constant a.e. on $U$. Take $(\rho_{\varepsilon})_{\varepsilon>0}$ mollifiers. I know that ...
3
votes
0answers
62 views

Equivalence of two definitions of weak solution (from a book, I don't understand something!!!!)

Consider $$y_t - \Delta y = f$$ $$y(0) = y_0$$ with zero boundary condition. Let $a(t,.,.)$ be the bilinear form associated to $-\Delta$. We have two definitions of weak solutions: We have $y \in ...
2
votes
0answers
42 views

Proving a PDE has a particular weak form (check my proof please!)

Let $u_t - \Delta u = f$ hold in $L^2(0,T;H^{-1})$ for a solution $u \in L^2(0,T;H^1_0)$ with $u_t \in L^2(0,T;H^{-1})$. This means $$\int_0^T \left(\langle u_t(t), v(t)\rangle + \int_\Omega \nabla ...
1
vote
0answers
17 views

The absolutely continuous representative of $t \mapsto (u(t), v(t))_{L^2}$

Let $u,v \in L^2(0,T;H^1_0)$ with $u_t, v_t \in L^2(0,T;H^{-1})$. We know that $$t \mapsto (u(t), v(t))_{L^2}$$ is absolutely continuous after a change on a set of measure zero. Do we always ...
2
votes
0answers
40 views

$-p_{xx}+f(p)=0$ has a unique solution $p$

In a paper I am reading they have the following as a Lemma without proof. So I am trying to prove it myself. Suppose that $f:\mathbb{R}\to \mathbb{R}$ that satisfies the following: $f'(0) >0$ ...
1
vote
1answer
26 views

Density of $C\infty([0,T];V)$ in $W(0,T;V,V)$.

Let $W=\{ u \in L^2(0,T;V) : u_t \in L^2(0,T;V)\}$ where $V$ is a Hilbert space in the Gelfand triple $V \subset H \subset V^*$ and $u_t$ is the weak time derivative. Is it true that ...
1
vote
2answers
28 views

Time derivative of operator

I have to compute, at least formally, the following derivative $$\partial_t \exp(it\Delta)f(x-ct)$$ where $\Delta$ is the Laplacian and $c$ is a constant. I know that $e^{it\Delta}$ is the Schrodinger ...
1
vote
1answer
76 views

Cauchy Schwarz in an integral with distributions.

I am working with energy methods for PDE's and I have a expression of the following form: \begin{equation} \int f \phi\phi_{j} \end{equation} under the conditions that $f\in L^{\infty}, \phi\in ...
2
votes
1answer
29 views

Solution transport equation

I have to solve the following equation $$\partial_t v+2A\cdot\nabla v-iB(x)\cdot Av=0$$ where $A$ is a constant vector and $B$ a smooth vector field. I can solve the transport equation $\partial_t ...
3
votes
1answer
41 views

Gronwall type inequality

Is there a Gronwall-type inequality for bounding $u(t)$ such that $$\vert \partial_t u(t)\vert\leq C \{ u(t)+u(t)^\alpha\}$$ with $\alpha>1$ ?
0
votes
1answer
29 views

Partition of Unity's Lemma

Let $V\subset\mathbb{R}^n$ compact, $\Omega\subset\mathbb{R}^n$ open, $V\subset\Omega$, $\delta:=\inf\{|x-y|\mid x\in V,y\notin\Omega\}$, $U:=\left\{x \mid |x-y|<\frac{\delta}{2}\,\,\text{for ...
0
votes
1answer
63 views

The proof of a Sobolev embedding inequality by a compactness argument

I want to prove the following If $N\ge 3$ there exists a constant $c_0=c_0(\Omega)$ such that for all $\alpha\ge 1$ and $z\in H^1(\Omega)$ \begin{align} ...
1
vote
1answer
63 views

Techniques to solve such a PDE

I have the eigenvalues problem on $[0,\pi] \times [0,2\pi]$ $$\left(\frac{1}{\sin\theta}\frac{\partial}{\partial \theta} \left[\sin\theta \frac{\partial}{\partial \theta}\right] + ...
2
votes
1answer
58 views

Composition operator on Sobolev space

I am trying to consider hypothesis on $g$ such that the operator $$ H_0^1 (\Omega) \to H^{-1}(\Omega), \qquad v \mapsto g(v) $$ is $\mathcal C^1$. Of course, $g(0) = 0$. I believe that $g \in ...
1
vote
0answers
41 views

How to select a strongly convergent subsequence from a weak convergent sequence in $L^2$?

Let $(p_n)_{n \in \mathbb N}$ be a sequence of probability density functions, which satisfies i)$$ \partial_t p_n (t,x) = \partial_{xx} (a_n (t,x) p_n (t,x)), $$ where $a_n$ is a sequence upper ...
1
vote
1answer
33 views

Two theorems about approximation by smooth functions

Let $U$ be an open subset of $\mathbb{R}^{n}$. The following are two theorems taken from the chapter about Sobolev Spaces of the Evans' book. Theorem 1 Assume $u\in W^{k,p}(U)$ for some $1\le ...
1
vote
0answers
20 views

The use of Schauder fixed point in ladyzehskaya

The book Linear and Quasilinear equations of parabolic type gives the uniform parabolic pde theory in the literature. Ladyzhenskaya use Leray-Schauder rather than Schauder fixed point theorem. why? ...
2
votes
1answer
66 views

Is it true that $L^2$ is compactly embedded in $(W^{1,2}_{0})^{\ast}$?

Is it true that $L^{2}(\mathbb R^{n})$ is compactly embedded in $(W^{1,2}_{0}(\mathbb R^{n}))^{\ast}$? If so, how can I prove it? Context I've just started to study Functional Analysis. I tried to ...
0
votes
0answers
22 views

boundary conditions and existence theorem

I am studying existence and uniqueness of the weeks elution of a system of nonlinear parabolic PDE subject to initial and boundary conditions. I wonder whether changing boundary conditions will lead ...
1
vote
1answer
22 views

Existence theorem in Gilbarg and Trudinger

When attending talks in PDE I often heard "existence proof follow from Gilbarg and Trudinger..." Could anyone tell me rough what is the existence theorem for elliptic PDE roughly about? (My ...
0
votes
0answers
28 views

Solution of nonhomogeneous problem using semigroup of linear operators

Let $X$ be a complex Hilbert space; and let $A:D(A)\subset X \to X$ be a $\mathbb C-$linear operator. Assume that $A$ is self-adjoint(so that $D(A)$ is a dense subset of $X$) and that $A\leq 0$ (i.e., ...
1
vote
1answer
32 views

Smoothing effect for weak solutions of heat equation

Let $u_0 \in L^2$ and $f \in L^2(0,T;H^{-1})$ and consider the solution $u \in L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$ of $$u_t - \Delta u = f$$ $$u(0) = u_0$$ with some BC (eg. zero Dirichlet). I am ...
1
vote
1answer
33 views

Which functions lies in $H^{loc}_{s}\setminus H_{s}$?

We put $H^{s}=$The Sobolev spaces, and $H^{loc}_{s}=$The localized Sobolev spaces. We note that, $H_{s}\subset H^{loc}_{s};$ also this. Bit roughly speaking, I am interested in knowing that how big ...
1
vote
0answers
31 views

Besov–Zygmund spaces and the Inverse Function Theorem, is the Inverse Zygmund?

Preliminary Definitions Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
2
votes
0answers
26 views

Comparison and maximum principle for parabolic pde

I was told the comparison principle can also be understood as the fact that the difference between a subsolution and a supersolution satisfies the maximum principle. I also know comparison principle ...
1
vote
0answers
31 views

Is Sobolev regularity propagated under evolution?

Given a well-posed initial problem in a domain $\Omega$ of the form: \begin{equation} \square\phi=f \end{equation} where $\square$ is the wave operator, $f\in L^{2}(\Omega)$, with initial ...
1
vote
1answer
73 views

Misunderstanding about Laplace operator

Let $\Omega$ be a bounded subset of $\mathbb{R}^n$. We know that the Laplace operator \begin{align} \Delta \colon H_0^1(\Omega) \to L^2(\Omega) \end{align} admits an inverse operator \begin{align} A ...
0
votes
0answers
39 views

when does classical theory of parabolic PDE fail

I am reading a paper on degenerate parabolic PDE and I am confused about the following statement. " Diffusion coefficient is $mu^{m-1}$, and it vanishes when $u=0$. Hence at all those points where ...
1
vote
2answers
40 views

a custom designed cutoff function whose derivative is bounded above.

I am trying to find a $C^\infty$ function $\phi(t)$ with the following properties. $\phi(t) =1$ for $\lvert t \rvert \le 1$ $\phi(t)$=0 for $t \geq 2$ $\lvert \phi'(t) \rvert \le 2 $ I have tried ...
0
votes
0answers
51 views

Open problems in variational analysis/PDEs

I wasn't sure whether this question was more appropriate for StackExchange or Overflow, but in any case I would really appreciate it if any active researchers in the field responded. I'm a PhD ...
1
vote
1answer
43 views

Strong maximum principle for weak solutions?

For a general linear parabolic equation, is a strong maximum principle possible when the solutions are merely weak solutions (i.e. they lie in a Bochner space)? Is there some proof possible that does ...
1
vote
0answers
42 views

Inequality $\Big\| f_1(x) \overline{f_2(x)} |f_3 (x)|\Big\|_{H^1(\mathbb R)} \le C\|f(x)\|_{L^\infty(\mathbb R)}^2 \|f(x)\|_{H^1(\mathbb R)}$

For complex-valued functions $f_1, f_2, f_3:\mathbb R\to\mathbb C$, I want to know that the following inequality holds: $$ \Big\| f_1(x) \overline{f_2(x)} |f_3 (x)|\Big\|_{H^1(\mathbb R)} \le ...
0
votes
0answers
42 views

general existence theorem of nonlinear parabolic PDE on a unit circle

I wish to study existence/uniqueness of the solutions to a system (possibly coupled) of nonlinear PARABOLIC PDE arise from biology on a unit circle. Could any one suggest me any references for ...
1
vote
2answers
74 views

Eigenvalues of symmetric elliptic operators

As stated in one of my previous questions already, I have not had so much exposure to theoretical linear algebra. This time, I'm reading a theorem and proof from PDE Evans, 2nd edition, pages 335-356. ...
3
votes
0answers
33 views

Weakening Sobolev coefficient in an elliptic estimate.

One of the classical estimates for Sobolev norms and elliptic operators is the following: let $L$ be an elliptic operator of order $l$, then there is some $C > 0$ such that for all $u \in H^{s+l}$ ...
2
votes
1answer
32 views

Convergence in $L^p(0,T;L^q(\Omega))$

If $\Omega\subset\mathbb{R}^3$ is bounded, $$f_n\to f\mbox{ in }L^q(0,T;L^p(\Omega)),\,1\leq q<\infty,\,1\leq p<2 $$ and $$f_n\to g\mbox{ weak-star in } L^\infty(0,T;L^2(\Omega)),$$ then $f=g$ ...
1
vote
0answers
39 views

An exercise about Fourier transform and $H^s$ in Treves

In Treves, the Fourier transform is defined by $\hat{f}(\xi)=\int {e^{-i\langle\xi,\space x\rangle} f(x) dx}$. The following is the problem, where I have figured out almost all of the questions except ...
1
vote
1answer
18 views

Reference on Riesz representation theorem for $L^p(0,T,X)$ spaces.

Brezis Functional Analysis book proves the following Riesz representation theorems for usual $L^p(\Omega)$ spaces: In what book can we find an analogous of these theorems for $L^p(0,T,X)$ spaces? ...
2
votes
1answer
23 views

Definition of $H^{-1}$ space in Evans' PDE book

Let $U$ be an open, bounded subset of $R^n.$ Evans' well known PDE book defines the spaces: -$H_0^1(U)$:= $\{f\in H^1(U): \text{there exists a sequence} \; \phi_n \to f \; \text{in the} \; H^1(U) ...
0
votes
0answers
36 views

Parabolic PDEs and Gradient Systems

Apologize in advance for the length of this question, I need some help in clearing some things up that I haven't quite got my head around yet. It seems to be easy to find things out about finite ...