0
votes
1answer
17 views

Coercivity for functional and complete orthonormal system

Consider with $\rho \in W^{1,2}([0,\pi])$ the following functional $$J(\rho)=\frac{1}{2}\int_{0}^{\pi}{\rho^2\,dx}$$ I know that in the $L^{2}([0,\pi])$ the coercivity condition is satisfied, but i'm ...
1
vote
0answers
29 views

the dual space of $L^p$

I am reading some preliminary material to develop a good background in order to study PDE and I came across the following fact The dual space of $L^p$ is $L^q$ where $q$ is the Holder's Conjugate of ...
0
votes
0answers
29 views

Show $u(x,t)$ is analytic in time

$$u_t + u_x + u u_x - u_{xxt} = 0$$ {know: $u$ can be differentiated $\infty$ times with respect to $t$. this fact may or may not be helpful in the proof} how would one approach such problem? i ...
2
votes
0answers
20 views

Relationship between eigenvalues of differential operator and eigenvalues of its adjoint operator.

I am considering $L\phi = -\triangle \phi + u \cdot \nabla \phi$ and its "adjoint" operator $L^* \phi = -\triangle \phi - \nabla \cdot (\phi u)$ on a bounded domain $\Omega \subseteq \mathbb{R}^n$. ...
2
votes
0answers
39 views
+50

How to prove comparison principle for parabolic PDE (nonlinear)

Suppose $F:\mathbb{R} \to \mathbb{R}$ is smooth with $F(x) > 0$ for $x > 0$ and $F:(0,\infty) \to (0,\infty)$ continuous and increasing with $F(0) = 0$. Consider the PDE $$u_t = \Delta F(u) ...
0
votes
0answers
15 views

Pseudo-monotone operators research paper question

Hi I just want to know if anyone can see how the result (2.34) is obtained in the following research paper http://caa.epfl.ch/publications/9-Boccardo-Dacorogna1984.pdf. Thanks, I know that it is a ...
2
votes
1answer
90 views

Second Derivative of Eigenvalue

Consider the potential $V_t=tx$ and the corresponding Schrödinger operator $H_t=- \frac{\partial ^2}{\partial x^2}+V_t$ on $L^2([0,R])$ with Neumann or Dirichlet boundary conditions. Let ...
0
votes
0answers
16 views

$C^\infty$ approximations of $f(r) = |r|^{m-1}r$ [duplicate]

Consider $f(r) = |r|^{m-1}r$ where $m \geq 1$. Is it possible to find $C^\infty$ functions $f_n$, such that $f_n \to f$ uniformly on compact subsets of $\mathbb{R}$, $f_n' \to f'$ uniformly on ...
2
votes
1answer
26 views

Proof of the Unsöld's Theorem (the sum of spherical harmonics)

There is an identity concerning spherical harmonics that plays a pretty important role in atomic physics. Thanks to wikipedia (http://en.wikipedia.org/wiki/Spherical_harmonic) I know that its name is ...
0
votes
1answer
14 views

The index of some perturbation about elliptic operator with Robin boundary condition

Let $I$ be an closed interval $[0, 1]$. $C^{2}(\bar{I})$ is the space of all $C^{2}$ functions on $(0, 1)$ with continuity at boundary and usual maximal norm. $C(\bar{I})$ is the space of all ...
2
votes
0answers
16 views

Newton boundary condition for second order pde

I have a few questions about Newton boundary conditions for a second-order partial differential equation: $$-\text{div}(a(x,u,\nabla u)) + c(x,u,\nabla u)$$ considered on a bounded connected ...
3
votes
0answers
36 views

$L^2(S;W^{1,p})$-regularity for solution of parabolic pde in Hilbert space setting

I have a question regarding the regularity theory for parabolic pdes. I am considering the following "minimal working example": Let $\Omega\subset\mathbb{R}^n$, $n\in\mathbb{N}$, be and bounded ...
1
vote
0answers
27 views

Fractional Sobolev spaces and weighted L2 spaces

For $s\in[0,1]$ define function spaces $H^s(\mathbb{R})=\{u\in L_2(\mathbb{R}): (1+|\cdot|^2)^{s/2}\mathcal{F}u\in L_2(\mathbb{R}) \}$ (where $\mathcal{F}$ denotes the Fourier transform) i.e. the ...
1
vote
0answers
18 views

Conjugating an operator with a gauge transformation; how is the kernel affected.

For the differential operator $$ D := i I \frac{d}{dx} + A(x) \colon C^\infty_T([0,\beta]),\mathbb{C}^m) \to C^\infty_T ([0,\beta],\mathbb{C}^m) $$ where $A(x)$ is Hermitian and $C^\infty_T ...
2
votes
2answers
59 views

dual of $H^1_0$: $H^{-1}$ or $H_0^1$?

I have a problem related to dual of Sobolev space $H^1_0$. By definition, the dual of $H^1_0$ is $H^{-1}$, which contains $L^2$ as a subspace. However, from Riesz representation theorem, dual of a ...
1
vote
0answers
46 views

Don't understand a PDE argument involving $L^p$ norms and inequalities

I'm reading this paper. I do not understand how the author proves Corollary 5.12 for the case $p=2$. He addresses everything except $p=2$ but claims it holds for all $p$. Can someone help me to see ...
2
votes
0answers
57 views

Gilbarg Trudinger: Hölder continuity in chapter 8

I'm trying to track the behaviour of the coefficients in Theorems 8.22 and Theorem 8.24. Particularly, I'm considering the behaviour w.r.t. to the distance from $\Omega'$ to $\partial \Omega$ I'll ...
0
votes
0answers
16 views

A parabolic maximum principle (if initial value is bounded, so is solution)?

Let $u \in L^2(0,T;H^1)$ with $u_t \in L^2(0,T;L^2)$ solve the PDE $$u_t - \Delta u = f$$ $$u(0)= u_0$$ on $\Omega \times (0,T)$ where $\Omega$ is a bounded domain. We do NOT have the Poincare ...
0
votes
0answers
31 views

Application of Schauder fixed point theorem

Let $\Omega$ an open bounded in $\mathbb{R}^n$, and let $A(x,u)$ an Caratheodory function, bounded and coercive, i.e., $$|A(x,u)|\leq \beta$$ $$A(x,u) \geq \alpha I,\quad \alpha > 0$$ and let ...
1
vote
0answers
22 views

The infinitessimal generator of Brownian Motion

Background: I know, and can almost prove, that the infinitessimal generator of BM is the Laplacian/2. For me (and I have never heard it done differently) we have Feller Processes, of which BM is one ...
0
votes
1answer
35 views

Fredholm alternative theorem

I'm studying in a PDE's course and we have recently used Fredholm alternative theorem as a tool in order to prove the existence and the uniqueness of the solution of a particular problem. We have seen ...
2
votes
1answer
71 views

Why is $-\Delta+1$ an isomorphism between Sobolev space $W^{2,p}$ and $L^p\,$?

Consider the linear elliptic operator $L: W^{2,p}(\mathbb{R}^N)\to L^p(\mathbb{R}^N)$ defined by $Lu=-\Delta u + u$. Can we prove that $L$ is an isomorphism for all $p\geq 1$? It can be proved that it ...
2
votes
1answer
88 views

Solution to Laplace equation in $\mathbb{R}^n$

Under what condition is there solution to Laplace equation with following conditions: Let be $\Omega \subset \mathbb{R}^n$ open with regular boundary and $f \in C(\partial \Omega)$. Find ...
0
votes
0answers
25 views

Boundary value problem for two functions

The question is: Let $\mathcal{H}=H_0^1(\Omega)\times H^1(\Omega)$ and consider the solution $(u,v)\in\mathcal{H}$ to the differential problem \begin{equation} -\Delta u=f+a(v-u)\quad\text{in }\Omega ...
0
votes
1answer
33 views

How to get from heat equation with final condition to one with initial condition?

How do I get from the heat equation with end condition $$\frac{d}{dt}u(x,t) + \Delta u(x,t) = f(x,t)$$ $$u(x,T) = u_0(x)$$ where $t \in (0,T)$ and $x \in \Omega$, to a normal heat equation with ...
0
votes
0answers
21 views

how to justify the last equality?

I can not understand the last equality $$(u_n(t+a)-u_n(t),v)_{L^2(\Omega)}=\int_{\Omega} (u_n(t+a)-u_n(t))vdx= \int_{\Omega} \left(\int_t^{t+a}u_n'(s)ds \right)vdx= \int_t^{t+a} ...
0
votes
0answers
23 views

Why do the following regularisations of a function in Sobolev space exist?

Suppose $v_1, v_2$ satisfy $\mu \leq v_1(x,t), v_2(x,t) \leq M$ a.e. in $Q:=\Omega\times(0,T)$ and $$(v_1, \eta_1) \quad\text{and} \quad (v_2, \eta_2) \in L^2(0,T;H^1(\Omega)) \cap L^2(Q).$$ Define ...
0
votes
0answers
22 views

Show that $\lim_{a \to \infty} \sup_{n} \int_0^{T-a}||v_{n,r}(t+a)-v_{n,r}(t)||_{\mathbb{L}^2(\Omega_{2r})}^2dt=0.$

Let $\ 0 \leq t \leq t+a \leq T$, with $$\lim_{a \to 0} \sup_{n} \int_0^{T-a}\left\|u_n(t+a)-u_n(t)\right\|_{\mathbb{L}^2(\Omega_{r})}^2dt=0,$$ where $\Omega_r=\Omega \cap \left\{x \in \mathbb{R}^2; ...
3
votes
0answers
36 views

Variational Problem on a manifold - bounding my functional from below

Let $(M, g_{ij})$ be a compact Riemannian manifold. Let $f \in C^{0,\alpha}(M)$ be a given function. I have the linear operator $L = \Delta h - 12u^2h$, where $u \in C^{2,\alpha}$. I need to show ...
5
votes
1answer
80 views

Perturbation theory PDEs

I have the solution of a PDE of the form: $$ \Delta \Psi(r,\theta, \phi) = k \Psi(r,\theta,\phi)$$ on a set $\mathbb{R}^3 \backslash B(0,R)$. Hence, the actual solution is known there! Regarding ...
2
votes
0answers
17 views

Are pseudo(micro)-local operators pseudodifferential?

$\DeclareMathOperator{supp}{supp} \DeclareMathOperator{sing}{sing}$Let $\Omega$ be a domain with compact closure in $\mathbb R^n$. Consider a linear operator $A \colon X \to X$ satisfying one of the ...
0
votes
1answer
23 views

Weak convergence of the 4-th degree of a weak convergent sequence

Good day! We solve an optimal control problem $$ J(u) = \|y - y_d\|^2 \to \inf $$ where $y$ is a solution of the PDE $$ \frac{dy}{dt} + Ay = Bu. $$ $A$ is a nonlinear operator, $(Bu, v) = ...
2
votes
0answers
27 views

$(g,f)_{L^2} \le C||g||_{H^{-s}}||f||_{H^s}$ right or wrong?

I am proving something, and I may need the following inequality: $$ (g,f)_{L^2} \le C||g||_{H^{-s}}||f||_{H^s} $$ where $(g,f)_{L^2} $ is inner product and $f$ and $g$ have higher enough regularity ...
3
votes
0answers
55 views

Passing to the limit in a PDE; problem with subsequence (please check my answer)

For $w \in L^2(0,T;H^1)$, consider the PDE $$\int u'(t)v(t) + \int g(w(t))\nabla u(t) \nabla v(t) = \int f(t) v(t)\quad \forall v \in L^2(0,T;H^1)$$ where $u \in H^1(0,T;L^2)\cap L^2(0,T;H^1)$, and ...
1
vote
0answers
20 views

Self-Adjointness of beam stiffness operator

I think it is well known that the operator $\frac{EI}{\rho} \frac{\partial^4}{\partial x^4}$ which arises from a standard Euler-Bernoulli beam is self-adjoint in $H$, where $H = L^{2}$, given ...
0
votes
0answers
41 views

Infinite solutions of Navier-Stokes equations

Is it a known fact that Navier-Stokes equations have exactly one (possibly infinite) solution in the space of distributions?
1
vote
1answer
34 views

Sobolev Inequality with powers

The following is one of the Sobolev Inequalities as stated in Gilbarg & Trudinger's text on elliptic PDEs: $\displaystyle W_{0}^{1,p}(\Omega)\subset L^{\frac{np}{(n-p)}}(\Omega)$ for $p<n$. ...
1
vote
0answers
23 views

A useful criterion in dispersive PDE.

I would like to prove the following theorem: Consider two Banach spaces $X\hookrightarrow Y$ and $1<p,q\leq\infty$. Let $(f_n)_{n\geq 0}$ be a bounded sequence in $L^q(I,Y)$ and let $f:I\mapsto Y$ ...
1
vote
1answer
27 views

Does $u_n \rightharpoonup u$ in $L^2(0,T;H^1)$ and $u_n' \rightharpoonup u'$ in $L^2(0,T;H^{-1})$ give something useful?

If $u_n \rightharpoonup u$ in $L^2(0,T;H^1)$ and $u_n' \rightharpoonup u'$ in $L^2(0,T;H^{-1})$ is there any way to extract a strongly convergent subsequence of $u_n$ in some useful space for PDEs? Or ...
1
vote
1answer
32 views

Does $C([0,T];H^{s+1}) \cap C^1([0,T];H^{s})=C^1([0,T];H^{s+1})$?

I have asked this question with other problems, but about this part nobody answers. So I want to ask again, and put some details in it. My question is whether the following equality is correct. If it ...
2
votes
0answers
31 views

$f_n \rightharpoonup f$ in $L^q(Q)$ $\forall q < \infty$ and $f_n' \rightharpoonup f'$ in $L^2(0,T;H^{-1})$ implies $f_n \to f$

(... in $C^0([0,T]; H^{-1})$. ) Let $f_n$ be a sequence of functions defined on $Q:=(0,T)\times \Omega$, where $\Omega$ is a bounded domain. I have read this: Since $f_n \rightharpoonup f$ in ...
0
votes
1answer
22 views

Reference needed for: $u \in H^1(0,T;L^2)$ if and only if $\int_0^{T-h}\lVert u(t+h)-u(t) \rVert_{L^2}^2 \leq C|h|$

There is a result of the form: a function $u \in H^1(0,T;L^2)$ if and only if $$\int_0^{T-h}\lVert u(t+h)-u(t) \rVert_{L^2}^2 \leq C|h|$$ holds for all $h \in [0,T]$. I have only seen one place ...
2
votes
1answer
31 views

About the space $u \in C([0,T];H^{s+1}) \cap C^1([0,T];H^{s})$

I am reading Taylor's Partial differential equations III (nonlinear equations) (Section 1 of Chapter 16, Theorem 1.2), and Sogge's Lectures on Non-linear wave equatuions. I notice that in the energy ...
3
votes
1answer
62 views

Differences between $-\Delta: H_0^1(\Omega)\to H^{-1}(\Omega)$ and $-\Delta: H^2(\Omega)\cap H_0^1(\Omega)\to L^2(\Omega)$

I'll try to explain what I want to know: Let $\Omega\subset\mathbb{R}^n$ be a bounded domain. When we look to $-\Delta: H^2(\Omega)\cap H_0^1(\Omega)\to L^2(\Omega)$, the meaning of $-\Delta$ is ...
2
votes
2answers
33 views

If $u_n \rightharpoonup u$ in $W$ and $W \subset C$ then $u_n \rightharpoonup u$ in $C$?

Let $W \subset C$ be Banach spaces with continuous embedding here. If $u_n \rightharpoonup u$ in $W$ and $W \subset C$ then is it true that $u_n \rightharpoonup u$ in $C$ for the same sequence (not a ...
1
vote
1answer
56 views

Getting the bound $\frac{1}{h}\int_0^{T-h}\int_t^{t+h}\int_\Omega |\nabla u(\tau)| |\nabla u(t+h) - \nabla u(t)|\;dxd\tau dt \leq C$

Let $u \in L^2(0,T;H^1(\Omega)) \cap L^\infty(0,T;L^2(\Omega)).$ Is it possible to find the following bound: $$\frac{1}{h}\int_0^{T-h}\int_t^{t+h}\int_\Omega |\nabla u(\tau,x)| |\nabla u(t+h,x) - ...
1
vote
2answers
31 views

Is it possible to estimate $| u |^2_{H^1}$ by $|u|_{H^2}$ for bounded functions?

Let $u\in [L^\infty(\Omega)]^m \cap [H^2(\Omega)]^m$ be a vector valued function with bounded $\Omega \subset \mathbb{R}^n$. Moreover, let $\|u\|_{L^\infty} \leq 1$. Is it possible to bound the square ...
1
vote
2answers
42 views

Is the Laplacian $-\Delta$ on a compact manifold an isomorphism?

We know that for (a normal) domain $-\Delta:H^1_0(\Omega) \to H^{-1}(\Omega)$ is an isomorphism. What is the corresponding result for the Laplace-Bulltrami operator or more generally a Laplacian ...
0
votes
0answers
57 views

A different weak formulation for parabolic PDE problem (test function space $L^2(0,T;H^2(\Omega))$).

Consider the PDE $$u_t - \Delta u = f$$ $$u(0) = u_0$$. Instead of the usual weak form, let me take this one: for every $\varphi \in L^2(0,T;H^2)$, $$\int_0^T \langle u_t, \varphi \rangle - \int_0^T ...
1
vote
1answer
47 views

Why the following is a seminorm rather than a norm

I really don't understand why the following is a seminorm rather than a norm? $$ p_k(u)=\sum_{|α|\le k}\sup_{x∈R^n}(1+|x|^2)^{k/2}|D^α u(x)|, $$ for all $u \in C^\infty$. I do understand if ...