All Questions
Tagged with fa.functional-analysis real-analysis
1,447 questions
3
votes
2
answers
294
views
Domain of spectral fractional Laplacian
Let $(M,g)$ be a complete Riemannian manifold with Laplacian $\Delta:C^{\infty}_{c}(M)\to C^{\infty}_{c}(M)$ (think of $\mathbb{R}^{d}$ if you wish). This operator is essentially self-adjoint in $L^{2}...
- 24.2k
2
votes
1
answer
264
views
Is a continuous functional on continuous functions the restriction of a continuous functional on the space of all functions?
As sets, we can consider the space $C(\mathbf{R}^n;\mathbf{R}^k)$ - of all continuous functions from $\mathbf{R}^n$ to $\mathbf{R}^k$ - to be a subset of the product space $(\mathbf{R}^k)^{\mathbf{R}^...
- 128k
0
votes
0
answers
119
views
About definition of stable solution. $Q_u(\phi) \ge 0$ for all $\phi \in C_c^1(\Omega)$ replaced by "for all $\phi \in W_0^{1,2}(\Omega)$"
I want to ask about a remark about the stable solution of elliptic PDE Remark 1.1.1.
We say $u$ is stable solution of $-\Delta u=f(u) \ \text { in } \Omega$ and $u=0$ on $\partial \Omega$ if it ...
- 809
1
vote
1
answer
120
views
Sobolev-type estimate for irrational winding on a torus
Let $\mathbb{T} = \{ (x, y) \in \mathbb{R}^2 \}/_{x \mapsto x + 1, y \mapsto y + 1}$ be a real 2-torus. Let $\mathscr{C}^{\infty}_0(\mathbb{T})$ be the subset of $\mathscr{C}^{\infty}(\mathbb{T})$ of ...
- 227
5
votes
1
answer
542
views
If $f$ is bounded, decays fast enough at infinity and $\int f=0$, does this imply that $f$ is in the Hardy space $\mathcal H^1(\mathbb R^n)$?
Let $\mathcal H^1(\mathbb R^n)$ be the real Hardy space (as in Stein's "Harmonic Analysis", Chapter 3). It is well known that $\mathcal H^1(\mathbb R^n)\subset L^1(\mathbb R^n)$ and its ...
- 1,075
2
votes
0
answers
188
views
Self-adjointness of fractional laplacian
Lets consider the following functional analytic definition of the fractional Laplacian: Consider a (complete, connected, oriented) Riemannian manifold $(M,g)$ with corresponding Laplacian $\Delta_{g}$....
- 1,171
6
votes
1
answer
310
views
Surjectivity of a class of integrals in dimensions two
Let $\Omega \subset \mathbb{R}^2$ be an open set and $G(x,\theta): \Omega \times [0,2\pi]\rightarrow \mathbb{R}$ be a positive continuous function. Assume $F:\Omega \rightarrow \mathbb{R}^2$ defined ...
- 1,075
2
votes
1
answer
165
views
Continuity of an upper semi-continuous function over periodic points
Let $f: X \to \mathbb{R}$ be an upper semi-continuous function on $X$, which is a compact subspace of a vector space. Let sequence $x_n, n \in \mathbb{N}$, with positive elements - periodic: there ...
- 6,165
19
votes
3
answers
1k
views
What standard Banach space is isomorphic to the completion of this different normed structure on $\ell^1$?
A colleague asked me the following question:
"What can one do with the following norm on $\ell^1$: $|x|=\int_1^2 |x|_pdp$ where $| \;\; |_p$ is the standard norm on $\ell_p$?"
This ...
- 1,075
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
1
answer
143
views
$L^1$ error between indicator function and smoothed out version
For a large parameter $r>0$, consider the indicator function $1_{[-r,r]}$ and its convolution with the (normalized) Gaussian $\frac{1}{\sqrt{\pi}}e^{-x^2}$, that is,
$$f_r(x) = \frac{1}{\sqrt{\pi}}\...
- 24.2k
3
votes
0
answers
245
views
Norm on the space of real analytic functions
The space $C^{\omega}(\Omega)$ of real-valued real analytic functions on the open bounded set $\Omega\subset \mathbb R^n$ does not have any obvious or natural metric which would make it a Fréchet ...
- 203
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,135
0
votes
2
answers
125
views
Is there a modification of $f$ on a null set such that $F: [0, T] \to L^p ({\mathbb R}^d), t \mapsto f(t,\cdot)$ is Bochner measurable?
Let $T>0$ and $p \in [1, \infty)$. Let $f \in L^p ([0, T] \times {\mathbb R}^d)$. By a theorem in this thread, there is a Lebesgue null subset $N$ of $[0, T]$ such that $f(t, \cdot)$ is Lebesgue ...
- 835
12
votes
0
answers
435
views
Uniform closure of subspaces of Baire class 1
Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
- 1,704
1
vote
1
answer
264
views
Is there a version of dominated convergence theorem for local $L^p$ spaces?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let $\tilde L^p (\mathbb R^d)$ be the space of ...
- 128k
5
votes
1
answer
526
views
Boyd & Chua 1985: Is the proof of Lemma 2 correct?
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'm reading this article by Boyd and Chua [1], in which they prove the approximability of arbitrary time-invariant (TI) operators ...
- 6,367
1
vote
2
answers
188
views
Does a measurable $F :[0, T] \to L^p (\mathbb R^d; \mathbb R_{\ge 0})$ have a "flattened" measurable version?
Let $d \in \mathbb N^*,p \in [1, \infty]$ and $T>0$. Let
$$
F :[0, T] \to L^p (\mathbb R^d; \mathbb R_{\ge 0}), t \mapsto F_t
$$
be measurable. I would like to ask if there is a measurable function ...
- 835
0
votes
1
answer
117
views
For any smooth function $f$ on $[0,1]$, do we have $\lVert P_N f \lVert_{1} \leq \lVert f \rVert_1$ for $P_N$ defined by Fourier expansion?
Let $C^\infty[0,1]$ be the space of periodic smooth functions on $\mathbb{R}$ with the period $1$. It is well-known to be a Frechet space with the uniform convergence of all derivatives.
Also, $\{ e^{...
- 1,879
4
votes
1
answer
305
views
Holomorphic extension of the Fourier transform of a measure
If an entire holomorphic function $f(z)$ is given by the analytic continuation of $f(x)=\int_\mathbb{R}e^{-ix\xi}\,d\mu(\xi)$ with a finite Borel measure $\mu$ on $\mathbb{R}$, then $g(x):=\int_\...
- 13
7
votes
2
answers
419
views
A counterexample showing $BV_p \neq AC_p$
I am trying to work through a supposedly simple counterexample given in papers by Love and Gehring regarding a $p$-power generalization of bounded variation and absolute continuity.
Let $p > 1$. ...
- 217
1
vote
1
answer
2k
views
Product of Dirac delta function
The following equation may be meaningful, but how can we make it well-defined
$$\delta(x-a)\cdot\delta(x-b)=0$$
Question: How do we defined this equation? Or more broadly define product between ...
0
votes
0
answers
145
views
Why is this function in $L^1$?
I had a question about a claim made in the paper "Group Invariant Scattering" and why it is true. Consider the function $h_j(x) = 2^{nj}\psi(2^jx)$, where $\psi$ is a function such that $\...
- 101
0
votes
1
answer
253
views
Is the space $L^p_{\text{loc}} (\mathbb R^d)$ separable w.r.t. the norm $\|f\|_{\tilde L^p} := \sup_{x \in \mathbb R^d} \|1_{B(x, 1)} f\|_{L^p}$?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let ${\tilde L}^p (\mathbb R^d)$ be the space of ...
- 128k
5
votes
1
answer
1k
views
Analytic functions where all derivatives vanish at infinity and which are bounded
Let $C_0(\mathbb{R})$ denote the analytic functions $f : \mathbb{R} \rightarrow \mathbb{R}$.
I wonder whether there a functions $f \in C_0(\mathbb{R})$ with $f \neq 0$, such that there is a constant $...
- 232
2
votes
1
answer
281
views
Global control of locally approximating polynomial in Stone-Weierstrass?
Let $X=\mathbb{R}$, and $\mathcal{A}:=\mathbb{R}[x]$ be the subalgebra (of $C(X)$) of univariate polynomials.
Given $\varphi\in C_b(X)$ and $K\subset X$ compact, we know from Stone-Weierstrass that
$$\...
- 463
1
vote
1
answer
294
views
What is the exact description of the homogeneous Besov space $\smash{\dot{B}}^0_{1,1}(\mathbb{R})$?
The Besov space is defined briefly in Wikipedia and I looked for a number of references to find some information on the homogeneous Besov space $\smash{\dot{B}}^0_{1,1}(\mathbb{R})$.
However, ...
- 12.9k
0
votes
0
answers
149
views
Validity of Hölder inequality for the homogeneous Besov spaces $\dot{B}^0_{1,2}(\mathbb{R}^n)$ and $\dot{B}^0_{2,2}(\mathbb{R}^n)=L^2(\mathbb{R}^n)$
I am looking at Corollary 1. in p.244-245 of the book
"Sobolev Spaces of Fractional Order,
Nemytskij Operators,
and Nonlinear
Partial Differential Equations" (1996) by Thomas Runst
Winfried ...
- 12.9k
2
votes
0
answers
325
views
Examples of RKHS that are "classical"
Among the so-called "classical" Hilbert spaces ($L^2$, Sobolev, Hardy, Bergman, etc.), which are very well-studied, which are RKHSs?
It is easy to construct example of RKHSs by applying the ...
- 21
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 - ...
CommunityBot
- 1
6
votes
1
answer
268
views
Decomposition of non negative Radon measure into $L^1$ and $H^{-1}$ functions
What is a reference for the following result (which appears to be well-known in measure theory)?
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely continuous ...
CommunityBot
- 1
3
votes
1
answer
219
views
Is there a real/functional analytic proof of Cramér–Lévy theorem?
In the book Gaussian Measures in Finite and Infinite Dimensions by Stroock, there is a theorem with a comment
The following remarkable theorem was discovered by Cramér and Lévy. So far as I know, ...
- 5,474
0
votes
0
answers
138
views
Under what conditions is $\lim_{x\to a}\left|\varphi\circ f(x)-\tau \circ g(x)\right|=0$ true?
This question is inspired from another much easier problem I was trying to solve which I tried to generalize. The question is essentially as follows (assuming all the limits exist)
If $a\in \mathbb R\...
- 791
3
votes
0
answers
124
views
Leibniz rule bound for the inverse of the Laplacian?
Let $f, g \in L^2[\mathbb{T}^2]$ be real-valued functions without zero modes. That is, $\int_{\mathbb{T}^2}f=\int_{\mathbb{T}^2}g=0$. Here, ${\mathbb{T}^2}$ is the $2$-dimensional torus $[\mathbb{R}/\...
- 3,477
1
vote
1
answer
197
views
Does convolution with heat kernel converge to pointwise evaluation?
Let $G(t, x) := \frac{1}{\sqrt{4 \pi t}} \exp\left( -\frac{x^2}{4 t }\right)$ for all $(t, x) \in (0, T) \times \mathbb{R}$ be the fundamental solution to the heat equation $\partial_tu = \partial_{...
- 39k
2
votes
1
answer
61
views
$K *g_n$ converges in the topology of smooth functions, $K$ approximates $\delta(x)$ and $g_n$ is a.e convergent to $g$, then regularity of $g$?
This question is continuation from If $K *g_n$ converges in the Fréchet topology of smooth functions and $K$ approximates $\delta(x)$, is $g_n$ itself convergent? - revised.
As before, let us ...
- 128k
2
votes
0
answers
83
views
Singular integral operators acting on Zygmund class
It is proven in "Classical and Modern Fourier Analysis" by L. Grafakos (Corollary 6.7.2) that if a kernel $K(x)$ defined away from the origin on $\mathbb{R}^n$ satisfies
$$\sup_{0<R<\...
- 21
3
votes
1
answer
108
views
$L^\infty$ bound of $x^m \psi_n(x)$ where $\psi_n$ is a Hermite function and $m,n \in \mathbb{N}$ - extension from Cramer's inequality
For each $n \in \mathbb{N}$, the Hermite function $\psi_n : \mathbb{R} \to \mathbb{R}$ is a Schwartz function defined by
\begin{equation}
\psi_n(x):=(-1)^n(2^n n!\sqrt{\pi})^{-1/2} e^{x^2/2} \frac{d^n}...
- 128k
2
votes
0
answers
103
views
Schwartz kernel theorem for restricted operators
Let $(M,g)$ be a smooth Riemannian manifold. The celabrated kernel theorem of Schwartz shows that for any linear and continuous operator $A:C_{c}^{\infty}(M)\to C^{\infty}(M)$, there exists a ...
- 1,171
0
votes
2
answers
197
views
Convergence of the infima of convex functions on $\mathbb{R}^m$
Any thoughts on proving the following statement, which is a generalization of the result in convergence of the infima of convex functions from domain $\mathbb{R}$ to $\mathbb{R}^m$ and also Theorem 1 ...
- 12.7k
1
vote
1
answer
263
views
Does global boundedness ruin Stone-Weierstrass denseness?
Let $X$ be any topological space and denote by $\tau_X$ the topology on $C_b(X;\mathbb{R})$ that is induced by the family of seminorms $(\|\cdot\|_\psi\mid\psi\in B_0(X))$ with $\|f\|_\psi:=\sup_{x\in ...
- 60.5k
3
votes
1
answer
166
views
A limit arising from Mellin Inversion: How to compute a specific term of an asymptotic series?
So I am wondering if there exists a general procedure for the following problem:
given a monotonically increasing function $f(n)$ which is nonegative on the interval $[0,\infty)$ and grows faster than ...
- 12.9k
4
votes
1
answer
355
views
Sharpest version of semiclassical Calderon-Vaillancourt theorem
Let $S$ be the space of symbols defined by $$S:=\{a\in C^{\infty}(T^*\mathbb{R}^d):\forall \alpha,\beta\in\mathbb{Z}^d,\, |\partial_x^{\alpha}\partial_{\xi}^{\beta}a(x,\xi)|\le C_{\alpha\beta}\},$$ ...
- 11
0
votes
1
answer
79
views
Convergence in sequential Lebesgue spaces
Consider a strictly increasing sequence $1\leq q_0<q_n<q_{n+1}<q$ such that $q_n\to q$ as $n\to \infty$. Let $B\subset \Bbb R^d$ be a ball, so that $L^{q}(B)\subset L^{q_{n+1}}(B)\subset L^{...
- 1,101
2
votes
1
answer
433
views
Stone-Weierstrass theorem: coefficients of approximating sequence bounded?
Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a subalgebra of $C(X;\mathbb{R})$.
The Stone-Weierstrass theorem asserts that if $\mathcal{A}$ contains the constants and separates the points ...
- 91.8k
2
votes
0
answers
203
views
Schrödinger representation of the Heisenberg group
Let $\Pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H^n=\Bbb C^n\times\Bbb R$. For $\phi\in L^2(\Bbb R^n)$, we have
$$\Pi_{\lambda} (x,y,t)\phi(\xi)=e^{i\lambda t} e^{...
- 511
1
vote
1
answer
131
views
A generalized form of the approximation to identity?
This question is an extension of the one I posted on ME: https://math.stackexchange.com/questions/4701500/if-alpha-nx-int-lvert-x-y-rvert-leq-1-n-lvert-x-y-rvert2-d-muy
It might be elementary for here,...
- 128k
2
votes
0
answers
175
views
Banach space of vector measures
Let $S$ be a set and $\Sigma$ be a $\sigma$-algebra of subsets of $S$. Let $A$ be a Banach space over the field of complex numbers. A countably additive map $\mu:\Sigma\to A$ is called a vector ...
- 552
5
votes
2
answers
1k
views
How to prove the second Korn inequality?
$\textbf{Theorem}.1$ (The first Korn inequality) Suppose that $ \Omega $ is a bounded domain in $ \mathbb{R}^d $ with Lipschitz boundary. Then\
\begin{eqnarray}
\sqrt{2}\left\|\triangledown u\right\|_{...
- 6,367
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\...
- 6,696