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

2
votes
0answers
262 views

Poisson problem with a “scaled” Laplacian.

Let $d_1$ and $d_2$ be positive constants. I'm considering a 2D Poisson-like problem of the form $$ d_1\frac{\partial^2 u}{\partial x_1^2} + d_2\frac{\partial^2 u}{\partial x_2^2} = f$$ in the ...
2
votes
0answers
214 views

Finer properties of a sequence of harmonic functions

This was a question that arose for me when I was thinking about how one proves strong unique continuation for elliptic equations. I never could come up with a satisfactory answer. Background: When ...
2
votes
0answers
209 views

Why is a smooth weak solution strong for stationary linear Stokes problem with zero-traction boundary condition?

Can anyone provide me with a reference giving details on how smooth generalized solutions of the stationary linear Stokes problem can be shown to be classical solutions when a zero-traction boundary ...
1
vote
0answers
55 views

A comparison principle for degenerate parabolic equation

Let $\Omega$ be a bounded smooth domain and let $p < 0$ be real. Suppose that $u, v \in L^2(0,T;H^1(\Omega) \cap L^2(0,T;L^2(\partial\Omega))$ with $|u|^{p+1} \in L^2(0,T;L^2(\partial\Omega))$ and ...
1
vote
0answers
89 views

on high order Laplacian

Roughly speaking, we have good understanding of the solution to heat equation $u_t-\Delta u=0$, on bounded or unbounded domain. For example, we know the decay rate, we know it generates analytic ...
1
vote
0answers
67 views

Boundary gradient estimate

Assume $U$ is the unit disk and $\bar U$ its closure and let $u\in C^2(U)\cap C(\bar U)$ be a real function, with $u(z)=0$ for $z\in \partial U$. If $$|\Delta u|\le A|\nabla u|^2+g(z),$$ for some ...
1
vote
0answers
93 views

Passing to the limit in a PDE (subsequence problems)

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
45 views

Elliptic Fourier integral operators

I know what it means for a pseudodifferential operator $A\in\Psi(\mathbb{R}^n)$ to be elliptic at a point $(x,\xi)\in T^*\mathbb{R}^n$: the principal symbol of $A$ is non-vanishing at the point. But ...
1
vote
0answers
45 views

Changing the test function space in a weak formulation of parabolic PDE

Suppose we are interested in the existence of a $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V^*)$ such that $$(u(T),\varphi(t))_H -\int_0^T \langle \varphi'(t), u(t) \rangle_{V^*,V} + \int_0^T ...
1
vote
0answers
109 views

Bound for a certain integral expression

I am working to establish an estimate in $X^{s,b}$ spaces to prove local well-posedness of a certain equation, and I need to consider some sub-cases. In particular, I wish to show that the following ...
1
vote
0answers
106 views

Need a regularity result for parabolic PDE, want $u' \in L^\infty((0,T)\times \Omega)$

Let us assume $\Omega \subset \mathbb{R}^n$ is as nice as required. Let $f \in L^\infty((0,T)\times \Omega)$ and let $g \in L^\infty((0,T)\times \Omega)$ satisfy $$0 < a \leq g(x,t) \leq b < ...
1
vote
0answers
85 views

How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?

(May be this is very basic question for MO) (For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
1
vote
0answers
72 views

Regularity of weak solutions for a quasilinear problem

Theorem 6.2.7 in the book Nonlinear Analisis of Gasisnski and Papageorgiou states: If $u\in W^{1,p}(\Omega)\cap L^\infty(\Omega)$ and $\Delta_pu \in L^\infty(\Omega)$ then we have $u\in ...
1
vote
0answers
89 views

Almost a Green formula

Let $\Omega$ be the half-space $\mathbb{R}^{n-1}\timesĀ \{ x_n>0 \}$, let $v \in L^2(\Omega)$ and $\phi\in \mathcal{C}^{\infty}(\overline{\Omega})$ with compact support in $\overline{\Omega}$. What ...
1
vote
0answers
88 views

Weak periodic solution of parabolic PDE

Take $$ u_t(t) + A(t)u(t) = f(t), $$ $$ u(0) = u(T), $$ where $A$ is an linear elliptic operator and the first equation is an equality in $L^2(0,T;V^*)$ for $V \subset H \subset V^*$ Hilbert triple. ...
1
vote
0answers
114 views

Half-wave group $e^{it\sqrt{-\Delta_g}}$ for large $t$

Consider the Laplace-Beltrami operator $\Delta_g$ on compact Riemannian manifold $(M,g)$, then $e^{it\sqrt{-\Delta_g}}f$ is the solution of the following Cauchy problem. $$ ...
1
vote
0answers
83 views

Reverse Holder Inequality and the higher integrability of the gradient of a solution to Euler's equation for a certain functional

In Giaquinta-Giusti's (1978) paper "Nonlinear Elliptic Systems with Elliptic Growth" (thm 1.1) they consider the following system: \begin{equation} \sum_{i, j=1}^{n}\sum_{\alpha, ...
1
vote
0answers
107 views

Comparison principle for partial differential equation with singular coefficients

How (or if) a comparison principle works in the case of equations singular at some point? For example, I am analyzing a partial differential equation $$ ...
1
vote
0answers
42 views

Rational homogenous functions

I'm interested in the set $\mathcal{S}$ of rational functions $F \colon \mathbb{R}^3 \to \mathbb{R}$ verifying: \begin{align} \Delta F=0 \quad \text{et} \quad F(\lambda x)= \lambda^d F(x) \quad d \in ...
1
vote
0answers
57 views

Existence of harmonic maps between loops

Given a Riemannian manifold $M$ and two smooth loops $\gamma_0, \gamma_1: S^1 \longrightarrow M$ in it, I am looking for maps $\phi: [0, T] \times S^1 \longrightarrow M$ which minimize the energy ...
1
vote
0answers
68 views

Analyticity of one-dimensional PDE solutions with respect to the space variable

Let $n>1$ and $u$ be a solution of a linear PDE with constant coefficients $$ u_t-\sum_{k=0}^n a_k \partial_x^k u=0,\quad a_k\in \mathbb C,\quad a_n\ne0, $$ in some neighborhood of a point ...
1
vote
0answers
97 views

Focusing NLS: $L^2$ convergence of a solution as $t\rightarrow +\infty$

Consider the cubic focusing non linear Schrodinger equation in dimension $n\geq 2$: $$(iu_t+\Delta)=-|u|^2u\qquad u(0,x)=u_0(x)\in L^2(\mathbb{R}^n)$$ Can we find an initial data $u_0\neq 0$ such ...
1
vote
0answers
99 views

localization of the $L^p$ variation for heat equation

I'm struggling with yet another question for the classical heat equation in the whole space $R^d$. This question seems basic at first sight, but I think it is nontrivial in the end so here it is. The ...
1
vote
0answers
124 views

Extension of solutions of PDE

Let $\Omega \subset \mathbb{R}^{2}$ be an open set such that $\mathbf{0} \in \Omega$. Let $A := \Omega \setminus (\{0\}\times \mathbb{R})$, that is, $A$ is $\Omega$ with the $y$-axis removed. Let ...
1
vote
0answers
38 views

parabolic PDE with pseudomonotone operators

I am looking for a reference where well-posedness of problems $$u_t + A(t)u = f$$ is addressed via the Galerkin method where $A$ is a pseudomonotone operator. I am aware that Roubicek's book ...
1
vote
0answers
78 views

Elliptic problem on half space; infinite boundary values; Liouville theorem

In a the study of a boundary value problem the following problem is arising: $-\Delta v(x)= e^{v(x)}$ in $ R^N_+$ $v= - \infty$ $\qquad $ on $ \partial R^N_+$ $ \qquad $ $ v \le 0$ in $ R^N_+$. ...
1
vote
0answers
174 views

local existence for a singular quasilinear parabolic equation

I'm considering the following type of PDE: $u_{t}=u_{xx}+u_{x}+u_{x}^2+u_{x}^3+\frac{u_{x}}{x(1-x)}+\left(\frac{u_{x}}{x(1-x)}\right)^3$ with periodic boundary conditions $u_{x}(0,t)=u_{x}(1,t)=0$, ...
1
vote
0answers
62 views

Kernel of perturbation of biharmonic operator

Suppose we have a linear fourth order operator defined on $\mathbb{R}^{2n}$ with $n\geq2$ of the form: $$\mathcal{L}(f)=\Delta^{2}f+\sum_{i,j=1}^{2n}P_{ij}(x)\partial_{i}\partial_{j}f$$ with ...
1
vote
0answers
112 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', ...
1
vote
0answers
263 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}$ ...
1
vote
0answers
52 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 ...
1
vote
0answers
78 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
0answers
69 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 ...
1
vote
0answers
94 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
97 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 ...
1
vote
0answers
87 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 ...
1
vote
0answers
107 views

nodal lines in the dirichlet problem

In the Dirichlet problem if nodal lines do not touch $\partial\Omega$ (unit disk), what happens to the eigenvalues? Thanks for help.
1
vote
0answers
85 views

About definition of weak derivative in abstract PDE problems

I'm confused about weak derivative definition. $u \in L^2(0,T;V)$ has weak derivative $u'\in L^2(0,T;V')$ iff $$\int_0^T u(t)\varphi'(t) = -\int_0^T u'(t)\varphi(t)$$ holds for all $\varphi \in ...
1
vote
0answers
53 views

strong stability for the wave equation

Consider the $n-$dimensional wave equation $$z_{tt}=\Delta z + k(x) z - \epsilon {1}_\omega z_t, \; in \; \Omega\times (0,T)$$ where $\omega\subset \Omega.$ Can I have $z(t) \to 0,$ as $t\to+\infty$ ...
1
vote
0answers
177 views

Solving a PDE involving a mixed derivative for a partial derivative

Consider a PDE of the form \begin{equation} \frac{\partial^2u}{\partial p\partial t}=F\left(\frac{\partial u}{\partial p},u,p\right) \end{equation} or \begin{equation} \frac{\partial^2u}{\partial ...
1
vote
0answers
105 views

Trace Inequality question

There is a result in a paper I am reading : Let $\Omega$ be a bounded domain. For any $\epsilon > 0$, there is a constant $C(\epsilon)$ such that $$\lVert n \times u\rVert_{H^{-1/2}(\partial ...
1
vote
0answers
157 views

Galerkin method for existence for PDE with nonsymmetric bilinear form

Suppose we have a PDE $$\langle u', v \rangle + a(u,v) = 0$$ where $a:V\times V \to \mathbb{R}$ is a bounded symmetric bilinear form, then if $u_0 \in V$ then $u \in L^2(0,T; V)$ with $u' \in ...
1
vote
0answers
164 views

Stationary Phase and Propagation Speed (Reference)

I'm trying to understand how one can make precise statements about propagation speed for various (linear and nonlinear) PDEs (in particular, ones with infinite propagation speed) and what, if ...
1
vote
0answers
62 views

Orthogonal projection of discontinuous piecewise polynomial space in energy scalar product

Let $I = [0,1]$ be the unit interval Let $I$ be partioned into $n$ closed subintervals $(I_j)_J$, each of length $1/n$. Let $X_{DC} = \{ v \in L^2[0,1] | 1 \leq j \leq n : v_{|I_j} \in \mathcal P_1( ...
1
vote
0answers
153 views

multivalued solution of a equation

Definition: A scalar k-th order differential equation on a smooth manifold $M$ , is $F(x,v,\frac{\partial {^\left | \sigma \right |}v}{\partial x^\sigma })=0 $ for $\left | \sigma \right |\leqslant ...
1
vote
0answers
80 views

Coarea formula in a subelliptic context

Consider smooth vector fields $X_1,..,X_k$ in ${\mathbb R}^n$, satisfying the H\"ormander condition, i.e. for all $x$, the Lie algebra generated by $X_1(x),...,X_k(x)$ is ${\mathbb R}^n$. Do you know ...
1
vote
0answers
115 views

Spectrum of Combinatorial Laplacian

The spectrum of the combinatorial laplacian is well understood for a square lattice. What about for other lattices? In particular: Let $ f: \mathbb{Z}^2 \rightarrow \mathbb{R} $. The usual ...
1
vote
0answers
126 views

Reference request: Anisotropic Sobolev spaces

Hello, I am interested in what is known about anisotropic Sobolev spaces, by which I mean spaces of functions satisfying $ \| f \|_p < \infty, \|Df \|_q < \infty, $ where $p \ne q$ (as ...
1
vote
0answers
56 views

Quantitative Weierstrass Approximation and Paley-Wiener for the Laplace Transform II

This is a modification of a previous question. Question: Suppose $a(s)\in C^\infty([0,1])$ and $H(s,x)\in C^\infty([0,1]\times [0,1])$ with $H(s,x)>0$, $\forall s,x\in [0,1]$. Suppose, ...
1
vote
0answers
85 views

A critical elliptic PDE

I am considering the problem $-\Delta u=|u|^4u$, $x\in \Omega\subset \mathbb{R}^3$, $u|_{\partial \Omega}=0$. Where $\Omega$ is a unbounded domain. Some special case like $\Omega=\mathbb{R}^3-B_1(0)$, ...