All Questions
Tagged with fa.functional-analysis real-analysis
453 questions with no upvoted or accepted answers
1
vote
0
answers
123
views
On Riesz decomposition of Volterra operator
Let $T:L^2((0,1)) \to L^2((0,1))$ be the Volterra operator defined by
$$ Tf(x) = \int_0^x f(t)\,dt.$$
Given any $\lambda\neq 0$ it is well known that there exists some positive integer $n=n(\lambda)$ ...
- 4,135
1
vote
0
answers
96
views
Building random homeomorphisms of the circle
Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$ , in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as
\...
- 101
1
vote
0
answers
59
views
Identification of a limit point of a sequence of solution of ODE
Let $v^0$ and $v^1$ be the following vector fields over $\big(\mathbb{R}_+^*\big)^3$: for $x\in\big(\mathbb{R}_+^*\big)^3$ and $1\leq i\leq 3$,
\begin{align*}
& v^0_i(x)=x_i(x_{i-1}-x_{i+1}) \\
&...
- 449
1
vote
0
answers
48
views
Notation for dominating (or uniformly bounded) function
While I developing a new statistical estimator, I wondered is there any good notation for dominating (or uniformly bounded) function.
A situation like this. For some true function $f:\mathbb{R} \to \...
- 284
1
vote
0
answers
73
views
Straightening a function supported on a strip
Given a positive smooth function $b:\mathbb{R}^{N+M}\to \mathbb{R}$ which vanishes exactly outisde of some $U\times\mathbb{R}^M$ ($U\subset \mathbb{R}^N$ open), is there another positive smooth ...
- 151
1
vote
0
answers
596
views
What is $T T^*$ argument?
During my studying of many papers, some authors used what so-called $T T^*$ argument. I have no clue about this concept (or mathematical tool). Could you please enlighten me with some explanations or/...
- 159
1
vote
0
answers
99
views
Estimate on integral with logarithmic weight
Let $f:\mathbb R^n \to \mathbb R$. What (minimal) assumptions are needed, in addition to $f \in L^1 \cap L^\infty$, to have
$$
\int_{\mathbb R^{2n}} \frac{|f(x)-f(y)|}{(|x-y|+\epsilon)^{n+1}} \, dx \, ...
- 839
1
vote
0
answers
98
views
Two definitions of Sobolev spaces and the trace theorem
Let $M=[0,\infty) \times S^2$. We have the regular regular Sobolev space $H^1(M)$.
We also have the space $H^1\bigg([0,\infty); H^1(S^2)\bigg)$. Are those two spaces the same? Does one contain the ...
- 969
1
vote
0
answers
34
views
$L^p$-continuity for discrete linear causal systems
Let $p \in [1, +\infty)$, $(b_0(n)), \dots (b_m(n)), (a_1(n)), \dots, (a_m(n))$ suitable sequences of real numbers and consider the map $\phi: \ell^p \to \ell^p$, $x \mapsto y$ defined by:
\begin{...
- 41
1
vote
0
answers
87
views
Computation of the trace of a convolution operator
I try to understand a particular step on page two from the research paper "A multidimensional analog of a limit theorem of G. Szegö".
https://iopscience.iop.org/article/10.1070/...
- 197
1
vote
0
answers
161
views
What is the necessary and sufficient condition for a chain rule hold?
Assume that $f: [0,+\infty) \to [0,+\infty)$ is a $C^1$, increasing, and concave function with $f(0)=0$. Let $g:[0,+\infty) \to [0, +\infty)$ be a non-increasing function.
My question is that, does ...
- 11
1
vote
0
answers
76
views
Regarding an integrability property of Schwartz class function
Let $f\in\mathcal{S}(\mathbb{R^n})$, Schwartz class, satisfying
$$\int_{\mathbb{R}^n}|f(x)|e^{g(||x||)}dx<\infty, $$
where $g:[0,\infty)\to[0,\infty)$ be an increasing function satisfying $\int_0^\...
- 99
1
vote
0
answers
56
views
Monotonically increasing and bounded function is in $BV_{loc}$?
For any $n\in \mathbb{N}$ let $f_n:\mathbb{R}\to [0,1]$ be monotonically increasing and $\lim_{x\to -\infty} f_n(x)=0$ and $\lim_{x\to \infty} f_n(x)=1$. It follows $f_n$ is differentiable a.e..
I'm ...
- 173
1
vote
0
answers
257
views
Cut-off function and fractional Laplacian
Is there a smooth function $u$ such that $u = 1$ in $B_r(0)$, $u=0$ in $\mathbb R^N \setminus B_{2r}(0)$, and
$$
|\nabla u| \le Cr^{-1}, \quad |\Delta u |\le Cr^{-2}, \quad |(-\Delta)^s| u \le Cr^{-2s}...
- 99
1
vote
0
answers
144
views
Liouville theorem for elliptic equation with advection term
How can one prove that any $L^2$ solution of
$$ - \Delta \phi(x) + a(x) \cdot \nabla \phi(x)=0 \qquad \mbox{in } \mathbb R^N $$
is zero if $a(x)$ is a divergence-free vector field such that
$\int |\...
- 99
1
vote
0
answers
65
views
Normalizing constants preserve metric entropy
Suppose $\mathcal{F}=\left\{f\in L^2([a,b]): 0<\underline{c}\leq f\leq\overline{c} \right\}$. Consider the following transformation
$$\tilde{\mathcal{F}} := \left\{\frac{f}{\int f d\mu}: f\in \...
- 11
1
vote
0
answers
122
views
Series and solution of $-\Delta u + \lambda u = f(x)$
Consider a bounded smooth set $\Omega \subset \mathbb R^n$ (for example, we can take a ball). Can we write down the solution of
\begin{align*}
-\Delta u(x) + \lambda u(x) &= f(x), & x \in \...
- 131
1
vote
0
answers
81
views
Compact imbedding for weight space
We begin with some definitions. Let $\gamma \geqslant 1,\,p \in \left[ {1,\infty } \right)$, we define
$$L_\gamma ^p\left( {0,1} \right) = \left\{ {v:\left( {0,1} \right) \to \mathbb{R}:{{\left\| v \...
- 183
1
vote
0
answers
119
views
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
$\DeclareMathOperator\rad{rad}$
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ be compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
In $H_{\rad}^1(\mathbb{R}^3)$, by Struass estimate $|f(x)| \lesssim |x|^{-1} ...
- 429
1
vote
0
answers
42
views
Energy estimate for $\theta_t + H(\theta)_x = 0$ in $t>0, x >0$?
Consider the IBVP for $$\theta_t + H(\theta)_x = 0, \qquad t>0, \ x>0$$ with $$H(\theta) = \frac{1}{\pi} \text{pv}\int_{0}^\infty \frac{\theta(y)}{y-x} dy$$
with Dirichlet boundary conditions. ...
- 161
1
vote
0
answers
209
views
The translation is continuous in $L^1(\mathbb{R}^n,d\mu)$, $d\mu=\frac{1}{1+|y|^{n+a}}dy$,$ a>0$
For any function $f\colon\mathbb{R}^n\to\mathbb{R}$, set: $\tau_hf(x):=f(x+h)$, $x,h\in\mathbb{R}^n$. Consider the following finite measure on $\mathbb{R}^n$:
$$\mu(A):=\int_A\frac{1}{1+|y|^{n+a}}\,dy$...
- 339
1
vote
0
answers
74
views
Fourier transform of a Sobolev function dependent on a "parameter"
Let $u\in\mathcal{S}(\mathbb{R}^n)$, let $V\in W^{1,1}_\text{loc}(\mathbb{R}^n\times\mathbb{R}^+)$, such that
$$ V(x,0)=u(x),\quad V(x,\cdot)\in C^0([0,\infty)),\quad\forall x\in\mathbb{R}^n,$$
and ...
- 339
1
vote
0
answers
213
views
Fractional Laplacian extension problem and uniqueness question
I am studying the article "An Extension Problem Related to the Fractional Laplacian" by L. Caffarelli and L. Silvestre. Consider the following problem:
$$ \Delta_xu+\frac{a}{y}u_y+u_{yy}=0, $...
- 339
1
vote
0
answers
91
views
A bilinear estimates involving critical Sobolev norms
Given $q>1$, consider the critical Sobolev space $W^{n/q,q}(\mathbb{R}^n)$, which fails to embed in $L^{\infty}(\mathbb{R}^n)$. I'm wondering if we can recover some critical estimate by considering ...
- 943
1
vote
0
answers
84
views
A Riemann Hilbert problem on the unit square
Let $p_0=0$, $p_1=1$, $p_2=1+i$ and $p_3=i$ be the four vertices of a square $Q$ on the complex plane $\mathbb C$.
Let $f \in C^{\infty}_c((0,1))$ and consider the following Riemann-Hilbert problem on ...
- 4,135
1
vote
0
answers
56
views
Moduli of continuity and Wasserstein differentiability of functions between measures
Let $X=\mathbb{R}^n$; I am also interested in the general case $X$ is a metric space but for simplicity let's focus on Euclidean space. Let $\mathcal{P}(X)$ denote the space of Borel probability ...
- 11
1
vote
0
answers
79
views
Conditions on triangle inequality for integral kernel
Consider $\int_RK(x,y)f(y)dy$, where $K(x,y) \in M_+(R^2)$.
Let $L(t,s)$ be an iterated rearrangement of $K$. Let also $$
A(t,v)=\int_0^{1/v}L(1/t,s)ds,
$$
which is decreasing with $v$ and ...
- 343
1
vote
0
answers
353
views
Eigenvalues of convolution matrices
Let $h: \mathbb{R}\to \mathbb{R}$ be a smooth function. Fix $0\leq s_1\leq \cdots \leq s_m\leq 1$ and $0\leq t_1\leq \cdots \leq t_n\leq 1$. Construct $A\in \mathbb{R}^{m\times n}$ by letting $A_{i,j}:...
- 315
1
vote
0
answers
126
views
Continuity of Helmholtz-Hodge projection in $H^1(\Omega)$
Let $\Omega \subset \mathbb{R}^d$ (for simplicity $d = 2$ or $3$) be a bounded Lipschitz domain. For any vector-valued function $\mathbf{f} \in \mathbf{L}^2(\Omega):= \left ( L^2(\Omega) \right )^d$, ...
- 23
1
vote
0
answers
203
views
Construction of weight function to satisfy condition on given functional
Consider the following function :
$$F(z) = \omega(z){\sin^2\left(\frac{c\Gamma(z)}{z}\right)}$$
Here, $\omega(z)$ is a weight we are going to consider
The following two conditions should meet for $\...
- 375
1
vote
0
answers
102
views
Commutator estimates for $-(-\Delta)^s$, with $s \in (1,2)$
I'm currently trying to work with the non-local operator given by
$$
(-\Delta)^{\frac{s}{2}}f(x)= c_s\text{P.V} \int_{-\infty}^\infty \frac{-f(x+y)-f(x-y)+2f(x)}{|y|^{1+s}} dy,
$$
where $f :\mathbb ...
- 446
1
vote
0
answers
40
views
Example of periodic semidifferentiable function without absolutely convergent Fourier series
Is there an example of a periodic continuous function that is semidifferentiable (i.e the left derivative and the right derivative exist at each point), but
with a non-absolutely convergent Fourier ...
- 1,035
1
vote
0
answers
196
views
Asymptotic of a functional as $x\rightarrow \infty$
Consider the following functional :
$$
I(x,s) =\int_0^\infty\mathrm dy \frac{F(x + \mathrm iy, s) − F(x −\mathrm iy, s)}{\mathrm e^{2πy}-1},
$$
where $ F(z, s) = \dfrac{\sinh(\sin^2[π\Gamma(z)/(2z)])...
- 375
1
vote
0
answers
45
views
Decomposition of the space of Radon measures with respect fractional harmonic capacity?
It is well know that there is a generalization of Lebesgue decomposition theorem in the following way:
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely ...
- 371
1
vote
0
answers
27
views
How does the principal value affects to the limit here?
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
1
vote
0
answers
303
views
Continuity of the Legendre transform of a Lipschitz function
Let $p > 1$, $f$ defined on $L^p(\mathbb{R}^n,\mathbb{R})$, locally Lipschitz and concave, with $f(x) = 0$ when $x \geq 0$ a.e. We define, with $q$ dual to $p$, for any $y\in L^q$ , $g(y) := \sup_{...
- 31
1
vote
0
answers
91
views
Gaussian width and restricted isometry
It is known that, for an $m$ dimensional space and an $n\times m$ dimensional random matrix $U$ whose entries are iid Gaussian, then $\|I-(1/n)U^TU\|$ is bounded by $\sqrt{m/n}$ when $n>m$.
If a ...
- 11
1
vote
0
answers
126
views
Almost every where divergent Fourier series
Does there exist any continuous function $f:[\pi,\pi]\to \mathbb{C}$ whose Fourier series $\sum \hat{f}(n)e^{int}$ is almost every where divergent?
- 4,058
1
vote
0
answers
76
views
Existence of a `right' sequence
Suppose that $f_n: \mathbb{R} \times [0,\infty) \to \mathbb{R}$ is a sequence of bounded variation functions such that there exists $C>0$: $|f_n| < C$ for every $n$ and, as $n \to \infty$, for $...
- 41
1
vote
0
answers
103
views
Choosing the weight in a particular definition of Besov spaces
Following Giovanni Leoni's excellent book (or the Wikipedia article) one possible way to define the Besov spaces $B^{s,p,\theta}(\mathbb R ^d)$, with $s\in(0,1)$ the fractional "order of derivative" ...
- 5,380
1
vote
0
answers
87
views
An oscillatory integral estimate
Let $n \geq 3$ and consider two sequences of strictly monotone functions $\{\mu_l(t)\}_{l=1}^{n}$ and $\{\lambda_l(t)\}_{l=1}^n$ on the interval $[-1,1]$ with $\mu_l(0)=0$ and $\lambda_l(0)=1$ for all ...
- 4,135
1
vote
0
answers
92
views
Alberti rank-one theorem and reduction of the study of BV function to the two-dimensional case
By Alberti rank-one theorem, could it be possible to reduce the study of a function $u \in BV(\mathbb{R}^N, \mathbb{R}^N)$ to the study of a function $\tilde{u} \in BV(\mathbb{R}^2, \mathbb{R}^2)$? At ...
user123457
1
vote
0
answers
86
views
Coboundary in the slow mixing systems
Given dynamical system $(X, T, \mu)$, $\mu$ is probability, $\mu \circ T =\mu$, $T$'s transfer operator $P$ is defined by following relation: $\int (P a) \cdot b d\mu= \int a \cdot (b \circ T) d\mu$ ...
- 553
1
vote
0
answers
177
views
Singular integral of the composition of the Hilbert transform and fractional Laplacian
Given $0<s<1$, we can define the Fractional Laplacian by
$$\Lambda^{-s}f(x):=(-\Delta)^{-s/2}(x)=\int_{-\infty}^{+\infty}|x-y|^{-1+s}f(y)dy$$
or by means of Fourier transform as $$\widehat{\...
- 111
1
vote
0
answers
78
views
Potential for a Monotone Operator
[Cross-posted from math.stackexchange]
I have a question about understanding the proof of Theorem 4.11 in the paper A Potential Theory for Monotone Multivalued Operators (accessible here). The ...
- 291
1
vote
0
answers
389
views
The perturbation of a convex function can also be convex?
$ W^{1,\infty}(D)\ni f:D\to\mathbb R, (x,y)\mapsto f(x,y)$, is a strictly increasing on both dimensions (i.e. if $x_1>x_2$ then $f(x_1,y)>f(x_2,y)$), lipschitz continuous function defined on a ...
- 263
1
vote
0
answers
49
views
On different norms of the interpolating operator
Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
- 1,209
1
vote
0
answers
922
views
A Question on certain Hilbert space of continuous functions, and a characteristic of convergence in it
Define $T^k(\Omega)$, $\Omega$ an open subset of $\mathbb{R}^m$ (with a smooth boundary), as a space of function equivalance classes, with the norm defined as $$ \|f\|_{T^k(\Omega)}^2 = \|f\|_{L^2(...
- 698
1
vote
0
answers
74
views
Nonlinear maps in Riesz Thorin theorem
The Riesz Thorin theorem allows us to interpolate between $L^p$ spaces and the usual assumption is that the map $T$ is linear.
What I was wondering about is whether this is because otherwise you do ...
user127450
1
vote
0
answers
93
views
Relative boundedness of the adjoint
Let $X$ be a separable Banach space and $T_1:D(T_1) \subset X \rightarrow X$ and $T_2:D(T_2) \subset X \rightarrow X$ two closed operators with $D(T_2)\subset D(T_1)$ and $D(T_2^*) \subset D(T_1^*).$
...
- 33