All Questions
Tagged with ap.analysis-of-pdes regularity
156 questions
3
votes
1
answer
819
views
Higher regularity of solutions for Laplace equation with mixed boundary condition
Let $\Omega \subset \mathbb{R}^2$ be an open bounded Lipschitz domain of class $C^{1,1}$ with boundary $\partial \Omega = \Gamma_i \cup \Gamma_o$, $\Gamma_i \cap \Gamma_o = \emptyset$ and dist$(\...
- 363
6
votes
0
answers
255
views
Is a Sobolev map with invertible smooth minors smooth?
$\newcommand{\Cof}{\text{cof}}$
Let $k,d$ be even integers, such that $d\ge3$ and $2 \le k \le d-1$. Let $\Omega \subseteq \mathbb{R}^d$ be open, and let $f \in W^{1,p}(\Omega,\mathbb{R}^d)$, for ...
- 6,741
3
votes
2
answers
2k
views
Reference for De Giorgi-Nash-Moser theory
I am interested in Holder regularity for equations of the form
$$u_t - div A(x,t) \nabla u = 0$$ where $A(x,t)$ is bounded, measurable and elliptic.
This was proved in the seminal paper of John Nash ...
- 455
3
votes
1
answer
314
views
Is this approach for establishing regularity of harmonic maps between manifolds valid?
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
While trying to understand some regularity results, I thought about the following "naive" approach for establishing regularity of weakly ...
- 6,741
1
vote
0
answers
43
views
Hidden regularity for the coupled wave equation with dynamaic boundary condition
We have the equation
\begin{equation}
\left\{
\begin{array}{rrrr}
u_{tt}-\Delta u=0,&\text{in} &
\Omega \times ]0,T[ & \left( 1.1\right) \\
u=0, & \text{on
} & \Gamma _{0}\...
- 617
5
votes
1
answer
560
views
Dependence of the Hölder exponent in De Giorgi-Nash-Moser
I am curious about the Hölder exponent obtained by the De Giorgi-Nash-Moser theory, as a function of the ellipticity.
More precisely: suppose $u$ satisfies weakly
$$
D_i(a^{ij}D_ju)=f
$$
on the $d$-...
- 493
1
vote
0
answers
48
views
Harnack type Estimates for a p-Poisson equation with constant source term
Let $B=B_1(0)\subset \mathbb R^N$ and let $u\geq 0$ solve the PDE
$$
-\Delta_p u=1\,\,\mbox{in $B$}
$$
Let another function $f$ be such that
$$
\begin{cases}
-\Delta_p f =1 \;\;\mbox{in $B$}\\
f=0 \...
- 261
1
vote
1
answer
222
views
Is there any "extra regularity" to the solution to Poisson's equation posed on a 3-dimensional polyhedron?
I am trying to write a proof and I am out of my depth. I need an elliptic regularity result of the form
$$
\|u\|_{H^{1+\epsilon}(\Omega)} \le C \|f\|_{L^2(\Omega)}
$$
for some $\epsilon >0 $ ...
- 142
1
vote
1
answer
183
views
Advection equation regularity (2D and time independent)
I have been studying the 2D time-independent advection equation on the unit square $[0,1] \times [0,1]$. One such example is:
$$
\frac{\partial}{\partial x} u(x,y) + \frac{\partial}{\partial y} u(x,y) ...
6
votes
0
answers
618
views
Elliptic regularity for Robin boundary conditions
Suppose I have a (non-smooth) domain $\Omega$ on which I have a $H^1$ solution $u$ of a constant coefficient elliptic PDE $L$. Suppose also that $\Gamma$ is a smooth portion of the boundary $\partial\...
- 223
3
votes
0
answers
125
views
Partial regularity for transmission problem in corner domains
Let $n=2$ or $3$ and $\Omega \subset \mathbb{R}^n$ be an open bounded domain. Let suppose that $\Omega$ is divided in two subdomains $\Omega_1$ and $\Omega_2$ and we define $\Gamma = \partial \Omega_1 ...
- 143
1
vote
0
answers
46
views
Entire solutions of first order linear homogeneous evolution PDEs
I've posted this question on MSE, and haven't got any feedback yet, so I will try again here:
I'll start off with the following example for $u(x,t):\mathbb{C}^2 \to \mathbb{C}$:
$$\begin{align}
u_t&...
- 473
3
votes
1
answer
462
views
Uniqueness conditions for linear transport equation with nonconstant velocity
Considering the following equation,
$$
u_t + \operatorname{div} \, (u \, \mathbf{b}(\mathbf{x},t)) = 0
$$
in a cylinder $K = \{(\mathbf{x},t) \in \Omega \times (0,T) \}$ where $\Omega \subset \mathbb{...
- 256
0
votes
0
answers
258
views
Boundary regularity of the solution of a Poisson equation in a polyhedron
Let
$d\in\mathbb N$
$\Lambda\subseteq\mathbb R^d$ be bounded and open
$f\in L^2(\Lambda,\mathbb R^d)$
$u\in H_0^1(\Lambda,\mathbb R^d)$ with $$-\langle\nabla\phi,\nabla u\rangle_{L^2(\Lambda,\:\...
- 167
1
vote
0
answers
119
views
Does $u\in H^{3/2}(\Omega)$ imply continuity of $\nabla u\cdot\overrightarrow{n}$ across an interior interface?
When investigaing the regularity of certain functions, I encountered this problem:
if $u\in H^{3/2}([0,1]\times [0,1])$,
what can we say about the continuity of $\nabla u\cdot\overrightarrow{n}$
...
- 398
1
vote
1
answer
250
views
Moser/Schauder estimates for coercive boundary conditions
Consider the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on $(0, \infty) \times \Omega$, where $\Omega \subset \mathbb{R}^n$ is an open bounded domain with smooth boundary, and $L$ is a ...
- 11
1
vote
0
answers
115
views
$L^\infty(\Omega)$-regularity for strongly damped wave equation
I am interested in the following IBVP for the strongly damped wave equation:
\begin{equation}
u_{tt}-c^2\Delta u-b\Delta u_t+eu_t=f(x,t) \quad \text{in} \ \Omega \times (0,T), \\
u=0 \quad \text{on} \ ...
- 11
0
votes
0
answers
375
views
Regularity for a div-curl system
Let $Q = [0,1]^3$ be the unit cube in $ \mathbb{R}^3$, and let $U \subset Q$ be a simply-connected subdomain with smooth boundary. Suppose $g \: \colon Q \to \mathbb{R}^3$ is a non-negative smooth ...
- 161
12
votes
2
answers
885
views
Unexpected regularity of the distance from a $C^2$ submanifold
Let $\Gamma$ be a $C^2$ compact submanifold of $\mathbb{R}^n$. Consider the distance function $\delta$ from $\Gamma$. It is well known that, for sufficiently small $\varepsilon>0$, $\delta$ is $C^2$...
- 3,223
3
votes
0
answers
253
views
Interior regularity for elliptic operators with non smooth coefficients
I need a pretty standard interior regularity result for a second order elliptic operator of the form
$$
-\nabla^b \cdot (A(x) \nabla^b v)+c v=f,
\qquad
\nabla^b=\nabla+ib(x)
$$
where $A(x)$ is a ...
- 9,007
1
vote
0
answers
249
views
An H2 estimate for Helmholtz equation
How to show the following statement?
Let $\Omega$ be a bounded Lipschitz convex domain. If $u$ satisfies the following equation,
$$
-\Delta u - k^2 u = f \quad\mbox{ in }\Omega \\ \nabla u \...
- 41
2
votes
1
answer
851
views
$L^p$–$L^q$ estimates for heat equation - regularizing effect
Where can I find a proof of the following estimate
$$\|S(t)v\|_{L^p(\Omega)}\leq C_{N,p,q} t^{-\frac{N}{2}\left(\frac{1}{q}-\frac{1}{p}\right)}\|v\|_{L^q(\Omega)}, $$
where $1\leq p<q<+\infty$, $...
1
vote
0
answers
221
views
Boundary regularity of solution to partial differential equation
I am conducting research on partial differential equations and I need a short-time existence result from the literature which I can not find at the moment. More precisely I would like to know the ...
- 11
2
votes
1
answer
335
views
Continuity + $H^1$ + Laplacian control $ \implies$ local Lipschitz property
Consider a continuous $H^1$ function $u$ on a bounded open set $\Omega \subset \mathbb{R}^n$. We additionally have that $|\Delta u|^2 \leq c |\nabla u|^2$ pointwise on $\Omega \setminus \Sigma$, where ...
- 51
1
vote
1
answer
441
views
Elliptic regularity and inhomogeneous Neumann boundary condition
Consider a harmonic function $u$ defined on $D : = \{ (x, y) \in \mathbb{R}^2 | (x, y) \in \overline{B(0, 2)}, y \geq 0\}$, that is, the closed upper half ball centered at $0$ and radius $2$. Let $u$ ...
- 11
3
votes
1
answer
432
views
stability of the Monge-Ampère equation
Is there any hope to prove this conjecture (or a similar one)?
Conjecture Let $\Omega_k$ be a family of convex (smooth) domains, and let $u_k$ be convex Alexandrov solution of $$ \begin{cases}
...
- 1,805
2
votes
1
answer
728
views
Elliptic regularity with mixed boundary conditions
I'm looking for some results about elliptic regularity with mixed boundary conditions. I know they exist with non mixed boundary conditions but where can I find some results for the mixed case?
Thanks
- 21
5
votes
1
answer
363
views
Regularity up to the boundary for the Poisson problem
It seems that the following assertion is widely accepted:
For $k\in\mathbb N$, $p\geq 2$, $\Omega \subset \mathbb R^n$ bounded with $\partial\Omega\in C^{k+2}$ and $f\in W^{k,p}(\Omega)$, the weak ...
8
votes
1
answer
1k
views
Asking for Advices for Choosing a Ph.D thesis problem (in PDE area)
I'm a first year phd student in Germany. I've started my phd study one year ago and I'm currently confused about the topic I've chosen. The program is in the area of PDEs, and actually I didn't learn ...
- 223
3
votes
1
answer
344
views
elliptic regularity of Neumann problem on Square
I asked a similar question the other day, but I will be more precise now.
Consider $ \Omega:=(0,1 ) \times (0,1)$ and consider
$$ - u_{xx}(x,y) - u_{yy}(x,y) + a(x) u_x + b(y) u_y + u = f(x,y) \mbox{...
- 1,385
2
votes
0
answers
142
views
elliptic regularity for Neumann BVP on square
I am interested in the regularity of ellitpic equations like
$$ -\Delta u(x) +a(x) \cdot \nabla u(x) + C(x) u(x) =f(x) \quad \Omega$$ with $ \partial_\nu u =0$ on $ \partial \Omega$ where $ \Omega=(...
- 1,385
2
votes
0
answers
114
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 , ...
- 371
3
votes
1
answer
2k
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 ...
user70735
3
votes
1
answer
845
views
Moser estimates?
Consider $u$, an $L^2$ solution to the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on a ball $B_1$ of radius 1 centered at $(t_0, x_0)$, say, where $t$ can be treated as a "time" variable. I ...
- 31
2
votes
1
answer
566
views
Regularity of solution to a hyperbolic pde
I have a question concerning 2nd order evolution equation of the form $u''(t)+A(t)u(t) = f(t)$ in $L^2(0,T;V^*)$, where $f\in\ L^2(0,T;H)$ holds. Under what assumptions is it possible, to guarantee a ...
- 65
6
votes
1
answer
696
views
Reference request: optimal $L^p$ regularity for solutions to $-\Delta u=f$ with $f\in L^1(R^d)$
The tilte says it all. Given $f\in L^1(R^d)$ (let me restrict to dimension $d\geq 3$ for convenience), what is the optimal $L^p$ regularity for solutions to
$$
-\Delta u=f\hspace{3cm}(1)?
$$
I'm of ...
- 5,380
3
votes
2
answers
478
views
Physical and real life interpretation of the concept of regularity used in differential equations?
I guess the title kind of speaks for my questions: I'm curious to know what could be the physical interpretation or real life application of the concept of regularity that arises in PDE: take for ...
- 1,467
4
votes
0
answers
138
views
Integrability of $D^2u$ for $\infty$-harmonic function $u$?
Consider infinity harmonic functions; that is, functions satisfying $\Delta_\infty u = 0$ with
$$\Delta_\infty u = \langle Du, D^2 u \, Du \rangle = \sum_{i,j} \frac{\partial^2 u}{\partial x_i \, \...
- 648
5
votes
3
answers
1k
views
Elliptic theory on compact manifolds
Maybe this is silly.
On a bounded set $\Omega\subset\mathbb{R}^n$ consider the equation
$$ \Delta u=f \quad\text{ in $\Omega$}$$
$$ u=0\quad\text{ on $\partial\Omega$}.$$
One has the following ...
- 327
4
votes
1
answer
442
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 < \...
- 183
11
votes
2
answers
3k
views
What's wrong with the Courant nodal domain theorem?
The Courant nodal domain theorem (for Neumann boundary conditions) says that the $n$-th eigenfunction has at most $n$ nodal domains (connected components where the eigenfunction has the same sign. ...
- 5,169
1
vote
1
answer
275
views
Regularity of solutions for a non linear elliptic equation
Let $v_k$ be a radial sequence of function that satisfies in $\Omega\subset\mathbb{R}^4$
$(-\Delta)^2 v_k=e^{v_k}$
$v_k(x)\leq v_k(0)=0$
$\left\Vert (-\Delta)v_k\right\Vert_{L^1(B_R(0))}=O(1)\qquad R&...
- 327
3
votes
0
answers
335
views
Extra regularity of Poisson problem having nonzero Neumann boundary condition in convex domain
Let $\Omega\subset\mathbb{R}^2$ be a convex simply connected domain having piecewise smooth boundary, $f\in L^2(\Omega)$ and $g\in H^{\frac 1 2}(\partial\Omega)$. Grisvard in [1] among others prove ...
- 315
1
vote
1
answer
450
views
Proof of regularity for bounded elliptic problem
We consider the boundary value problem for potential in the form:
$$-\Delta u(\boldsymbol{x})=0,\quad \boldsymbol{x}\in \mathbb R^3\smallsetminus S,$$
with boundary conditions
$$\nabla u(\...
- 115
8
votes
1
answer
296
views
Failure of Fredholm property of elliptic PDE systems
Roughly speaking, a PDE operator satisfies the Fredholm property if its principal symbol is elliptic and the information provided on the boundary satisfies the Shapiro-Lopatinskii condition.
What can ...
- 101
2
votes
2
answers
153
views
Is the left regularizer for elliptic BVP a left inverse for the principal part?
Take a differential operator with elliptic symbol, consider just the principal part of the operator. Can one invert this principal part with some parametrix type construction (at least construct a ...
- 101
18
votes
4
answers
3k
views
Einstein field equations in perspectives from PDE and functional analysis
The Einstein field equations have been subject of research in theoretical physics, and differential geometry, apparently with methods from classical analysis and geometry. In particular, solutions in ...
- 5,327
3
votes
2
answers
803
views
Non symmetric coefficient matrix for elliptic PDE
Let $\Omega \subset \mathbb{R}^n$ be a domain and consider the PDE in divergence form
$$ D_i(a_{i,j}D_ju)=0 \tag{1}$$
where $a_{i,j}(x)$ are measurable and satisfly the uniform ellipticity ...
- 265
6
votes
1
answer
667
views
Possible mistake in De Giorgi's paper on Holder's regularity
$\mu_{n-1}$ is the $n-1$ dimensional measure and $\operatorname{meas}$ is the $n$-dimensional one.
$I(\varrho)$ is the ball of radius $\varrho$ around a fixed point $y$ in the domain $\Omega\subset \...
- 265
7
votes
1
answer
847
views
Caccioppoli-Leray Inequality for De Giorgi's theorem proof
I am studying De Giorgi's proof of Holder continuity of solutions of elliptic equations with bounded measurable coefficients.
This is the translation of the original paper
De Giorgi paper
At page ...
- 265