All Questions
Tagged with integration ap.analysis-of-pdes
31 questions
1
vote
1
answer
62
views
Integrability in the product space can follow from a property of the Nemytskii operator?
Let's say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$ is a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where ...
- 1,759
0
votes
0
answers
115
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
1
vote
0
answers
37
views
Inequality for function on Spinor bundle
I have a function $H(x,\psi)$ defined on the spinor bundle $\mathbb{S}$ with $H_\psi$ being the continuous derivative in fiber direction having the following properties:
(H-1) There exists $0<\...
- 11
4
votes
1
answer
470
views
Iterated Duhamel's formula for solutions of Boltzmann equation
My question comes from a computation in the paper Central limit theorem for Maxwellian molecules and truncation of Wild expansion. Specially, consider the following Boltzmann equation
$$\frac{\partial ...
- 730
0
votes
1
answer
1k
views
The derivation of Reynolds-averaged Navier-Stokes equations
The following procedure is used to derive the Reynolds-averaged Navier-Stokes equations (Wikipedia: RANS equations)
When we talk about turbulent flows we can represent the velocity of the fluid as:
$$
...
- 1
0
votes
0
answers
66
views
Reference request: Integrability condition on measures
Let $(\mathcal{C}, \|\cdot\|)$ be a (non-locally compact) Banach space with Borel $\sigma$-algebra $\mathcal{B}$.
Given a probability measure $\mu : \mathcal{B}\rightarrow[0,1]$, I'm interested in ...
- 463
1
vote
1
answer
276
views
Exponential decay bound on integral
I have an integral of the form
$$ \int_R^{\infty} e^{-x} x^n \vert L_m^{\alpha}(x) \vert^2 \ dx,$$
where $L_m^{\alpha}$ is the generalized Laguerre polynomial and $n \ge 0.$
I would to get a nice ...
- 73
2
votes
0
answers
86
views
The square-integrability of $p$ and $\nabla u$
We consider the stationary Stokes problem in $\mathbb{R}^n$
$$\DeclareMathOperator{\Dvg}{\nabla\cdot}
\begin{cases} \Delta u + \nabla p = f & \text{ in $\mathbb{R}^n$} \\
\Dvg u =0.
\end{cases}
$...
4
votes
0
answers
113
views
Minimal regularity for domains in Green's formula
The Green formula is well-known for smooth bounded domains of $\mathbb R^d$. My question is:
What is the minimal regularity known for domains where Green's formula still holds?
- 395
2
votes
0
answers
162
views
$\int_{\mathbb{R}^{N}\setminus\Omega}\vert x-z\vert^{-N-\alpha} dz = c \ \forall x\in\partial U$ implies $dist(x,\partial\Omega)=c, x \in \partial U$?
Let $\alpha \in \mathbb R_+$, $\Omega \subset \mathbb R^N$ and $U \subset \Omega$. Is it true that if
$$\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-\alpha} dz = \text{constant} \quad \text{for all ...
- 61
3
votes
1
answer
384
views
A possible error in Villani's monograph "Hypocoercivity"
I think there is an (possible) error in Villani's monograph titled "Hypocoercivity". To be specific, in page 48, he wrote "For the second term in (6.9), we use the identity $$\nabla\...
- 730
2
votes
0
answers
84
views
A problem of uniqueness
Let $f\in\mathcal{S}(\mathbb{R}^n)$, $a\in(-1,1)$, how i can prove that the following problem:
$$\text{div}(t^a\nabla u)=0,\quad\text{in }\mathbb{R}^n\times(0,\infty),$$
$$ u(x,0)=f(x),\quad\forall x\...
- 339
2
votes
0
answers
115
views
Showing that for measurable $\Omega \subseteq \mathbb{R}^n$, $L^1(\Omega; C_0(\mathbb{R}^n))$ is separable
Here we're integrating "Banach-valued" functions $u: \Omega \rightarrow C_0(\mathbb{R}^n))$ , and by $u \in L^1(\Omega; C_0(\mathbb{R}^n))$ I mean that
$$\int_{x \in \Omega} \| u(x) \|_{\...
- 21
2
votes
1
answer
291
views
An inequality involving fractional Laplacian
I have to prove that for $s\in(0,1)$, $u\in\mathcal{S}(\mathbb{R}^n)$, (i.e. $u$ is a Schwartz function):
$$ |(-\Delta)^su(x)|\leq c_{n,s}|x|^{-n-2s},\quad\forall x\in\mathbb{R}^n\setminus B_1(0), $$
...
- 339
2
votes
1
answer
336
views
explicit computation of fractional Laplacian of a function
For $x\in\mathbb R$ let
$$
u(x)=\begin{cases}
|x|^{2s-1}-1 &\mbox{if } |x|>1,\\
0 & \mbox{otherwise}.
\end{cases}
$$
Is it possible to calculate explicitly the fractional Laplacian $(-\...
- 407
5
votes
2
answers
2k
views
Elementary calculus estimate or not?
Does there exist a constant $C>0$ such that for all $f \in H^3(\mathbb R)$
$$\int_{\mathbb R} \vert x f''(x) \vert^2 \ dx \le C \int_{\mathbb R} \vert f'''(x) \vert^2 + \vert x^3f(x) \vert^2 + \...
user69109
3
votes
3
answers
383
views
Density of a functional space
Let $D$ be a bounded domain of $\mathbb{R}^n$ with smooth boundary $\partial D$. Is the following subspace dense in space $L^2(D)\times L^2(\partial D)$:
$$\{(f,f\rvert_{\partial D}) : f\in C^\infty(\...
user135093
1
vote
0
answers
511
views
Weak derivative under the integral sign
Let $\Omega$ be a bounded and regular open subset $\Omega$ of $\mathbb{R}^N$ and $u:[0,\infty)\times \Omega\to \mathbb{R}$ be a smooth function (for example a smooth solution to a PDE). Thus the ...
- 161
1
vote
1
answer
814
views
$L^2$ norm of fractional Laplacian
Is it possible to calculate the $L^2$ norm associated to fractional Laplacian of $u$ and $s\in (0, 1).$
$$\|(-\Delta)^{s/2} u\|_2^2=\int_{\mathbb R^N}|(-\Delta)^{s/2} u|^2dx=C_{N,s}\int_{\mathbb R^{...
- 407
2
votes
0
answers
311
views
integration by parts for fractional laplacian formula for a larger class of functions
When is this formula valid $\int_{\mathbb R^N} (-\Delta)^sf g =\int_{\mathbb R^N} (-\Delta)^s g f $ with $s\in (0, 1)?$
I am aware of the integration by parts formula holds for $f, g$ in $L^2(\mathbb ...
- 402
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
2
votes
1
answer
116
views
Bounding a function with second moments
Let $f(x,y)$ be a non-negative function with $x,y \in \mathbb R^3$ that satisfies
$$
I_1(f) := \iint_{\mathbb R^3 \times \mathbb R^3 } f(x,y) \, dx \ dy < \infty
$$
and
$$
I_2(f) := \iint_{\...
- 183
3
votes
1
answer
146
views
Radial Kernel with Bounded Support and Norm of Gradient Bounded by a Dimension-free Constant
I was wondering if it is possible to construct a compactly supported radial kernel function in $\mathbb{R}^d$ such that the norm of the gradient is bounded by some dimension-free constant. That is, ...
- 1,127
5
votes
1
answer
255
views
Harmonic analysis, compute that this integral tends to $0$
We have the following setting.
$U$ is a bounded Lipschitz domain in the complex plane.
Consider the following classical Dirichlet problem for the Laplace operator:
$$\begin{align}
\Delta{}u&=0 \...
- 355
2
votes
0
answers
246
views
A integral equation with Discrete to result by inverse problem
Problem
I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here, (I know the ...
- 4,280
3
votes
1
answer
480
views
To understand integral :$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$
I wants to understand the integrals of the form
$$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$$
where $\mu(\alpha)$ is a non decreasing function such ...
- 1,051
1
vote
0
answers
138
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 ...
- 41
2
votes
0
answers
128
views
How to show the identity $\int_0^T \int_{\Gamma(t)}f(s,t)\;dsdt = \int_S f(\sigma)(1+(\mathbf w \cdot \mathbf n)^2)^{-\frac{1}{2}}\;d\sigma$?
I am reading this paper.
Let $\Gamma(t)$ be a smooth closed connected oriented hypersurface for each $t \in [0,T]$. Define the set $$S = \bigcup_{t \in (0,T)}\Gamma(t) \times \{t\}.$$
On page 5 of ...
- 23
1
vote
2
answers
353
views
How to show this integral on boundary of Lipschitz domain is finite?
Sorry for asking a basic question but this did not get answered on M.SE.
Let $\Omega \subset \mathbb{R}^n$ be a Lipschitz domain. How do I show rigorously that
$$\int_{\partial\Omega} \frac{1}{|y|^{...
0
votes
2
answers
663
views
Defining surface integral on boundary of $C^1$-domain
Let $\Omega$ be a bounded $C^1$ domain with bounded boundary $\partial\Omega$. Can someone point me to a reference where the surface integral of a measurable function $f\colon \partial\Omega \to \...
2
votes
1
answer
125
views
Is $C_c(\mathbb{R}^2,\mathbb{R}^2)$ dense in the irrotational square integrable functions?
Let $L_D(\mathbb{R}^n)^n$ be the set of square integrable functions which are the weak derivative of a locally square integrable function. That is
$$L_D(\mathbb{R}^n)^n=\{Du\colon u\in H^1_{loc}(\...
- 53