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

Constant in the Poincare inequality for curl square integrable vector fields

$\newcommand{\v}[1]{\boldsymbol{#1}}$For an $u\in H^1(\Omega) = W^{1,2}(\Omega)$ where $\Omega$ is Lipschitz, we have $$ {\|u - \frac{1}{\Omega} \int_{\Omega} u\|}_{L^2}\leq C {\|\nabla u \|} $$ ...
2
votes
0answers
404 views

How to apply Lagrange Multipliers to BCs of Time Dependent problems using finite elements?

I am trying to implement a finite element scheme using the method of lines (finite difference in time and finite element in space) and enforcing boundary conditions using Lagrange Multipliers. This ...
2
votes
0answers
242 views

Recovering full regularity by energy method in the heat equation

Consider the heat equation $$ u_t = u_{xx} + f, $$ on the circle, and for a finite time interval. From Duhamel's principle one can deduce that $u\in L^\infty H^2$ if for instance $f\in L^\infty H^s$ ...
2
votes
0answers
200 views

Pitfalls when generalizing the heat kernel of a Riemannian metric

Suppose $M$ is a Riemannian manifold with some compact quotient under isometries. Associated with the Riemannian metric one has the Laplace-Beltrami operator $\Delta$ and the heat kernel $p(t,x,y)$ ...
2
votes
0answers
150 views

A limit involving a regularizing kernel

I am studying the following article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/# ...
2
votes
0answers
84 views

Asymptotics of quasilinear elliptic equations with Dirac right hand side

On a small open neighborhood $U$ of $0 \in \mathbb{R}^n$, consider the quasilinear (possibly monotone) elliptic, scalar PDE in divergence form $$\nabla \cdot(a(x,u,\nabla u)\nabla u) = \alpha ...
2
votes
0answers
162 views

Integrability of ground state solution for elliptic equation

For the solution of semi-linear elliptic equation, for example I'm considering the 2D cubic nonlinear Schroedinger equation, the correspongding elliptic equation is $\Delta u+u^3=u$, with $u>0$. By ...
2
votes
0answers
309 views

Variational Formulation of Boundary Value Problems With Unknown on the boundary

Suppose that we have a linear operator equation on $\Omega$ with Lipschitz boundary $\partial \Omega$, \begin{eqnarray} Lu &=& \frac{\partial u}{\partial t}, u(x,0) &=& u_0 \; \; ...
2
votes
0answers
189 views

Core of divergence form operator with unbounded coefficient

Consider the unbounded operator $L$ on $L^2(\mathbb{R^d})$ to be the self-adjoint extension of $$Lf := \nabla \cdot \left(a(x) \nabla f(x) \right)$$ on $C^2_c(\mathbb{R^d})$. I also assume that ...
2
votes
0answers
244 views

Equation of motion of a charged string in a twisted torus.

The flat torus background: Say we want to study the sigma model of strings (closed strings $S^1= \mathbb{R}/\mathbb{Z}$) on a flat torus (for example $T^3=\mathbb{R}^3/\mathbb{Z}^3$ with a flat ...
2
votes
0answers
574 views

Comparision of cubic hermite finite element and cubic B-spline finite element (in condition nunmbers of stiffness matrix, or sth else)

Background Consider the one dimensional second order elliptic PDE, $$ \left\{\!\! \begin{aligned} & -(a(x)u'(x))'+b(x)u(x)=f(x)\qquad x\in[0,1]\\ & u(0)=u(1)=0 \end{aligned} ...
2
votes
0answers
148 views

Regularity properties of the derivatives of a particular function on $D \times D\to \bar{D} $ ?

This question might sound a little less rigorously formulated, but I hope the question still makes sense. Let $h: S^1 \to S^1$ be an oriention-preserving homeomorphism and let $p(z,t) = ...
2
votes
0answers
297 views

A free boundary problem by finite difference method

I wanna discretize the following free boundary problem Find $u$ and $\Omega$ such that $\Delta u=1-\delta_0$ in $\Omega$ with the conditions $u=|\nabla u|=0$ on $\partial \Omega$. I apply finite ...
2
votes
0answers
274 views

General solutions for HJB equations in a special case.

I am reading the book of Wendell Flemming in control theorem to learn the HJB equation Here is the setting that interests me: Let $g_i: i=1,2$ be $C^2 =C^{2}(-\infty,\infty)$ functions such that ...
2
votes
0answers
242 views

Can the solution manifold for an exterior differential system be represented using alternating multivectors?

Differential equations can be written as an ideal of n-forms. Solutions are manifolds where the forms pull back to zero. Is it possible, or useful, to represent the solution by multivectors? For ...
2
votes
0answers
303 views

Vanishing solution of the Poisson equation at infinity

Hi, I am interested in finding some vanish bahavior at infinity of the solutions of this kind of equations: $-\Delta\phi+a(x)\phi=b(x)$ where $a(x), b(x)\in L^{p}$ with $1\leq p\leq 3$. Besides ...
2
votes
0answers
291 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
227 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
222 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
29 views

Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...
1
vote
0answers
23 views

Reference request - Compact embedding of intermediate space

Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$. ...
1
vote
0answers
38 views

biharmonic equation with L^1 data and Navier Condition

I am reading an article that, a section of it is mentioned below . I have some question about this section. I will ask my question after the section below. I am thanksed if some one could help me , ...
1
vote
0answers
100 views

Reference request: The compactness and compact embedding in Besov Space?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
1
vote
0answers
56 views

What can we say about the boundary of the level set of a Sobolev function?

I'm a beginner of the area of free boundary problem. Let me first give some background: $\Omega \subset \mathbb{R}^n$ is an open connected set, and locally $\partial \Omega$ is a Lipschitz graph. ...
1
vote
0answers
33 views

The best constant in Poincare-liked inequality in $BV$ and $BD$ space

This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention. Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
1
vote
0answers
70 views

Existence of the solution of a Dirichlet type differential equation

I'm reading the first chapter of the book A geometric approach to free boundary problems by Caffarelli and Salsa, see the PDF here. The question came from Page 14—15. Let me state my question: ...
1
vote
0answers
31 views

Degenerate Carleman Estimate for Laplace Beltrami Operator

Suppose $(M,g)$ is a compact Riemannian manifold with boundary and that I have been able to prove a Carleman type estimate of the following form for an explicit phase function $\phi$ : $ \| e^ {\tau ...
1
vote
0answers
61 views

Semigroup solution via Lumer-Phillips

Let $a$ be a coercive, bounded bilinear form on $H^1(\Omega)$, where $\Omega$ is some sufficiently "nice" region. I defined an operator $A:H^1(\Omega)\mapsto H^1(\Omega)^*$ by: $$ ...
1
vote
0answers
64 views

Regularity result for the elliptic equation with Neumann conditions

I am having troubles to justify well some inequalities related with the classical theory of elliptic equations. Let us consider the problem \begin{align*} -\Delta c & =f,\text{ in }\Omega\\ ...
1
vote
0answers
53 views

Heat equation inequality

There is an inequality that tells us that for some sufficiently smooth $f$ satisfying $(\partial_t - \Delta )f \le - \delta f^2 +K$ for $\delta,K >0$ that $f$ is bounded by some constant. ...
1
vote
0answers
79 views

Gilbarg-Trudinger's book Theorem 4.13

I am reading Gilbarg-Trudinger's book "Elliptic Partial Differential Equations of Second Order". I do not understand the proof of Theorem 4.13. Theorem 4.13 is a special case of Kellogg's theorem in ...
1
vote
0answers
91 views

Asymptotics of “heat” semigroup

Consider a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary. Consider a second order elliptic operator $L$ on $L^2(\Omega)$, defined by either the Dirichlet or Neumann boundary ...
1
vote
0answers
70 views

Energy inequalities for Sobolev spaces of negative integer

I asked this question in mathematics stackexchange and couldn't get an answer. Let $\phi\in H^{s}$ such that the following energy inequality is true: $$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| ...
1
vote
0answers
114 views

Elliptic regularity Schauder estimates with Dirichlet/Neumann boundary conditions

Consider the linear elliptic equation $Lu = 0$, where $L$ is a second degree elliptic operator with smooth coefficients on a bounded domain $\overline{\Omega} \subset \mathbb{R}^n$, where $\Omega$ is ...
1
vote
0answers
69 views

Sobolev trace of $H^1(\mathcal{M} \times I)$ functions

Let $\mathcal{M}$ be a compact Riemannian manifold and let $I=(0,1)$. I seek a trace theorem saying that functions $u \in H^1(\mathcal{M} \times I)$ have a well-defined trace at $\mathcal{M} \times ...
1
vote
0answers
96 views

Size of the eigenfunction of Laplacian (reference request)

It is a classical Sobolev inequality that if $\phi$ is an eigenfunction of the Laplace-Beltrami operator on a $n$-dim compact Riemannian manifold $M$ with eigenvalue $\lambda$ then ...
1
vote
0answers
54 views

Equivalence of two definitions of weak solution (subtlety with null sets)

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 ...
1
vote
0answers
107 views

$L^2$ bound on solution of PDE in terms of $L^2$ norm of initial value

Let $u \in H^1((0,T)\times S)$ be the unique solution of $$u_{tt} + \Delta u =0$$ $$u|_{t=0}= u_0$$ $$u|_{t=T}=0$$ where $u_0 \in H^{\frac 12}(S)$ and $S$ is some Euclidean hypersurface without ...
1
vote
0answers
50 views

sharp conditions characterizing the vanishing of scalar Jacobi fields

Let $T>0$, let some function $\kappa(t)$ smooth on $[0,T]$, and let $b$ the unique solution to the ODE $\ddot b + \kappa(t) b = 0$ with initial conditions $b(0)=0$ and $\dot b(0) = 1$. I was ...
1
vote
0answers
30 views

Recursive formula for symbol of resolvent on noncompact manifold

On a compact Riemannian manifold $(M,g)$ without boundary it was shown (by R. Seeley) how to define the complex power of an elliptic classical pseudodifferential operator $A$ of positive order $m$: ...
1
vote
0answers
52 views

persistence of regularity for nonlinear Klein-Gordon equation

I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" ...
1
vote
0answers
79 views

maximum principle on compact manifolds with boundary

Let us consider the equation $Lu + f(u) = 0$ on a compact manifold $\overline{M} = M \cup \partial M$ with boundary, with Dirichlet boundary conditions. $L$ is a linear elliptic operator, and $f$ ...
1
vote
0answers
67 views

Cauchy Problem and stochastic representation for discontinuous initial data

Where can I read more about the Cauchy problem, i.e. solutions to $$ \frac{\partial u}{\partial t}+Lu=0 \text{ and } u(0,x)=f(x)$$ for some elliptic differential operator $L$ where $f$ is not ...
1
vote
0answers
77 views

$H=W$ for weighted Sobolev spaces

Meyers and Serrin's $H=W$ is well known, but how does it generalize when we add weights? Let's define $H^{m,p}(\mu_0,\dots,\mu_m)$ to be the completion of $C^\infty(\Omega)$ in the norm ...
1
vote
0answers
57 views

Existence for special Dirichlet problem

I would like to know the following: Let $M$ be a smooth surface with connected boundary. Let $f: M \rightarrow \mathbb{R}^3$ be an embedding such that the boundary $\partial M$ of $M$ is mapped onto ...
1
vote
0answers
111 views

Strichartz estimates for the wave equation

Strichartz estimates for the wave equation $\Box u=F $ with $u(0)=g_0$ and $\partial_t g(0)=g_1$ can be stated as $$\Vert u\Vert_{L^q_tL^r_x}+\Vert u\Vert_{C^0_t\dot{H}_x^s}+\Vert\partial_t ...
1
vote
0answers
51 views

Isolated singularities of harmonic mappings

Can a homeomorphic harmonic mapping $f=(u,v,w):\Omega\to \Omega'$ have isolated singular points. Here $\Delta f =0$, and singular point is a point with zero Jacobian. This will extend Lewy theorem for ...
1
vote
0answers
62 views

Strong solution to parabolic equation without differentiability assumption on coefficient?

Consider on $(0,T)\times \Omega$, $\Omega$ a bounded domain $$u_t(t,x) - a(u(t,x))\Delta u(t,x) = f(t,x)$$ $$u|_{\partial\Omega} = 0$$ where $a$ is real-valued and satisfies $C_1 \leq a(r) \leq C_2$ ...
1
vote
0answers
117 views

Harmonic extension of $L^\infty$ function is in $L^\infty$?

Let $u \in H^{\frac 12}(\Omega)$ with $\int_\Omega u = 0$ and consider the solution $v \in H^1(C)$ where $C=\Omega \times (0,\infty)$ of $$-\Delta v(x,y) = 0$$ $$\partial_\nu v = 0$$ $$v(x,0) = ...
1
vote
0answers
40 views

Finite elements $W^{1,\infty}$ error estimates

Are there finite element method setups that provide error estimates in the $W^{1,\infty}$ norm (i.e., bounds on $\|u'_h - u'\|_\infty$)? Which families of elements can be used for implementing them?