All Questions
Tagged with real-analysis ap.analysis-of-pdes
569 questions
0
votes
1
answer
139
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
6
votes
0
answers
220
views
Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized
Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
- 517
7
votes
2
answers
626
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
- 1,171
7
votes
2
answers
567
views
Intuition for Agmon-Douglis-Nirenberg ellipticity
First of all, I am sorry if this is a too basic question, but I stumbled over this notion of ellipticity only very recently.
I am trying to understand the definition of ellipticity of systems due to ...
- 1,429
1
vote
1
answer
113
views
An integrable estimate of the Hölder constant of the map $x \mapsto \int_{\mathbb R^d} f(y) \partial_1 \partial_1 g_t (x-y) \, \mathrm d y$
Let $(g_t)_{t>0}$ be the Gaussian heat kernel on $\mathbb R^d$, i.e.,
$$
g_t (x) := (4\pi t)^{-\frac{d}{2}} e^{-\frac{|x|^2}{4t}},
\quad t>0, x \in \mathbb R^d.
$$
Let $f : \mathbb R^d \to \...
- 835
0
votes
0
answers
53
views
Non-linearity of viscosity solutions
I am interested in the following problem.
Let consider the solution of the non-linear PDE on $[0,T]\times\mathbb{R}$ satifying the following Cauchy problem:
$$
\begin{cases}
u_t = F(u_{xx}),\\
u(0,x) =...
- 393
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 ...
- 697
-1
votes
1
answer
110
views
Proving that $\max_{w \in B(z)} e^{f(w)} \leq Ce^{f(z)}$
Let $f : \mathbb R^2 \to \mathbb R $ be a smooth function statisfying
$$
0 < \alpha \leq \Delta f(w) \leq \beta < \infty, \ \ \forall w \in \mathbb R^2
$$
where $\Delta$ denotes the Laplace ...
- 437
0
votes
1
answer
185
views
Can we approximate a Hölder pdf by higher-order Hölder pdf's?
$\newcommand{\RR}{\mathbb R}\newcommand{\NN}{\mathbb N}$
Let $\alpha \in (0, 1)$ and $j \in \NN$. We denote by $H^{j + \alpha} := H^{j + \alpha} ({\RR}^d)$ the space of real-valued functions $f$ on $\...
- 835
3
votes
0
answers
83
views
Embedding theorems for Dini continuous functions
Are there embedding theorems for the space of Dini continuous functions on a Euclidean domain, or even just on an interval? Ideally, I am looking for something like the classical Morrey inequalities ...
- 3,388
2
votes
0
answers
116
views
Behavior at infinity of an $L^2$ function with $L^2$ mixed second derivatives
If $f$, $\nabla_x \cdot \nabla_y f \in L^2(\mathbb{R}^d_x\times \mathbb{R}^d_y)$, what can be said about decay at infinity of $\nabla_x f$, $\nabla_y f$?
It is clear that $(\nabla_x^2 + \nabla_y^2) f \...
- 469
0
votes
1
answer
507
views
Possible research directions in analysis? [closed]
I am an undergraduate student who loves basic mathematics in the analysis branch, but I have learned that some directions, for example, harmonic analysis, are already well developed and difficult to ...
- 101
8
votes
1
answer
496
views
A fractional weighted Poincaré inequality
Does there exists a constant $C>0$ such that
$$ \int_{-1}^1 \lvert x\rvert\lvert\partial_x u\rvert^2 \,dx \geq C\, \lVert u\rVert^2_{H^{1/2}((-1,1))},$$
for all $u\in C^{\infty}_0((-1,1))$?
- 4,145
7
votes
2
answers
2k
views
Method of characteristics for higher order PDEs in more than two variables
I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
- 8,998
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
23
votes
5
answers
2k
views
PDEs and algebraic varieties
Let $P$ be an order $d$ differential operator with constant coefficients and consider a PDE of the form $Pf = \delta$. Taking the Fourier transform of $P$ we get a degree $d$ polynomial whose zero ...
- 8,998
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
0
votes
0
answers
120
views
Mysterious Bound: $\int_{B_{4}}\|D^{2}u\|^{2} \leq 2^{n}$
I am reading through "A GEOMETRIC APPROACH TO THE CALDERON–ZYGMUND ESTIMATES" by Lihe Wang and I am perplexed by an assertion in Lemma 7. The claim is that whenever $\Delta u = f$:
$$\frac{1}...
- 1
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,145
0
votes
1
answer
143
views
An estimate of the integral of the higher order derivative of a bump function
Let $\kappa_1>0$, $\beta\in [0, 1]$ and $b: \mathbb R_+ \times \mathbb R^d \to \mathbb R^d$ such that for all $t\ge0$ and $x,y \in \mathbb R^d$ we have $|b(t, 0)| \le \kappa_1$ and $|b(t, x) - b(t, ...
- 835
1
vote
1
answer
145
views
Convolution with the Jacobi Theta-function on "both the space and time variables" - still jointly smooth?
Let $\Theta(x,t)$ be the Jacobi-Theta function:
\begin{equation}
\Theta(x,t):=1+\sum_{n=1}^\infty e^{-\pi n^2 t} \cos(2\pi n x)
\end{equation}
Usually, the heat equation with the periodic boundary ...
- 3,477
0
votes
0
answers
102
views
Asking a reference about the $p$-Laplacian of $|\nabla u|^p$
It is well-known that for a harmonic function $u$, i.e.
$$ \Delta u=0, $$
the quantity $|\nabla u|^2$ is subharmonic, i.e.
$$\Delta (|\nabla u|^2) \geq 0. $$
Reason:
$$\Delta (|\nabla u|^2)= 2 \nabla (...
- 371
1
vote
1
answer
153
views
How to show that $ u $ is vanishing in $ \mathbb{R}^3\setminus B_1 $?
I come across an interesting question.
Let $ B_r=\{x\in\mathbb{R}^3:|x|\leq r\} $ be the ball in $ \mathbb{R}^3 $ with radius $ r $. Assume that $ u \in C(\mathbb{R}^3\setminus B_1) $ satisfies
$$
\...
- 1,219
1
vote
1
answer
60
views
Are there $f,h$ such that $h$ is Lipschitz, $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(h(t), x)$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 657
1
vote
1
answer
93
views
Is there $f$ such that $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(Ct, x)$ for all $t>0$ and $x \in \mathbb R^d$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 657
3
votes
1
answer
96
views
Let $g$ be the heat kernel. Are there constants $C_1, C_2>0$ such that $\frac{g(t_1, \cdot)}{t_1} \le C_1 \frac{g(C_2 t_2, \cdot)}{\sqrt{t_2}}$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Let $0 < t_1 < t_2 &...
- 657
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....
- 3,477
1
vote
1
answer
160
views
On an integral equation
Let $B: C^{\infty}([0,1]^3)$ satisfy
$$B(t,t,x)=0 \quad \text{for all $t,x \in [0,1]$.}$$
Let $f \in C^{\infty}([0,1]^2)$ satisfy the following integral equation:
$$ \int_0^1 f(t,x)\,dx + \int_0^t\...
- 4,145
0
votes
0
answers
75
views
Morse functions on subset $\bar \Omega$ of $\mathbb {R}^d$ and its level sets
Let $f$ be a $C^{2}(\bar{\Omega})$ Morse function, where $\Omega$ is a bounded open set of $\mathbb{R}^d$: this means that
$$
\begin{cases}
f(x) = 0 \\
\nabla f (x) \neq 0
\end{cases}\text{ on }\...
- 61
0
votes
1
answer
154
views
Finite dimensionality of a subspace
Let $c>0$ and let $Y$ be the space of all distributions of compact support in $(-1,1)$ with singular support at $\{0\}$. Let $X$ be subspace of $Y$ such that for any $\phi \in X$ there holds:
$$ \...
- 4,145
8
votes
3
answers
701
views
Regularity of Newtonian potential along smooth boundary
Let $\Omega$ be a bounded open set in $\mathbb{R}^n$ with $C^\infty$ boundary, $n\ge 3$. Define
$$V(z)=\int_\Omega \frac{1}{|z-y|^{n-2}}dy$$
Is it true that $V(z) \in C^{\infty}(\partial \Omega)$?
...
- 1,350
2
votes
1
answer
309
views
Reverse estimate on the Riesz potential $I_\alpha : L^{n/\alpha}\to \mathrm{BMO}$
$\newcommand\BMO{\mathrm{BMO}}$Consider the Riesz potential on $\mathbb{R}^n$ given by
$$
I_\alpha f(x) = c_{n,\alpha} \int_{\mathbb{R}^n} \frac{f(y)}{\lvert x-y\rvert^{n-\alpha}} dy.
$$
It is known ...
- 363
2
votes
0
answers
75
views
On Dirichlet eigenfunctions of a domain
Given any bounded domain $\Omega\subset \mathbb R^n$, $n\geq 2$, with a Lipschitz boundary, let $\{(\lambda_k,\phi_k)\}_{k\in \mathbb N}$ be the Dirichlet eigenvalues and eigenfunctions of $-\Delta$ ...
- 4,145
3
votes
2
answers
382
views
Singular support: equivalent definition
Let $U\subset\mathbb{R}^{d}$ be an open set. The singular support of a distribution $u\in\mathcal{D}^{\prime}(U)$ is defined to be the compliment of the set of points, which have a neighbourhood in ...
- 1,171
4
votes
1
answer
172
views
Existence of a domain with simple Dirichlet eigenvalues
Let $g$ be a smooth Riemannian metric on $\mathbb R^3$ that coincides with the Euclidean metric outside a compact set $K$. Does there exist some domain $\Omega$ with smooth boundary such that $K \...
- 4,145
0
votes
1
answer
72
views
Orthogonality to a one parameter family of eigenfunctions
Let $\rho>0$ be a smooth realvalued function such that $\rho=1$ outside the unit interval $(-1,1)$. For each $t>0$, let us denote by $\{\lambda_n(t)\}_{n=1}^{\infty}$ and $\{\phi_n(t;x)\}_{n=1}^{...
- 4,145
5
votes
0
answers
417
views
All $L^pL^q$ estimates for the heat equation on $\mathbb R$ (with gain of derivatives)
I have asked this question on MSE, but this is a better place.
The heat equation and the heat kernel.
Consider the heat equation on $\mathbb R$:
$$ \left\{\begin{aligned}u_t-\Delta u&=f\\u(0,x)&...
- 1,075
5
votes
1
answer
216
views
Bounds on dimension of a subspace
Let $I=(0,1)$ and let $C>1$ be a constant. Let $L^2(I)$ and $H^1(I)$ be the standard Sobolev spaces on $I$. Suppose that $U$ is a subspace of $H^1(I)$ with the additional property that:
$$ \| u\|_{...
- 4,145
2
votes
2
answers
281
views
Most general reverse Hölder inequality for polynomials
Theorem. Let $m$ be an integer and $P_m$ the vector space of degree $m$ polynomials in one real variable. There is a constant $C$ such that, for all $a<b$ and $p \in P_m$,
$$\|p\|_{L^\infty(a,b)} \...
- 981
0
votes
1
answer
125
views
Why is this integrability condition needed for uniqueness in the continuity equation?
I am reading about the uniqueness problem for the continuity equation $\partial_t \mu_t + div_x (b \mu_t)=0$ in the lecture notes by Ambrosio (here: https://warwick.ac.uk/fac/sci/maths/research/events/...
- 697
0
votes
0
answers
142
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
3
votes
1
answer
114
views
Boundedness of solutions to a semilinear PDE
Let $D$ be the unit disk in $\mathbb R^2$ centered at the origin. Given any $\lambda \in \mathbb R$, let $u_\lambda$ be the unique solution to the semilinear elliptic equation
$$ -\Delta u + u^3=0 \...
- 4,145
0
votes
1
answer
161
views
Verifying the proof of a bilinear estimate in $L^2$
$\newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\ds}{\displaystyle} \newcommand{\Lpn}[2]{\left\lVert#1\right\rVert_{L^{#2}}}$
$\newcommand{\Lptxy}[3]{\left\lVert#1\right\rVert_{L^{...
- 159
2
votes
2
answers
752
views
Derivative of the absolute value
Let $f \in W^{1,p}(U)$, then how to prove that $|f| \in W^{1,p}(U)$, where $W$ means the sobolev space over some open subset $U \in \mathbb{R}^n$.
In Lieb's Analysis he prove that Let $f$ be in $W^{1,...
- 23
4
votes
0
answers
180
views
Approximation by gaussian mollification in Sobolev spaces
I have been trying to find a good estimate on the constant in the inequality (in dimension $d=3$ to simplify)
$$\label{0}\tag{0}
\|(1-e^{t\Delta})f\|_{L^{5/3}(\Bbb R^3)} \leq C_0\,t^{2/5}\, \|\nabla \...
- 230
0
votes
0
answers
168
views
How does one make sense of singular solutions to constant mean curvature equation?
Background:
Consider the following ODE:
$$\left(\frac{r^2 \dot{f}}{\sqrt{1+r^2(\dot{f})^2}}\right)' = c r$$
where $c$ is some positive constant (Lagrange multiplier), $f:[0,\infty)\to [0,\pi]$ is the ...
- 537
1
vote
1
answer
191
views
Comparison of solutions of Hamilton-Jacobi equations with different initial conditions
Consider a Hamilton-Jacobi equation:
$$u_{t} + f(u_{x}) = 0 \quad (x,t) \in \mathbb{R}\times [0,+\infty)$$
with two possible initial conditions $u(x,0) = g_{i}(x)$ for $x \in \mathbb{R}$ and $i=1,2$. ...
- 3,515
3
votes
2
answers
352
views
General version of Weyl's lemma
The classical Weyl's lemma say, suppose $u \in L^1_{loc}(\Omega)$ satisfies
$$\int_{\Omega}u \Delta \phi dx=0\ \ \forall \phi\in C_c^{\infty}(\Omega),$$
then $u$ is harmonic in $\Omega.$ What I want ...
- 379
8
votes
1
answer
461
views
On critical points of harmonic functions
Let $u \in C^{\infty}(\mathbb R^3)$ be harmonic. Suppose that $u$ has no critical points outside the unit ball but that it has at least one critical point inside the unit ball.
Does it follow that $u$ ...
- 4,145