**2**

votes

**0**answers

225 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

**0**answers

221 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

**0**answers

39 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

**0**answers

58 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

**0**answers

65 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

**0**answers

43 views

### Harmonic functions subject to orthogonality condition

Suppose $(\bar{\Omega},g)$ is a Riemannian manifold with the metric being smooth where $\bar\Omega \subset \mathbb{R^3}$ is a compact domain with smooth boundary. Let $\Omega \subset \bar\Omega$.
...

**1**

vote

**0**answers

99 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

**0**answers

45 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

**0**answers

55 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

**0**answers

113 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

**0**answers

31 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?

**1**

vote

**0**answers

188 views

### A Lie algebra associated with a one dimensional foliation

A non vanishing vector field $X$ on a manifold is called "well behaved" if for every non vanishing smooth function $f$ we have $$C(X)\simeq C(fX)$$ This means that the centralizer Lie algebras ...

**1**

vote

**0**answers

41 views

### Density of restrictions of $p$-harmonic functions on a hypersurface

Let $\omega,\Omega\subset\mathbb R^n$, $n\geq2$, be bounded smooth domains so that $\bar\omega\subset\Omega$.
Let $1<p<\infty$.
Define the boundary space $B=W^{1,p}(\omega)/W^{1,p}_0(\omega)$; ...

**1**

vote

**0**answers

130 views

### Help in understanding “Local well-posedness for the Maxwell-Schrodinger system”

Is there someone who knows the following paper
"Local well-posedness for the Maxwell-Schrodinger system" by M.Nakamura and T.Wada.
I'm trying to study it but I've some doubts. In particular I'm not ...

**1**

vote

**0**answers

56 views

### Question on the local existence theory for the classical solution for the incompressible fluid dynamics equation

For the incompressible fluid dynamics system
\begin{equation}
\begin{split}
&\nabla\cdot v=0,\\
&\dfrac{\partial v}{\partial t}+v\cdot \nabla v+\nabla p=A(S,D)v,
\end{split}
\end{equation}
...

**1**

vote

**0**answers

76 views

### A bilinear estimate in Lp space

Let $\varphi(D)$ be a Fourier multiplier with symbol $\varphi(\xi) = \xi/(1+|\xi|^2)$. It's easy to prove that
\begin{equation}
\|\varphi(D)u^2\|_{H^s(R)}\lesssim \|u\|^2_{H^s(R)} \quad (*)
...

**1**

vote

**0**answers

82 views

### Free Endpoint of Minimization Problem

Consider the following minimization problem $$\inf \left\{ \int\limits_{-\infty}^0 \left[ (\psi')^2 + m(y)(\psi - F)^2 \right]\; : \; \psi \in H^1(\left(-\infty,0\right]) \right\}$$ where $m(y) > ...

**1**

vote

**0**answers

34 views

### Introduction to free boundary problems (that are not Stefan problems)

Could someone recommend some notes/papers that deal with existence/regularity of free boundary problems arising from parabolic equations (excluding Stefan type equations)?
I am thinking of eg. ...

**1**

vote

**0**answers

25 views

### Is it classical that the solution to an hyperbolic equation equation is Lipschitz -continuous $[0,\infty)\to L^1(\mathbb{R})$?

Recently I am reading a paper "Global solution and smoothing effect for a non-local regularization of a hyperbolic equation" published on J.E.E, 2004. In the proof, the authors write "It is classical ...

**1**

vote

**0**answers

48 views

### decomposition of tempered distributions by entire analytic functions

Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: |\xi|\leq 2, \phi(\xi)=1~~\text{if}~|\xi|\leq 1\}$$
Let $j\in \mathbb N$ ...

**1**

vote

**0**answers

67 views

### Measurability of solution of diffusion equation in sub sigma algebra

I want to solve the following problem:
Get $\omega \in \Omega \subset \mathbb{R}$, $x \in D \subset \mathbb{R}^2$ and $0<a_i\leq a(.,.)\leq a_x<\infty$.
Let $a( x;. )$ and $f(x;.)$ be ...

**1**

vote

**0**answers

113 views

### How does perturbation method guarantee its solution for the perturbed pde $\Delta u + \epsilon u^2 =0$

[This may not be a research-level question; if it violates any term of this website, I will delete it right away]
My question is quite simple: Suppose we are given a PDE of with a boundary condition
...

**1**

vote

**0**answers

54 views

### Bogomol’nyi’s Formula for the Critical Action

I'm studying Aigner's paper 'Existence of the Ginzburg-Landau Vortex Number' (2001) and I have some difficulties to prove the equality (3.1) , which is
...

**1**

vote

**0**answers

132 views

### Existence of solution?

I am sorry if this question is not at the MO level. But I have not found a reference so I would like ask it here.
Follow this paper :http://www.math.ku.dk/~hugger/articles/CTAC2003.pdf
Let ...

**1**

vote

**0**answers

76 views

### Uniform bounds for a coupled parabolic system of PDE (linear)

Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$.
Consider the system, with $u^\epsilon, v^\epsilon ...

**1**

vote

**0**answers

141 views

### numerical method (implicit , backward difference or forward difference) for nonlinear pde

$\newcommand{\lbar}{\underline{\lambda}}$
In this linear PDE:
\begin{cases}
B_t+b^Q(r,t)B_r+\frac{1}{2}d^2(r,t)B_{rr}+(\mu(\lambda,t)+\alpha \sigma (t))(\lambda -\lbar)B_{\lambda} \\ ...

**1**

vote

**0**answers

98 views

### A linear operator equation (PDE) with non-monotone term

I'm interested in the existence and/or uniqueness to the following problem. Let $V$ and $H$ be Hilbert spaces and $V \subset H \subset V^*$ form a Gelfand triple.
There is a linear operator $L:{D}(L) ...

**1**

vote

**0**answers

61 views

### presence of turbulent phenomena in systems of linear pde?

Are there linear systems of PDE that are known to have solutions which exhibit turbulence, or can turbulence be firmly classified as a fundamentally non-linear phenomenon, similar to solitons or shock ...

**1**

vote

**0**answers

36 views

### Does the following measurable Halmilton-Jacobian equation admit a Lipschitz solution?

I have the following question:
Let $F:\Omega\times \mathbb{R}^n\to [0,\infty)$ be a convex Finsler norm, which means that
$F(x,\cdot)$ is convex with respect to the second variable.
$F(\cdot,v)$ ...

**1**

vote

**0**answers

111 views

### Half Laplacian; (definitions of) and regularity

I have a question regarding the half Laplacian $ (-\Delta )^\frac{1}{2}$ on some smooth bounded domain $ \Omega$ in $R^N$. I am attempting to clarify some confusion with the various definitions. ...

**1**

vote

**0**answers

88 views

### Laplacian mapping on various function spaces

I have a question related to a certain elliptic operator on $R^N$ but I think i can clarify my confusion if I just consider the Laplacian $\Delta$ on the unit ball in $R^N$.
If $ 1 <p< ...

**1**

vote

**0**answers

145 views

### Stokes operator without dirichlet boundary condition

Let $\Omega$ be a domain, then the following stokes operator is quite well known :
$\mathcal{H} \rightarrow \mathcal{V}_{\sigma} $
$f \rightarrow u$ such that $ - \Delta u = f $
where $ ...

**1**

vote

**0**answers

115 views

### Compact embedding

Let $\Omega$ be a domain in $\mathbb{R}^d$ (not necessarily bounded, no regularity assumption) and $K \subset \Omega$ a compact.
Is it true that the embedding $H^1_0(\Omega) \rightarrow ...

**1**

vote

**0**answers

83 views

### $L^p$ norm of solution to porous medium equation decreases in time: how to make formal calculation rigorous?

Let $u \in C^0([0,\infty);L^1(M)) \cap W^{1,1}_{\text{loc}}((0,\infty);L^1(M))$ with $u(t) \in H^1(M)$ for a.e. $t$ be the solution of the porous medium equation $\dot u = \Delta (u^m)$ on a compact ...

**1**

vote

**0**answers

74 views

### Comparison principle using truncation for porous medium equation

For a porous medium equation (eg. $u_t - \Delta \Phi(u) = f$), is it possible to obtain a comparison principle for very weak solutions (eg. if $u_0 \geq 0$ and $f \geq 0$ then $u \geq 0$ a.e.) using ...

**1**

vote

**0**answers

170 views

### Is this function space a “classical” Sobolev space?

I apologise if this is indeed classical but my functional analysis is quite rusty...
My work recently led me to the norm: $(\|u\|_p)^p=\int_D (|u|^p+|\Delta u|^p)d\lambda$ where $D$ is the unit disk ...

**1**

vote

**0**answers

53 views

### Well-posedness of a certain linear Cauchy-problem

I am interested in solutions to the linear Cauchy problem
$$\Bigl(\frac{\partial^2}{\partial t^2} + a(t, x)\frac{\partial}{\partial t} + \sum_{j=1}^n b_j(t, x) \frac{\partial}{\partial x_j}\Bigr)u(t, ...

**1**

vote

**0**answers

89 views

### A question on the maximum principle for Schrodinger operators

Let $(M^n,g)$ be a closed Riemannian manifold, and $L=-\Delta+V$ be a Schrodinger operator, $V\in C^{\infty}(M)$. In answers to the two questions (First eigenvalue of Schrödinger operator is simple 1 ...

**1**

vote

**0**answers

118 views

### Estimate the smallest eigenvalue of a Schrodinger operator

There are several results on the estimate of the number of negative eigenvalues of a Schrodinger operator, see a recent paper of Grigor'yan-Nadirashvili-Sire and references therein. I wonder how to ...

**1**

vote

**0**answers

89 views

### On the proof of a $W^{2,p}$ estimate - regularity on eliptic PDE

I see this proof on http://www.math.uiowa.edu/~lwang/cccalderon.pdf and I couldn't understand what he did. If $||f||_{L^p(B_{4})} = \delta$ is small and the measure $|\{ x \in B_1; ...

**1**

vote

**0**answers

83 views

### Limit Toward Discontinuous Point of Dirichlet Boundary Value

The question arises from a paper on Schwarz's domain decomposition method (click here).
We consider a bounded domain in $\mathbb{R}^2$ and a curve splits it into two, see the figure below.
Now we ...

**1**

vote

**0**answers

65 views

### Lyapunov Schmidt; basic example

I am attempting to understand the Lyapunov-Schmidt method with a simple example but I am running into trouble. Here is the example I am considering. Suppose $ v>0$ satisfies $ -\Delta v - v=0 $ ...

**1**

vote

**0**answers

106 views

### Showing a normal-derivative operator is a (sort of) contraction (related to Crandall-Liggett and PDEs)

Denote by $\mathbb{E}(g)$ the solution of the PDE
$$\Delta v(x,y) = 0 \quad\text{in $\Omega$}$$
$$v(x,0) = g(x) \quad\text{on $\partial\Omega$}.$$
Let $X=L^1(\partial\Omega)$. Let $h(t)$ be a ...

**1**

vote

**0**answers

37 views

### Does there exist a base $\{e_j\}_{j\geq 1}$ of $H(\Omega)$ such that $\{e_j\}_{j\geq 1}$ is linearly independent in $L^2(\omega)^d$?

Does there exist a base $\{e_j\}_{j\geq 1}$ of $H(\Omega)$ such that $\{e_j\}_{j\geq 1}$ is linearly independent in $L^2(\omega)^d$?
Where $\omega\subset\subset \Omega$ with $\Omega$ is a $C^2$ ...

**1**

vote

**0**answers

108 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

**0**answers

91 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

**0**answers

105 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

**0**answers

117 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

**0**answers

121 views

### A parabolic PDE with Lipschitz nonlinearity, how to obtain well-posedness?

Let $\Omega$ be a bounded smooth domain in $\mathbb{R}^n$ (or more generally a compact manifold). I'm interested in well-posedness (existence most importantly) of equations of the form
$$u_t(t) - ...

**1**

vote

**0**answers

104 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; ...