**2**

votes

**0**answers

238 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

**0**answers

204 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

**0**answers

143 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

**0**answers

81 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

**0**answers

154 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

**0**answers

257 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

**0**answers

180 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

**0**answers

452 views

### Open sets and Poincaré's inequality

In many references, PoincarĂ© inequality is presented in the following way :
Let $\Omega\subset \mathbb R^d$ an open bounded set. We can find a constant $C$ which depend of $\Omega$ such that for ...

**2**

votes

**0**answers

219 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

**0**answers

446 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

**0**answers

146 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

**0**answers

261 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

**0**answers

256 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

**0**answers

282 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

**0**answers

270 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

**0**answers

216 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

211 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

64 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

65 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

43 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

77 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

98 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

78 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

68 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

45 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

92 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

34 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

96 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

81 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

100 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

62 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

**0**answers

55 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

**0**answers

112 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

91 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

**0**answers

76 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

**0**answers

91 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

**0**answers

95 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

**0**answers

117 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

**0**answers

146 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

**0**answers

127 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

**0**answers

43 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

**0**answers

58 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

**0**answers

72 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

**0**answers

111 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

**0**answers

101 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

**0**answers

128 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

**0**answers

125 views

### How to pick out harmonics based on boundary conditions?

(..this is almost a continuation of my last question (which got closed!)...) Let me first rewrite one of the main results of this paper, http://calvino.polito.it/~camporesi/JMP94.pdf in a coordinate ...

**1**

vote

**0**answers

43 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

**0**answers

85 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

**0**answers

176 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$, ...