Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.

learn more… | top users | synonyms

0
votes
0answers
79 views

Parabolic PDE; uniform bound on approximations $u'_n$ in $L^2(0,T;V^*)$ without using orthogonal basis?

Let $V \subset H \subset V^*$ be a Gelfand triple, all Hilbert and separable spaces. I consider the PDE with weak form: find $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V')$ such that $$\langle u'(t), ...
1
vote
1answer
166 views

Galerkin approximations for parabolic PDE weak solution, getting a uniform bound

(As usual $V \subset H$ are separable Hilbert spaces) In a book I read this about existence of the solutions to parabolic PDEs: the approximate solution $u_n(t)$ solves the equation $$(u_n', ...
2
votes
1answer
98 views

Is $R^n$ stochastically complete for the heat kernel of a Schrödinger operator?

Suppose $V:\mathbb{R}^{n} \to \mathbb{R}$ is just a positive polynomial and $K_{t}(x,y)$ is the heat kernel of $H = -\Delta + V$. Then does it follow $$\int_{\mathbb{R}^{n}} K_{t}(x, \cdot)\,dy = ...
2
votes
0answers
73 views

Inclusions between $L^p$ continuous functions and Triebel-Lizorkin spaces

Working in $\mathbb{R}^{d}$, consider on the one hand the space of continuous $L^{p}$ functions (let's use $V$ to denote this space), and on the other the family $\{ F_ {\alpha}^{p, q} \}_{\alpha, q}$ ...
2
votes
0answers
132 views

Idea behind distributional solutions

I have a problem understanding the meaning of a distributional solution. Let me tell you the context the problem appeared: I read thorugh some papers by DiPerna and Lions concerning the Cauchy Problem ...
2
votes
1answer
264 views

Best approach to solve this PDE

I need to solve this Partial Differential Equation for $\lambda(x,y)$, $$\frac{\partial \lambda}{\partial x} + h(x,y)\frac{\partial \lambda}{\partial y} - \lambda \frac{\partial h}{\partial y} = 0$$ ...
2
votes
0answers
117 views

linear operator associated with semilinear elliptic pde

I am reading a paper where at some point they analyse the following linear operator: $$L_\lambda(\phi)= - \Delta \phi - C_\lambda(x) \phi$$ where $ C_\lambda(x)>0$ (smooth) in $ \Omega$ a bounded ...
1
vote
1answer
115 views

metric scaling for an inequality

I read a lemma 1.12 in Tobias H.Colding's paper "Ricci curvature and volume convergence"."Suppose that $Ri{c_{{M^n}}} \ge \left( {n - 1} \right)\Lambda {R^{ - 2}}$,p and $q \in M$ with d(p,q)>8R,and ...
1
vote
0answers
409 views

A variation of Poisson's equation in cylindrical coordinates

Our team of undergraduate physicists are familiar with finding numerical approximations to the following Poisson-like PDE central to our plasma research in a torus: $\nabla^2 V = \frac{f(V)}{R^2}$ ...
2
votes
0answers
98 views

Regularity of solution of nonlinear equation

Hi! Let $L$ be a linear elliptic operator of order $4$ with smooth and bounded coefficients on the ball $B_1$ of $R^{2n}$ and let $N\in C_{loc}^{0,\alpha}(R^{3})$. Let $f\in C^{0,\alpha}(B_1)$ ...
1
vote
1answer
156 views

Reference for: $C_c^\infty(0,T;H)$ dense in $L^2(0,T;H)$

If it is true, where may I find a reference/proof for: $C_c^\infty(0,T;H)$ dense in $L^2(0,T;H)$ where $H$ is a Hilbert space. Thanks
1
vote
0answers
66 views

Checking initial condition of PDE is satisfied in Galerkin method

I asked this question here: http://math.stackexchange.com/questions/416885/checking-initial-condition-of-pde-is-satisfied-in-galerkin-method But I did not receive the solution so I post it here. The ...
11
votes
1answer
397 views

Do circular pipes maximize flow rate?

Suppose that $U \subset \mathbb{R}^2$ is nonempty, open, connected and bounded. Consider a Poisseuille flow in the pipe $U \times \mathbb{R}$. That is: a time-independent incompressible flow of the ...
3
votes
1answer
305 views

First integrals of a 3D incompressible flow

Let $\Omega$ be an unbounded periodic smooth domain of $\mathbb{R}^3$. We are Given an incompressible vector field $q:\Omega\subset\mathbb{R}^3\rightarrow \mathbb{R}^3$ (i.e. $\nabla\cdot q\equiv 0$ ...
2
votes
0answers
501 views

Nonlinear PDE and Green functions

This is somewhat of a curiosity that can hide somewhat deeper. For a Green function of a nonlinear PDE I mean something like $$ \partial^2\phi+V(\phi)=\delta^D(x). $$ I do not know if a real ...
0
votes
0answers
94 views

Reference Search for a Functional Minimization Problem

Let $u(x) \ge 0$ be a non-negative, piecewise-differentiable function on the real line. Moreover, let $u(x)$ be integrable with fixed positive mass, that is $$M \equiv\int_{x=-\infty}^\infty u(x) ~ ...
7
votes
2answers
336 views

Fredholm alternative result for general elliptic system?

Now I have known that Fredholm alternative result is valid for the strong elliptic system. But I'm not sure that is it still valid for the general elliptic system, in which the second-order heading ...
2
votes
0answers
126 views

Examples of non-uniqueness in reaction-diffusion equations

Consider the problem of finding a bounded classical solution $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ (such that $u$ is continuous and $u_t$, $u_x$ and $u_{xx}$ exist and are continuous on ...
4
votes
1answer
228 views

Please recommend some literature on the systematical theory of the elliptic systems!

Now I'm interested in the theory of elliptic systems, for example, both the linear and nonlinear case, the exsitence and regularity results, and is there a Fredholm alternative result for the linear ...
2
votes
0answers
114 views

Existence of solutions to a reaction-diffusion problem.

Consider the problem of finding a bounded classical solution $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ (such that $u$ is continuous and $u_t$, $u_x$ and $u_{xx}$ exist and are continuous on ...
1
vote
0answers
82 views

Generalized bilinear estimates

Hello. Let $ X^{s,b} $ be the Bourgain space generated by $ \tau - \xi^3 $. It is proved that, for $ s\in (-\frac{1}{2}, 0] $, we have $$ \|(u^2)_x\| _{X^{s,b'-1}} \leq c \|u\|_{X^{s,b}} ...
1
vote
1answer
266 views

Regularity of the right hand side (the source term) in Evans-Krylov theory

A well-known theorem of Evans and Krylov states that in an equation of the form $F(D^2 u)=g$, provided that the right hand side and $u$ both have Lipschitz gradient, and that $F$ is concave or convex ...
2
votes
0answers
170 views

Similarity solutions of the imaginary time Benjamin--Ono equation

This problem arose in the course of a theoretical physics project. We seek (complex) solutions of the imaginary time Benjamin--Ono equation $$u_t-iu u_x-iu_{H,xx}=0$$ where $u_H(x,t)$ denotes the ...
3
votes
2answers
194 views

Elliptic Harnack inequality for 1D Schrodinger operator?

For a nonnegative polynomial $V: \mathbb{R} \to \mathbb{R}$, write $H = -\Delta + V$. I am wondering if there is an elliptic Harnack inequality for H. That is: There exist $C_{H} > 0$ and ...
3
votes
2answers
153 views

Boundedness of Solutions to $\Delta u = f u$ on $R^2$

Consider the Laplacian $\Delta = d/dx^2 + d/dy^2$ on $\mathbb{R}^2$. This is true: Let $f$ be a nonnegative function, not identically zero. Then any positive solution of $\Delta u = f u$ is ...
2
votes
1answer
276 views

Uniqueness of classical solution with degenerate boundary

Consider heat equation on the domain $\Omega = (0,1)\times (0,1)$ in the form of $$ \partial_{t} u = \frac 1 2 x^{3} (1-x) \partial_{xx} u, \quad (x,t) \in \Omega$$ with initial data $u(x,0) = x$ for ...
1
vote
1answer
165 views

If a function is defined in terms of a solution to an initial value problem, is it also solution to an initial value problem?

Say $f:\mathbb R^{n+1}\to \mathbb R^p$ is a solution to an initial value problem, and $g:\mathbb R^{n+1}\to \mathbb R^q$, so that the components of $g$ can be expressed as polynomials in $f$, $f'$, ...
0
votes
2answers
269 views

Estimates for Green's function

Let $n$ - dimension $\geq 3$. Consider a compact manifold (M,g). Let $\epsilon_0$ denote the injectivity radius of $(M,g)$. Let $B_\epsilon(0)$ denote a geodesic ball of radius $\epsilon < ...
3
votes
1answer
242 views

In the case of the Ricci flow, the symmetries of the flow are scalings and diffeomorphisms

Can anyone help me and prove that in the case of the Ricci flow, the symmetries of the flow are scalings and diffeomorphisms? Thanks for your time.
4
votes
2answers
248 views

Analytic dependence on the metric

It is often used implicitly that the maps which associate to metrics curvature quantities (Riemann, Ricci, scalar curvature) and Differential operators like the Laplacian are analytic maps between ...
0
votes
1answer
160 views

Solution formular for Laplace equation [closed]

I want to slove the Laplace equation on $R^3_+$ with Neumann boundary condition. The equation reads: $-\Delta u = f$ in $R^3_+$, $\partial_3 u|_{x_3=0}=g$ on $R^2$. If $f$, $g$ satisfy compatibility ...
10
votes
4answers
1k views

Is there anyway to rewrite a partial differential equation using language of differential forms, tensors, etc?

My question is: usually, a partial differential equation, for example, those coming from physics, is written in a language of vector calculus in a local coordinate. Is there anyway (or any algorithm) ...
4
votes
1answer
500 views

Exact solutions to nonlinear Klein-Gordon equation

The nonlinear pde $$ \partial_t^2\phi-\partial_x^2\phi+\lambda\phi^3=0 $$ has the exact solution $$ \phi(x,t)=\mu\left(\frac{2}{\lambda}\right)^\frac{1}{4}{\rm sn}(p_0t-p\cdot x+\varphi,i) $$ ...
1
vote
0answers
70 views

h-oscillating function

I need help understanding the following condition: $u_h\in L^2(\mathbb{T}^d)$, $\|u_h\|_{L^2(\mathbb{T}^d)}=1$, where $h$ is the semiclassical parameter and $\mathbb{T}^d$ is the flat torus, is ...
0
votes
1answer
183 views

Dual space of Bochner space: is there an easier proof to show they're isometric?

It is known that $[L^p(0,T;H)]^* = L^q(0,T;H^*)$. If $p=q=2$ and $H$ is a Hilbert space, is there an easier proof to show that the spaces are isometric? The proof that I know for the general case ...
0
votes
0answers
163 views

Gradient estimates for subsolutions of elliptic equations

Let $M$ be a Riemannian manifold. Assume $u \in C^\infty(M)$ such that $u>0$ and $\Delta u + \lambda u = 0,$ where $\lambda \geq 0$. There is a poinwise estimate for $|\nabla u|$ in Peter Li's ...
0
votes
1answer
433 views

Strong convergence in the Bochner space L^p([0,T],X)

Dear mathoverflowers, I have a question concerning the strong convergence in $L^p([0,T],X)$. Let $X_1,X$ be two Banach spaces such that $X_1\subset X$ with compact embedding. Let $x_n(t)\in X_1$ be ...
1
vote
1answer
118 views

$C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$?

Is it true that the space $C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$? These are compactly supported functions that are $V$ valued, where $V$ is a Banach or Hilbert space.
3
votes
2answers
341 views

analysis question related to $L^p$ type inequalities

Dear mathoverflowers. Just wondering if the following inequality is true. For all $ p >1$ there is some $C$ such that $ | |x+1|^p-|y+1|^p -p(x-y)| \le C ( |x|+|y| + |x|^{p-1} + |y|^{p-1} ) ...
5
votes
1answer
256 views

Proof that $L^2(0,T;X)^* = L^2(0,T;X^*)$

How is the proof that $$[L^2(0,T;X)]' = L^2(0,T;X')$$ looking like, where $X$ is a Hilbert space? I am asking for the proof that the dual space of $L^2(0,T;X)$ is the space $L^2(0,T;X^*)$. Is the ...
1
vote
0answers
214 views

Laplacian type operator on compact Lie group

Consider the operator $S = \sum_{i,j} X_{ij}^2$ on $L^2(SO(n+1))$, where $X_{ij}$ generates the rotation of the sphere $S^n$ in the $ij$-plane keeping the $(n - 2)$ complementary directions fixed. ...
1
vote
1answer
176 views

A heat kernel for Schrödinger operator with low-order terms

In "Schrödinger Operator: Heat Kernel and Its Applications", Feng computes the heat kernels associated to Schrödinger operators with at most quadratic potentials. I am trying to see how these work ...
0
votes
0answers
87 views

$\mathcal{D}(0,T;V)$ is dense in $W(0,T)$

Where can I find a proof that $\mathcal{D}(0,T;V)$ (the space of $V$-valued compactly supported functions on $[0,T]$) is dense in the space $W(0,T)$, where $$W(0,T) := \{ u \in L^2(0,T;V) : u' \in ...
3
votes
2answers
712 views

Regularization by mollifier sequence

A well-known feature used in PDE's is the regularization by convolution with a mollifier sequence $\rho_n$, i.e. $\rho_n(x) := n^d \rho(nx)$ with $x \in \mathbb R^d$, $\rho \in C^\infty_c(\mathbb ...
0
votes
3answers
455 views

I have this linear PDE…

Hi, The PDE in question is: $A P_{yy}(y,z) + B P_{zz}(y,z) + ( [ C y -D z] P(y,z) )_y + ( [ D y + C z ] P(y,z) )_z=0,$ where subscript $y,z$ indicates derivatives and $A,B,C,D$ are real. The PDE is ...
1
vote
0answers
118 views

optimal regularity for Laplace equation with inhomogeneous L^p Robin boundary condition

Consider the problem $$-\Delta u = 0 \mbox{ in }\Omega,\qquad \partial_\nu u+\tau u=g\mbox{ on }\partial\Omega,$$ where $\Omega\subset R^n$ is a bounded $C^2$-domain, $\tau>0$ is a constant, and ...
1
vote
0answers
115 views

(localized) L^2 norm of quasimode for Laplacian

Lately I've been thinking about the following distribution on the flat torus $\mathbb{T}^2$: $u_k=\frac{1}{\sqrt{2\lfloor k^{0.99}\rfloor+1}}\sum_{|l|\leq ...
3
votes
1answer
773 views

integration by parts for the fractional Laplacian

Is there an integration by parts formula for fractional laplacians in $L^p(\mathbb{R}^N)$, something like $$ s\in(0,1),\qquad\int\limits_{\mathbb{R}^N}f[(-\Delta)^sg] ...
1
vote
0answers
92 views

null controllability of linear wave equation

Consider the linear wave equation : $$z_{tt}=\Delta z + k(x) z + h(t) , \; in \; \Omega\times (0,T)$$ Are there sufficient conditions on the functions $k(x)$ and $h(t)$ for which $(z,z_t)$ vanish ...
33
votes
2answers
1k views

Recent fundamental new directions in PDEs

My main interests are in modern geometry/topology, algebra and mathematical physics. I observe that there is a raising communication, language and social barrier between this community and the ...