All Questions
Tagged with ap.analysis-of-pdes regularity
156 questions
1
vote
0
answers
57
views
'Invert' perturbed vorticity equation to forced Euler system
Given the vorticity form of the Euler equations in $2D$ with stream function $\psi$
\begin{align}
\omega_t + \nabla^\perp \psi \cdot \nabla\omega &= 0 \\
\Delta \psi = \omega
\end{align}
we know ...
- 255
2
votes
0
answers
190
views
Smoothing property of the heat kernel on the one-dimensional torus
Let $G=G(x,t)$ be the heat kernel on the one-dimensional torus $\mathbb{T}^1,$ with $x \in \mathbb{T}^1$ and $t \in (0,T].$ $G$ is given by \begin{equation}
G(x,t) = (4 \pi t)^{-1/2} \sum_{k \in \...
- 185
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 ...
- 188k
0
votes
0
answers
78
views
Nonlinear quadratic Schrödinger equation with variable coefficients
Consider the following quadratic Schrödinger equation in $Q_T = \Omega \times [0,T]$:
$$\begin{cases}
i \partial_t u + \kappa(x,t) \Delta u + \beta(x,t) u^2 = f(x,t)\\
u(x,0) = ...
- 111
1
vote
1
answer
85
views
$H^2$-elliptic regularity (up to the boundary) for operators with lower order terms for Lipschitz/convex domains
Let $\Omega$ be a bounded domain which is Lipschitz or convex. Given an elliptic operator of the form
$$\langle Au, v \rangle = a_{ij}u_{x_i}v_{x_j} + b_i u_{x_i}v + cuv$$
are there any elliptic ...
- 206
9
votes
2
answers
493
views
Reference Request for global Hölder continuity of solutions to elliptic PDEs
This is question that was also posted on MathStackExchange Link, where it was suggested I post this question on MathOverflow. Please note that the answer given in Link does not help as I do not have ...
2
votes
0
answers
83
views
3/2 Sobolev Norm on the boundary of a bounded open subset of $\Bbb R^n$
Let $\Omega\subset\mathbb{R}^{n}$ be a open bounded set and $\partial\Omega$ be the boundary of $\Omega$.
Following the reference text by Alois Kufner, Oldřich John and Svatopluk Fučík, Function ...
- 6,367
6
votes
1
answer
246
views
The sharpest regularity result of elliptic PDEs: conditions on the variable coefficients
Let $\Omega \subset \mathbb{R}^n$ be open and bounded with a sufficiently smooth boundary. Let $L$ be a second order differential operator with variable coefficients, given by
$$Lu = \partial_i(a^{ij}...
- 206
8
votes
0
answers
115
views
optimal regularity for the Neumann heat equation on Lipschitz domains
$\newcommand{\R}{\mathbb R}$Let $\Omega\subset\R^d$ be a bounded Lipschitz domain, possibly non-convex (but not too nasty either, whatever that means). I am looking for well-posedness and optimal ...
- 5,380
2
votes
1
answer
75
views
How to show $\lVert\Delta u_n- \Delta u\rVert_{L^2(0,T; \,H^2(\Omega))} \to 0$ ? $(\Omega \subset \mathbb{R}^2)$
Let $u_n, \nabla u_n, \Delta u_n, \nabla \Delta u_n, \Delta^2 u_n$ be uniformly bounded in $L^2((0,T) \times \Omega)$ where $\Omega \subset \mathbb{R}^2, u=\Delta u =0$ on $\partial \Omega$.
Assume ...
- 3,425
8
votes
0
answers
177
views
Understanding spaces of negative regularity
I apologize if this question is too basic for this site, but I posted it on mathSE and did not get any responses (link can be found here) so I'm crossposting it here.
Let $C^k(\mathbb{R}^n$) be the ...
- 721
4
votes
0
answers
97
views
Techniques to estimate PDE which are elliptic in some directions and degenerate in others
I am interested in a family of PDE which have defeated my (admittedly rather naive) attempts to prove any regularity or stability estimates. These are systems of PDE which are elliptic in some ...
- 708
1
vote
0
answers
52
views
Continuity of the constant in maximal Sobolev regularity
Let $\Omega \subset \mathbb R^n$ be a smooth, bounded domain. For each pair $(p, q) \in (1, \infty)^2$, maximal regularity asserts that there is some $\widetilde K(p, q) > 0$ such for all $f \in L^...
- 63.9k
0
votes
1
answer
217
views
About the polynomial characterization of $C^{1,\alpha}(\bar{\Omega})$ Hölder space in Lipschitz domain
I have trouble proving the following statement regarding a characterization of $C^{1,\alpha}$:
Let $\Omega$ be a Lipschitz domain. $u$ is pointwise $C^{1,\alpha}$ at all points with the same constant $...
- 111
2
votes
0
answers
176
views
Visualization of an oscillation lemma
How can one visualize Theorem 4.2 on page 31 of this paper by Seregin, Silvestre, Šverák and Zlatoš?
On the other hand, I have a clear visualization of a related result about how oscillation decay ...
- 4,219
2
votes
0
answers
111
views
Upper bound Hölder norm of the solution to the linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (x)|^2 u(t, x) \}$
Previously, I asked the same question for a non-linear PDE, but I have got no answer. Below, I consider the linear counterpart it.
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb ...
- 39.7k
10
votes
0
answers
422
views
Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
- 835
1
vote
0
answers
91
views
Parabolic regularity for weak solution with $L^2$ data
I want to study the regularity of weak solutions $u\in C([0,T];L^2(\Omega))\cap H^1((0,T);L^2(\Omega))\cap L^2(0,T;H^1(\Omega))$ of the heat equation with Neumann boundary conditions:
$$\begin{cases}\...
- 1,759
0
votes
0
answers
52
views
Properties of "potential vector field" in Helmholtz decomposition
It is a well known fact that given a vector field $F$ in $\mathbb{R}^3$, this can be decomposed as
$$ F= \nabla V+ \nabla \times R$$
with $V$ a potential and $R$ another vector field. These components ...
- 3,065
1
vote
0
answers
131
views
Regularity of elliptic equation with Neumann boundary conditions
In the context of the regularity of the free boundary of the one-phase (a.k.a. Bernoulli) problem we want to show $C^{1,\alpha}$ regularity of the free boundary implies smoothness of the free boundary ...
- 11
2
votes
1
answer
102
views
Show $v(x,t) \in L^2([0,T];H^2(\mathbb{R}))$ when $v(x,t)$ is a transformation of a $L^2([0,T];H^2(\mathbb{R}))$ function
Context: I am reading a paper on Long-Time Asymptotics of the thin film equations, in which the authors consider the strong solutions of the thin film equation in 1-D and transform them using a time-...
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,407
1
vote
1
answer
149
views
Well-posedness of the linear parabolic equations with respect to the inhomogeneous term as well as the initial data
I already asked the question on MSE, and have tried to figure it out myself.
But the problem seems trickier than expected, so I guess MO is a better place to ask..
For the sake of completeness, I ...
5
votes
0
answers
213
views
Elliptic regularity and Sobolev spaces
Consider a linear partial differential operator $D:C^{\infty}(\mathbb{R}^{d})\to C^{\infty}(\mathbb{R}^{d})$, i.e.
$$D=\sum_{\alpha\in\mathbb{N}^{d}}a^{\alpha}(x)\partial^{\alpha}_{x}$$
where $a$ are ...
- 1,429
1
vote
0
answers
124
views
Regularity of minimizing harmonic maps with no topological obstructions
So during (not really) my research I stumbled upon the following question, for which I could not find results in literature in any direction. It is not stated super precisely mathematically speaking, ...
- 646
1
vote
0
answers
171
views
Are weak solutions and mild solutions for linear parabolic equations equivalent in $L^{q}([0,T],L^p(\Omega))$ with $1<q<\infty$, $1<p \leq 6/5$?
I have looked through some MO and ME posts, and the common opinion is that weak and mild solutions are equivalent for "many" cases of linear parabolic equation.
However, detailed proofs can ...
- 3,477
1
vote
0
answers
67
views
A question about semigroups in a Heisenberg group
I'm trying to understand if the regularity of solutions in Heisenberg groups works like in the Euclidean case. So far I haven't found any results, so I'm trying to check if the Regularity Theorems ...
- 63.9k
3
votes
0
answers
118
views
If $\frac{\partial f}{\partial t}(x,t)$ exists a.e and $\frac{\partial^2 f}{\partial t \,\partial x }$ is continuous, can we improve a.e existence?
The question is as in the title.
Let $f(t,x) : [0,1]^2 \to \mathbb{R}$ be a function which is $C^\infty$ w.r.t $x$ for each fixed $t$ and whose derivatives w.r.t $x$ are all absolutely continuous w.r....
1
vote
0
answers
95
views
Non-existence of classical solutions of Hardy PDE
On the paper "On the Cauchy Problem for Reaction-Diffusion Equations" Wang studies the Hardy-Hénon equation
$$
\begin{cases}
u_t - \Delta u = |\cdot|^{l}u^{p}& \mbox{ in } \mathbb{R}^n ...
- 6,367
1
vote
0
answers
293
views
Regularity up to the boundary of solutions of the heat equation
Given the heat problem:
$$\begin{cases}
\frac{d}{dt}u(x,t)=\Delta u(x,t) & \forall (x,t)\in \Omega\times(0,T) \\
u(x,0)=u_0(x) & \forall x\in\Omega \\
u(x,t)=0 & \forall x\in\partial\...
- 61
2
votes
0
answers
132
views
Linear elliptic problems: Are gradient estimates preserved after perturbation?
(This question is a duplicate from here)
We start with the linear elliptic PDE
$$
-\operatorname{div}(A\nabla u)=f \quad\text{in}\ \Omega,\\
u=0 \quad\text{on}\ \partial\Omega
$$
We assume that $\...
- 141
2
votes
1
answer
203
views
Global Hölder regularity
I am reading the book "Regularity theory for elliptic PDE" by Xavier Fernández-Real
and Xavier Ros-Oton, and I saw this result on page 69 about solutions of $\Delta u = f$ in $\Omega$ with $...
- 705
3
votes
1
answer
305
views
Are Neumann Laplacian eigenfunctions in $C(\overline{\Omega})$?
Consider that $u\in H^1(\Omega)$ with $\Delta u\in L^2(\Omega)$ (in the distributional sense) such that for some $\lambda>0$ we have that:
$$\begin{cases} \Delta u(x)=\lambda u(x), & x\in\Omega\...
- 684
1
vote
1
answer
135
views
Reference and hint for L^p estimates of the gradient of solutions to parabolic equation in divergence form
Considering a weak solution $u\in L^2(0,1;H^1(B_1))$ with $\partial_t u \in L^2(0,1;H^{-1}(B_1))$ to
$$\partial_t u-\operatorname{div}(A(x,t)\nabla u)=f+\operatorname{div}(F) \hspace0.5cm \text{in} \...
- 684
2
votes
1
answer
164
views
Optimal assumption on H^2 regularity
In many text book (Evans, Gilbarg-Trudinger for example) there is a classical result of interior regularity for weak solutions to a elliptic divergence problem $\rm{div}(A(x)u)=f$ in $\Omega\subset\...
- 4,899
7
votes
2
answers
987
views
Different ways to prove $L^p$-estimates for the heat equation
Let $p \in (1,\infty)$. We are interested in strong $L^p$-solutions to the heat equation in $\mathbb{R}^n$.
$$
\begin{cases}
\partial_t u = \Delta u + f \\
u(0) = 0.
\end{cases}
$$
It is well-...
- 3,425
4
votes
1
answer
216
views
Interior Sobolev regularity of parabolic solutions
In Evans book (and many others) there are a classic result about interior regularity in Sobolev spaces for solutions to uniformly elliptic problem (Theorem 1, p. 309). That is, let $\Omega\subset\...
- 6,035
4
votes
1
answer
487
views
Nonsmooth version of Hopf boundary point lemma
Let
$$
Lu=-a_{ij}(x)\partial_{ij}u+b_i(x)\partial_i u
$$
be a uniformly elliptic operator, with $A(x)=(a_{ij}(x))$ positive-definite.
Here I'm only considering smooth coefficients, and the domain $\...
- 5,380
4
votes
1
answer
164
views
Smoothness of critical elliptic problem
I am convinced I have seen results along the lines of: if $ u \ge 0$ is an $H_0^1(\Omega)$ solution of
$$-\Delta u = u^{q-1}$$ in $\Omega$ with $ u=0$ on $ \partial \Omega$ (here $\Omega$ is a smooth ...
- 381
1
vote
0
answers
39
views
Parabolic theory for singular coefficients on bounded domains (Reference Request)
In Evans, the theory for linear PDE of parabolic type with bounded coefficients is developed. There are nice results such as long-existence of weak solutions and the parabolic regularity theorems.
Is ...
- 111
2
votes
1
answer
75
views
Quotient of solutions of a semilinear Dirichlet problem is $L^\infty$
I posted this on MathStackExchange, but it hasn't even got 10 views, so probably it is better to post here. I hope it is not inappropriate.
I am reading a paper of Brezis and Oswald about existence ...
- 52.3k
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 ...
CommunityBot
- 1
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 ...
- 39k
3
votes
0
answers
85
views
Differentiability of a weak solution
Let $d$ be a positive integer with $d \ge 2$. We write $x=(x_1,\ldots,x_{d-1},x_d)=(\hat{x},x_d)$ for $x \in \mathbb{R}^d.$ The standard inner product and the Euclidean norm on $\mathbb{R}^d$ are ...
- 721
1
vote
0
answers
248
views
Regularity of Fokker-Planck equation
Consider solutions $\rho_{1,2}$ of the Fokker-Planck equation
$$\begin{cases}\partial_t \rho_i = \Delta \rho_i + \nabla \cdot (\rho_i \nabla \Phi_{1,2})\\
\rho_i(0,\cdot) = \rho^0 \end{cases}$$
for ...
- 63.9k
2
votes
0
answers
188
views
Elliptic regularity for a system of PDEs
I am considering a system that can be simplified to the following problem.
Let $\Omega$ be a bounded open subset of $\mathbb{R}^n$ with smooth boundary, $n \geq 3$, and consider the following coupled ...
- 1,263
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$-...
- 2,155
2
votes
0
answers
77
views
Smooth solutions to the Neumann problem defined on the closure of the domain
Does the Neumann-problem for the Laplace equation on a smooth bounded domain $\Omega \subset \mathbb{R}^{3}$ with smooth boundary data $g$ such that
\begin{equation}
\int_{\partial \Omega}g \, d \...
- 351
2
votes
0
answers
314
views
A regularity result for semilinear PDE of the form $\Delta u=f(x, u)$ in Michael E. Taylor's book "Partial Differential Equations III"
Let $M$ be a bounded domain in $\Bbb R^2$: under the assumption that
$$
\partial_{u} f(x, u)=0 \text { for }|u| \geq K\label{1}\tag{1.6}
$$
Michael E. Taylor said that (proposition (1.3))
For $k=1,2, \...
- 6,367
0
votes
0
answers
76
views
Regularity of solution to Cauchy problem given regular initial data
Let $f\in L^2_1([0,T]\times \mathbb{T}^m)$ (Sobolev space of maps of regularity $1$, $\mathbb{T}^m$ is the $m$-dimensional torus)
be a solution of a Cauchy problem
$$\frac{d}{dt} f(t) = A f(t)$$
$$f(0)...
- 2,533