All Questions
Tagged with fa.functional-analysis real-analysis
1,448 questions
2
votes
1
answer
321
views
A strange functional inequality
Let $f,g \in C([-2,2],\mathbb R_+^*)$ even and concave real functions.
Is it true that
$$
\int_0^1 f\big(\cos(x^{-1})+\sin(x^{-1})\big) \cdot g\big(\cos(x^{-1})-\sin(x^{-1})\big) \mathrm{d}x\\ \leq f(...
- 4,074
2
votes
0
answers
97
views
On the second order analog of the upper 1-Lipschitz envelope of a function
Let $u: \mathbb R \to \mathbb R$ be a given function. Then we can consider its upper 1-Lip envelope
$$
\hat u(x) \doteq \inf\{g(x) \, \mid\, g \, \text{has Lipschitz constant 1 and}\, g(y) \geq u(y) \,...
- 355
2
votes
1
answer
272
views
Decompose a function into a bounded part and a Lipschitz part
Let $f: \mathbb R^d \to \mathbb R^d$ be a measurable function such that
$$
\sup_{x,y \in \mathbb R^d} \frac{|f(x) - f(y)|}{\max \{1, |x-y| \}} < \infty.
$$
Are there functions $g,h: \mathbb R^d \...
- 825
2
votes
1
answer
183
views
Example of a conditionally convergent series $\sum_{n=1}^\infty b_n$ such that $n^2(b_n-b_{n+1})$ is bounded
Let $(b_n)_{n \in \mathbb{N}}$ be a real sequence such that $(nb_n)$ is bounded. I know that if the series $\sum_{n=1}^\infty b_n$ is conditionally convergent, then $(n^2b_n)_n$ is not bounded. But, ...
- 65
2
votes
1
answer
320
views
Fourier series but different waveform
Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
- 807
4
votes
1
answer
279
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 434
2
votes
0
answers
81
views
Extension of a tangent vector field
Let $\Omega$ be an open subset of $S^2$ with $\overline{\Omega} \neq S^2$. Suppose a continuous tangent vector field $G$ is defined on $\partial \Omega$ such that $|G(y)| = 1$ for all $y \in \partial \...
- 434
0
votes
1
answer
117
views
How to understand the unique continuation result
Let $E$ be the closure of $C_c^{\infty}\left(\mathbb{R}^N\right)$ ($N \geqq 3)$ under the norm
$$
\|u\|_E=\left(\int_{\mathbb{R}^N}|\nabla u|^2\right)^{1 / 2}.
$$
Suppose $K(x) \in C^1\left(\mathbf{R}^...
- 471
0
votes
1
answer
102
views
On weighted Fourier transforms
Suppose that $f\in L^{\infty}((0,1))$ and that there exists $c_1,c_2>0$ such that
$$ \left|\int_0^1 e^{i \xi x} e^{-|\xi|^{-1}x}f(x)\,dx \right| \leq c_1 e^{-c_2|\xi|} \quad \forall\, |\xi|>1.$$
...
- 4,115
2
votes
0
answers
75
views
Regularity of solutions to an elliptic boundary value problem
Let $M = [1,\infty)\times S^2$. For an integer $k \geq 2$ and number $\tau<0$, define the space $L^2_{\tau}([1,\infty);H^k(S^2))$ to be all $H^k(S^2)$-valued functions $u$ on $[1,\infty)$ with $\...
- 969
2
votes
1
answer
154
views
Are these two norms on localized versions of $L^p_q$ equivalent?
$\newcommand{\RR}{\mathbb R}\newcommand{\diff}{\, \mathrm d}$ We fix $T \in (0, \infty)$ and $p, q \in [1, \infty)$. Let $\mathbb T$ be the interval $[0, T]$.
Let $E$ be the space of all real-valued ...
- 825
2
votes
1
answer
112
views
On compactly supported functions with prescribed sparse coordinates
Let $\{\phi_n\}_{n=1}^{\infty}$ be an orthonormal basis for $L^2((0,1))$ consisting of Dirichlet eigenfunctions for the operator $-\partial^2_x + q(x)$ where $q \in C^{\infty}_c((0,1))$ is fixed. ...
- 4,115
1
vote
1
answer
133
views
A question about the maximal function
Let $n>4$, $f\in C^{\infty}(\mathbb{R}^{n})$ and 0 denote the origin of $\mathbb{R}^{n}$. We define a weighted maximal function by $$Mf(x)=\sup_{0<r<1}r^{4-n}\int_{B_{r}(x)}|f|$$ which is ...
- 155
3
votes
2
answers
616
views
A problem about how dominated convergence is used in the analysis of variation
I'm reading Existence of solutions to a higher dimensional mean-field equation on manifolds and get stuck on Lemma6. When $\lambda>\Lambda_1$, with $\Lambda_1=(2 m-1) ! \operatorname{vol}\left(S^{2 ...
- 809
1
vote
2
answers
90
views
Is the difference between $\alpha$-Hölder constants of $f*\rho$ and $g*\rho$ controlled by $\|f-g\|_\infty$?
Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
- 825
0
votes
1
answer
121
views
A simple bilinear estimate
Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that
$\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$.
Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$.
What is the optimal value of $t=t(\...
- 852
1
vote
0
answers
78
views
Trace theorem for $L^2([0,1]; H^k(S^2))$
Consider a function $u$ in $L^2([0,1]; H^k(S^2))$ where $k$ is a positive integer.
Where would $u(0)$ live (or $u(r)$ for some fixed $r \in [0,1]$)? Is there a version of the trace theorem saying that ...
- 969
0
votes
1
answer
77
views
Decay rate of minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
2
votes
1
answer
128
views
On the existence of a complicated fractal-like set of finite perimeter
Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
- 1,245
0
votes
0
answers
89
views
Maximal function on mixed $L^{p}$
Consider $ f_{j,k}$ to be a function in $L^{p}(l^{q}(l^{2}))$, that is
$$
\Vert f_{j,k} \Vert^{p}_{L^{p}(l^{q}(l^{2}))} = \int_{\mathbb{R}^{n}} \left( \sum_{k} \big[ \sum_{j} \vert f_{j,k}(x) \vert^{2}...
- 31
0
votes
1
answer
80
views
Continuous modification of tangent vector fields
Let $\Omega$ be an open subset of $S^2$, and assume that there exists a continuous tangent vector field $F(x)$ defined on $\bar{\Omega}\neq S^2$ with $|F(x)|=1$ for all $x\in \bar{\Omega}$. Suppose a ...
- 434
0
votes
1
answer
192
views
A continuous injection from the Hilbert cube to the real line?
Continuing an earlier "too good to be true" question that I posted recently, the same holds for the present question:
Is there a continuous injection from the Hilbert cube $[0,1]^{\Bbb N}$ ...
- 3,104
2
votes
0
answers
138
views
Is $L^2([a,b]; L^2(S^2))$ the same as $L^2([a,b] \times S^2)$?
The space $L^2([a,b];L^2(S^2))$ is a Banach space with respect to the norm
$$\left\Vert f \right\Vert_1^2 = \int_{a}^b \left\Vert f(r) \right\Vert_{L^2(S^2)}^2 dr$$
The space $L^2([a,b]\times S^2)$ ...
- 969
2
votes
2
answers
308
views
Preimage of null sets under a monotone increasing function
Let $I\subseteq \mathbb{R}$ be a closed bounded interval and $f:I \to I$ a monotonic increasing function and $S$ the countable set of points $s$ such that $|f^{-1}(s)| > 1$. Is the following ...
- 113
2
votes
1
answer
286
views
Are these conditions regarding products of consecutive terms in a sequence of positive numbers equivalent?
Assume $w_n$ is a bounded (weight) sequence of positive numbers. We want to consider products of consecutive terms in this sequence. For $i,j\in \mathbb{N}$, define $M_i^j = w_i w_{i+1}\cdots w_{i+j-1}...
0
votes
1
answer
53
views
Rate of convergence of the minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
2
votes
0
answers
946
views
On a deceptively tricky calculus problem
Motivation for this question: If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dots B_n'$ also satisfies the same inequality
Let $A$ be a non-constant operator acting on $C^...
- 90
1
vote
0
answers
128
views
Sum of upper semi continuous and lower semi continuous functions
Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
- 1,043
0
votes
1
answer
140
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 ...
0
votes
0
answers
53
views
Vectors of complex exponentials span $\mathbf{C}^N$
Let $Q = [0,1]\times [0,1]$. Let $1\leq k < \infty$ and $\{(x_l,\xi_l)\}_{l=1}^{k}\subseteq Q$ be such that $(x_i,\xi_i)\ne (x_j, \xi_j)$ for $i\ne j$. Additionally, for $1\leq l \leq k$, let $n_l\...
- 171
0
votes
1
answer
419
views
Necessary conditions for convergence of convolution
In math.SE, I've asked a question about the convergence of convolution of two functions which have bilateral Laplace transform and also have disjoint Region Of Convergence (ROC) but the question didn'...
- 61
0
votes
1
answer
252
views
Reference request: log Sobolev inequality for uniform measure (uniform distribution over discrete set)
Suppose that $N \in \mathbb N_+$ is fixed and denote by $\mu = (\mu_0,\ldots,\mu_N)$ the uniform distribution on the set $\{0,1,\ldots,N\}$ (i.e., $\mu_n = \frac{1}{N+1}$ for each $0\leq n\leq N$). I ...
- 730
0
votes
0
answers
126
views
A question about associated operator on continuous functions space equiped with L2 norm
For M a connected compact manifold, $T$ is in $C^{1+\nu}(M,M)$ with $\nu\in(0,1)$, i.e., $DT$ is some Hölder continuous function with Hölder exponent $\nu$. Denote by $m$ the Lebesgue measure on $M$ ...
- 39
1
vote
1
answer
162
views
Is there a uniformly continuous injective image of $(0,1)\setminus\Bbb Q$ in the Cantor space?
It seems too good to be possible, but:
Is there a uniformly continuous injective image of $(0,1)\setminus\Bbb Q$ in the Cantor space?
Here, the Cantor space $\{0,1\}^{\Bbb N}$ is equipped with the ...
- 3,104
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
0
votes
0
answers
112
views
Characterization for the multipliers of Schwartz space
Is the following true?
A function $m:\mathbb R^n\to\mathbb C$ is a Schwartz multiplier (i.e. $[f\mapsto mf]:S(\mathbb R^n)\to S(\mathbb R^n)$ is bounded linear) iff the following:
For every $\alpha$ ...
- 938
2
votes
1
answer
140
views
Invertibility of message passing with invertible parametrization
Consider the message passing framework defined by, $$f(\boldsymbol{x}_i)= \boldsymbol{x}_i + \sum_{j \neq i} (\boldsymbol{x}_i -\boldsymbol{x}_j) g(\|\boldsymbol{x}_i -\boldsymbol{x}_j\|^2),$$ for $i=...
1
vote
1
answer
57
views
Lower bound the best $\alpha$-Hölder constant of a convolution
Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
- 825
3
votes
1
answer
161
views
Equivalent definition for Skorokhod metric
I have a question about the Skorokod distance on the space $\mathcal{D}([0,1],\mathbb{R})$:
$$
d(X,Y):= \inf_{\lambda \in \Lambda}\left( \sup_{t\in [0,1]}|t-\lambda(t)|\vee \sup_{t\in [0,1]}|X(t)-Y(\...
- 177
9
votes
4
answers
2k
views
How may I find all continuous and bounded functions g with the following property?
Find all continuous and bounded functions $g$
with :
$$\forall x \in \mathbb R, 4g(x)=g(x+1)+g(x-1)+g(x+\pi)+g(x-\pi).$$
I have posted this question here, but received no answer.
- 4,074
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,115
0
votes
0
answers
80
views
Verifying the Cauchy behavior of a sequence
Let me consider the iteration $x_{n+1}=Tx_n$ and $T$ is a self-map from a non-empty subset $K$ of a smooth Banach space $X$ to itself, satisfying $W(Tx, Ty) \leq W(x, y)$, where $W(x, y)=\Vert x \Vert^...
- 85
3
votes
2
answers
355
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
1
vote
1
answer
249
views
Sufficient condition such that the set of zeros of an analytic function $f:\mathbb{R}^n \to \mathbb{R}$ contains only isolated points
Consider a real- analytic function $f: \mathbb{R}^n \to \mathbb{R}$. We know that zeros of $f$, roughly speaking, live in the low dimensional manifolds.
My question: Does a 'reasonable' sufficient ...
- 671
1
vote
2
answers
272
views
An integral inequality?
Let $v \in C^\infty(\mathbb R)$ such that $1 \ge v \ge 0$ and $\int_{\mathbb R} v \, dx = 1$.
I want to show that if
$$\int_{\mathbb R} v |v''|^2 \, dx < + \infty. \tag{$\star$}$$
then
$$ \int_{\...
- 83
3
votes
2
answers
429
views
Functional equations based on composition
I have asked this question here (*), but there are no answer.
Let $n \in \mathbb N^*$, $\{a_0,\ldots,a_n\} \subset \left] 0,+\infty\right]$. We suppose $Eq : \sum\limits_{k=0}^n a_k f^k(x)=0$ have no ...
- 4,074
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 \...
- 825
5
votes
1
answer
543
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
0
votes
0
answers
38
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