All Questions
Tagged with real-analysis ap.analysis-of-pdes
569 questions
0
votes
1
answer
843
views
$C^{\infty}_{loc}$-convergence - right definition
Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
- 35
0
votes
1
answer
94
views
A $W^{1,2}_{loc}$ function with uniformly bounded integrals on compact subsets $W^{1,2}$?
Let $M$ be a Riemannian manifold, $\Omega\subset M$ is an open subset, let $f\in W^{1,2}_{loc}(\Omega)$ with uniformly bounded integrals on compact subset, i.e. there exists a $C>0$, such that for ...
- 109
0
votes
1
answer
156
views
Prove a function, defined by integration of a harmonic function, is log-convex [closed]
Let $u$ be a harmonic function and we define
$$ q(r)=\int_{\partial B(0,r)}u^2(x)\,dx $$
The question is about to prove that $q(r)$ is log-convex, i.e., I want to show $\log q(r)$ is convex function ...
- 679
0
votes
1
answer
58
views
An expansion for 2d Euler equation
Let $R>0$ be a large constant, such that for any $x \in \Omega$, $\Omega \subset B_R(x)$. Consider the following problem in $\mathbb{R}^2$:
$$
-\varepsilon^2 \Delta u=1_{\{u>a\}} \text { in }\, ...
- 471
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
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
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
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
0
votes
1
answer
125
views
Bounding integral expression with Sobolev norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
0
votes
1
answer
711
views
Lipschitz domains ambiguous definitions
I use a lot in the study of pde bounded Lipschitz domains $\Omega\subseteq\mathbb{R}^N$. However I have noticed that there are some major differences in their definitions. I will put here two of them, ...
- 1,759
0
votes
1
answer
417
views
Application of Green function for non linear PDE [closed]
In the case of linear PDE, say $$Lu=0$$ if we have its green function say $G(x,y)$ then using that one can give solution of non homogenous PDE i.e. $Lu_f=f$ where $u_f=G*f$.
Is the same thing hold for ...
- 309
0
votes
1
answer
116
views
Fractional Laplacian and support
Let $u:\mathbb [-1,1] \to \mathbb R$ such that $\mathrm{supp}(u) \subset B_{1/2}(0)$. Under what assumptions on $u$ does it hold $$\mathrm{supp}\Big((-\Delta)^s u\Big) \subset B_{1/2}(0),$$
where $(-\...
- 217
0
votes
2
answers
238
views
Fractional Laplacian of $(a-x)_+^\alpha$ in $(0,1)$
How can I compute the spectral fractional Laplacian of $(a-x)_+^\alpha$ on $\Omega = (0,1)$?
Here the operator is defined as $$(-\Delta)^s u = c_{N,s} \int_0^\infty (e^{t\Delta_N}u(x) - u(x)) t^{-1 - ...
- 109
0
votes
1
answer
120
views
Density property fractional heat kernel
Let us consider $$p_t^{(n+2)}(\tilde x) , $$
where $x = (x_1, \ldots, x_n) \in \mathbb R^n$, $\tilde x = (x_1, \ldots, x_n, 0, 0) \in \mathbb R^{n+2}$, and $p_t^{(n)}(x)$ is the heat kernel for $(-\...
- 109
0
votes
1
answer
1k
views
Euler-Lagrange equation for a functional
What does it mean that the equation:
$$ \text{div}_{x,y}(y^a\nabla_{x,y}u)=0,\quad \text{in }\mathbb{R}^n\times(0,\infty),$$
is the Euler-Lagrange equation for the functional:
$$ J(u)=\int_{\mathbb{R}^...
- 339
0
votes
2
answers
241
views
Band limited initial data : regularity for Navier–Stokes equation defined on a torus $\mathbb{T}^m$
Consider the Navier–Stokes equation and the Euler equation defined on a torus (periodic solutions).
Let the dimensionality of the space $\mathbb{T}^m$ be $m\ge 3$.
Link to the problem (paper "...
- 698
0
votes
1
answer
582
views
$L^2$ bound and interpolation of Hölder norm
Consider the function
$$F(x):=\int_{\mathbb R} f(t+x)f(t-x) \ dt .$$
Clearly, we have by Cauchy-Schwarz
$$\vert F(x) \vert\le \Vert f \Vert^2_{L^2} $$
$$\vert F'(x)\vert\le 2\Vert f' \Vert_{L^2} \...
user144765
0
votes
1
answer
139
views
Change of variables for double integral [closed]
Thank you for your time.
My basic question is whether the following change of variables allowed
$$\int_0^a \int_0^b f(a-b)g(b-c)h(c)\,dc\,db = \int_0^a \int_0^b f(c)g(b-c)h(a-b)\,dc\,db$$
I fail to ...
- 11
0
votes
1
answer
385
views
Functions satisfying Neumann boundary condition
I have a question about functions satisfying a condition.
Let $D \subset \mathbb{R}^d$ be a Lipschitz domain. That is, for each $x \in \partial D$, there exists an open neighborhood $U$ of $x$ in $\...
- 721
0
votes
1
answer
349
views
Is this function positive?
Could someone tell me if my argument is correct?
Let $\rho_1:[0,1]\to [0,1]$ and $J:\mathbb R\to \mathbb R^+$, I have a system of two coupled PDE's and I proved that its solution $(u_0(t, r), u_1(t, ...
- 139
0
votes
1
answer
218
views
Heat semigroup dissipative
Consider the heat semigroup on $L^1(\mathbb{R}).$ I would like to know if the generator of this semigroup is dissipative in the sense of this definition.
On $L^2$ it would be completely trivial, but ...
- 167
0
votes
1
answer
268
views
Linear operator has one-dimensional kernel
Let $S_{\lambda}$ be a family of linear bounded operator on $L^2(\mathbb{R}^n)$ depending on some parameter $\lambda$, I have recently encountered several problems that dealt with the question whether ...
- 329
0
votes
1
answer
95
views
Estimating pointwise multiplication conjugated by a Fourier multiplier
I asked this question first on MSE but there was no activity.
Let $m(D)$ be a Fourier multiplier and $f$ a known function. I'm trying to estimate the operator
$$Tu=m^{-1}(D)(f(x)m(D)u)$$
in say $H^s$....
- 247
0
votes
1
answer
491
views
Is this set of function belongs to $L^\infty$?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...
- 679
0
votes
0
answers
87
views
Curl-Div equation with singular matrix
I want to solve the equation:
$$
\begin{cases}
\nabla \times (A \mathbf v)=f, \quad x\in \Omega \\
\operatorname{div}(\mathbf v)=0,
\end{cases}
$$
where $\Omega \subset\mathbb{R}^n$, is an open set, $...
- 617
0
votes
0
answers
55
views
Compactness and Leray-Schauder degree
What's the relationship between compactness of solutions in partial differential equations (PDEs) and the Leray-Schauder degree?
- 471
0
votes
0
answers
36
views
Derivate involving Bessel function of second type
Let.
$$f := (x, y) \mapsto \text{BesselK}(1, c \cdot (a - b \cdot (x + y))) \cdot \exp(c \cdot b \cdot (y - x))$$
Is there a close formula for this $$\frac{\partial^{m+n}}{\partial y^m \partial x^n} f(...
- 109
0
votes
0
answers
116
views
Integral of a measurable function with parameter is measurable?
Say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$, where $\Omega\subset\mathbb{R}^N$ is an open set, is a function such that:
$f(x,\cdot)\in L^1_{\text{loc}}(\mathbb{R})$ for a.a. $x\in\Omega$
$f(\...
- 1,759
0
votes
0
answers
36
views
Sufficient condition for interpolation
If we have a couple of two compatible banach spaces (in this sense) $(X,Y)$ and a sequence of Banach spaces $\{Z\}_{\theta\in[0,1]}$ which are intermediate between $X$ and $Y$ satisfying:
$Z_0=X$, $...
- 101
0
votes
0
answers
28
views
Metric entropy of mixed norm spaces with exponent-free bounds
Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
- 21
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
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
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
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
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
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
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
0
votes
0
answers
83
views
Partial derivative of the Bessel's operator
Let $J^s = (I- \Delta)^{\frac{s}{2}}$ where $\Delta$ is the Laplacian, and $w(x,y) \in L^2(\mathbb{T}^2)$. During my study to the paper, https://arxiv.org/pdf/1809.02027.pdf, the author stated that
$$\...
- 159
0
votes
0
answers
136
views
Fractional Laplacian of smooth cut off functions
Suppose we have a smooth compactly supported function $\phi\in C^{\infty}_c(B_\epsilon(0))$ such that $0\leq \phi \leq 1$, $\phi\equiv 1$ on the unit ball and $\phi$ vanishes outside $B_\epsilon(0).$
...
- 537
0
votes
0
answers
148
views
A Grönwall-type inequality for $u(t)\le\alpha(t)+\int_0^t\max(u(s),\beta(s))\:{\rm d}s$?
Quick question: Are we able to show a Gronwall-type inequality assuming that $$u(t)\le\alpha(t)+\int_0^t\max(u(s),\beta(s))\:{\rm d}s,$$ where $\alpha$ is nondecreasing (or constant) and $\beta$ is ...
- 167
0
votes
0
answers
981
views
Weak $H^1$ convergence implies strong $L^p_{\text{loc}}$ convergence
On page 210 of Analysis by by Elliott H. Lieb, Michael Loss (GSM 14), there is a theorem stating that if $f_j \to f$ weakly in $H^1(\mathbb R^n)$ then $\mathbf 1_A f_j \to \mathbf 1_A f$ strongly in $...
- 1,755
0
votes
0
answers
239
views
Fractional Laplacian for the product of two functions
Considering the following definition for the fractional Laplacian
\begin{eqnarray}
\label{pointwisedef} (-\Delta)^{s}u(x) & : = & \mathrm{ \mbox{p. v}} \quad a_{d,s} \int_{\mathbb{R}^d}\frac{...
0
votes
0
answers
53
views
Explicit computation related to the fractional Laplacian
Suppose $$c_{n,s}\int_{\mathbb R^n}\int_{\mathbb R^n} \frac{(u(x+y+z)-u(x+y)-u(x+z)-u(x))^2}{|y|^{n+2s}|z|^{n+2s}} dydz = C$$
for some constants $c_{n,s}$, $C$, and $s \in (0,1)$.
Is it true that $$u =...
- 161
0
votes
0
answers
150
views
Eigenvalues of the Laplacian and min-max formula in any space dimension
In which reference book can I find a proof that the eigenvalue of the Laplace operator in a domain $\Omega \subset \mathbb R^d$ with $d \ge 1$ are given by
$$
\lambda_1 = \min_{u \in H^1_0(\Omega), \|...
- 99
0
votes
0
answers
162
views
Help to understand a limit $\varepsilon\rightarrow 0$ computation on a fluid mechanic paper
In Córdoba and Gancedo - Contour dynamics of incompressible 3-D fluids in a porous medium with different densities (page 4) I read that if
$$ v (x_1,x_2,x_3,t)=-\frac{\rho_2-\rho_1}{4\pi} \...
- 383
0
votes
0
answers
85
views
Could the convex hull of $\operatorname{Lip}_1(\mathbb R)$ be dense in $\operatorname{Lip}_1(\mathbb R^d)$?
$\DeclareMathOperator\Lip{Lip}$My problem is slightly different from the title, but I don't have a more straightforward title. Sorry for that.
For $d\ge 1$, denote $\mathbb S^{d-1}:=\{x\in\mathbb R^...
user128095
0
votes
0
answers
55
views
Smooth compactly supported function with good scaling with respect to the fractional Laplacian
Is there a smooth cut off function with compact support such that $\phi: \Omega \subset \mathbb R^N \to \mathbb R$, $\mathrm{supp} \phi \subset B_R(0) \subset \Omega$ and $$(-\Delta)^s \phi \le C R^{-...
user139845
0
votes
0
answers
77
views
Energy-minimizing set of discrete points in a bounded domain
Let $\Omega \subset \mathbb{R}^3$ be a smooth, bounded domain.
Let $x_1,\ldots,x_n \in \overline{\Omega}$ be chosen so as to minimize
$$
\sum_{1\leq i<j\leq n} \frac{1}{|y_i - y_j|}
$$
over all ...
- 401
0
votes
0
answers
54
views
Existence of a solution for the Laplace equation with sub-linear non-linearity
At first, I do apologize if my question is silly. I know that by variational methods it is possible to prove the existence of a solution for
$$
\begin{cases}
-\Delta u = u^p & \Omega \subset \...
- 371