All Questions
Tagged with real-analysis fa.functional-analysis
1,447 questions
1
vote
1
answer
385
views
Approximating $1/x$ by a polynomial on $[0,1]$
For every $\varepsilon > 0$, is there a polynomial of $x^4$ without constant term, i.e., $p(x^4) = a_1 x^4 + a_2 x^8 + \cdots +a_n x^{4n}$, such that
$$\|p(x^4)x^2 - x\| < \varepsilon $$
for ...
- 481
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
0
votes
1
answer
106
views
Existence of uniform approximator that also approximates derivative
Let $S$ be a subset of $C^1([0, 1], \mathbb{R})$. It is a well-known fact that given a function $f\in C^1([0, 1], \mathbb{R})$ and a sequence $\{f_n\}\subset C^1([0,1], \mathbb{R})$ such that $f_n\to ...
- 119
3
votes
1
answer
496
views
"Square root" of multiplication operator on Sobolev space
Let $f:\mathbb{R}^n\rightarrow\mathbb{R}$ be a non-negative, smooth, uniformly bounded function with uniformly bounded first derivative. Then $f$ defines a bounded operator on $L^2(\mathbb{R}^n)$ as ...
- 1,903
0
votes
0
answers
96
views
A property of the Hilbert transform involving the cotangent function
A lemma of a paper by T. Elgindi and I.-J. Jeong (Arch. Rational Mech. Anal. 235 (2020) 1763–1817, Lemma 2.2) states the following:
Let $g(z)=\operatorname{sgn}(z)k(|z|^\alpha)$ with $k$ smooth and $k(...
6
votes
1
answer
128
views
Equivalence of antiderivative in L1 sense and in the usual sense
We say that$\ f$ is differentiable w.r.t to $L_1$ if there exists a$\ g$ such that:
$$
\lim_{h\to 0}\left\Vert\frac{f(x+h)-f(x)}{h} - g(x)\right\Vert_1 = 0
$$
where $\Vert \cdot \Vert_1$ is the $L_1$ ...
- 165
2
votes
1
answer
218
views
If an estimate is false on $L^{1}$, then it is false for the $\delta$ distribution?
Let $u=\int e^{\dot{\imath}K(x,y)} f(y) dy$. My advisor told me that we can disprove an integrability estimate
$$\|u\|_{L^p}\lesssim \|f\|_{L^{1}}\label{1}\tag{1}$$
by disproving it when $f=\delta$, ...
- 852
2
votes
2
answers
336
views
Metrization of a topological vector space
Let $C(\mathbb R^d)$ be the space of continuous functions on $\mathbb R^d$, and $C_{lip}(\mathbb R^d)\subset C(\mathbb R^d)$ be the subspace of Lipschitz functions. We endow $C_{lip}(\mathbb R^d)$ ...
user128095
9
votes
1
answer
1k
views
Traces of Sobolev spaces
Is there a simple proof of the following fact?
Theorem. Let $\Omega\subset\mathbb{R}^n$ be a bounded and smooth domain. If $n>2$, then $W^{1,n-1}(\partial\Omega)\subset
W^{1-\frac{1}{n},n}(\...
- 28k
2
votes
1
answer
4k
views
What “mild solution” means, and how to find it?
In this paper: Existence and uniqueness of a classical solution to a functional-differential abstract nonlocal Cauchy problem Byszewski studied this form of functional-differential nonlocal problem (1)...
user134315
9
votes
1
answer
499
views
Subspaces of $L^2(0,1)$ dense on every truncation $L^2(c,1)$
It may be better to move this to a separate question.
Let me call a linear subspace $V \subset L^2(0,1)$ to be tame if, for every linear subspace $W \subset V$, either $W$ is dense in $L^2(0,1)$, or ...
- 13.8k
0
votes
0
answers
152
views
Predual of $BMO(\mathbb{T}^d) $
In 1971, Fefferman characterized the predual of $BMO(\mathbb{R}^d)$ as the Hardy space $H^1(\mathbb{R}^d)$.
Is there a characterization of the predual of $BMO(\mathbb{T}^d$)?
- 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
4
votes
1
answer
1k
views
Simple proof of Prékopa's Theorem: log-concavity is preserved by marginalization
The following result is well-known:
Suppose that $H(x,y)$ is a log-concave distribution for $(x,y) \in \mathbb R^{m \times n}$ so that by definition we have
$$H \left( (1 - \lambda)(x_1,y_1) + \...
- 536
3
votes
0
answers
56
views
On Sobolev's inequality for weakly conformal maps
Suppose $u\in W^{2,p}(B^2,\mathbb{R}^n)$, $1<p<2$, is weakly conformal, that is
$$|u_x|=|u_y|,\quad u_x\cdot u_y=0$$
for almost every $(x,y)\in B^2$. Here $B^2$ is the unit open ball in $\mathbb{...
- 31
0
votes
1
answer
169
views
Convergence in weak dual topology $\sigma(L^\infty, L^1)$
Let $f\in L^\infty(\mathbb{R})\cap C(\mathbb{R})$, that is $f$ is continuous and bounded on $\mathbb{R}$. Let $S_r$ denote the shift by $r\in \mathbb{R}$: $S_r f=f(\cdot-r)$.
Suppose $S_{r} f $ ...
- 3
8
votes
2
answers
644
views
Given any sequence of interpolating nodes, can we find a continuous function $f$ whose interpolating polynomials doesn't converge to $f$ point-wise
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
2
votes
2
answers
255
views
Do we have a name for this space?
Let $\Omega$ be a bounded domain in $\mathbb{R}^{n}$. Consider the class
$$
\mathcal{F}=\{f\in L^{1}(\Omega):\exists C>0 \text{ s.t. } \int_{U}|f|\leq C\sqrt{|U|},\text{ for any }U\subset \Omega.\...
- 21
3
votes
3
answers
266
views
When does convolution erase non-monotonicities?
Suppose $\phi:\Bbb R\to[0,\beta]$ is a bounded continuous function such that $\phi(-\infty)=0$ and $\phi(\infty)=\beta$.
Assume $\phi$ is non-decreasing except near zero, i.e. there exists $r>0$ ...
user130609
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
1
answer
317
views
The continuous convergence given the a.e. convergence
Suppose that $f_n: \mathbb{R} \times [0,\infty) \to \mathbb{R}$ is a uniformly bounded sequence (i.e., there exists $C>0$: $|f_n| < C$ for every $n$) such that
$$ f_n \in C^2_x \times C^1_t, $$
...
- 41
0
votes
0
answers
81
views
What is the standard terminology for the quantity $\|\nabla f\|_{L^2(\mu)} := \sqrt{\int_{\mathbb R^d}\|\nabla f(x)\|^2d\mu(x)}$?
Let $f:\mathbb R^d \to \mathbb R$ be a continuously differentiable function and let $\mu$ be a probability measure on $\mathbb R^d$.
Question. What is the standard teminology for the quantity $\|\...
- 6,853
0
votes
0
answers
48
views
Surjectivity of the limiting operator
Consider the operator
\begin{eqnarray*}
K_{n} &:&L^{2}(0,1)\longrightarrow L^{2}(0,1)^{n}, \\
u(x) &\mapsto &A_{n}U_{n}(x)=A_{n}(u(\frac{x}{n}),u(\frac{x+1}{n}),...,u(%
\frac{x+n-1}{n})...
- 617
2
votes
0
answers
65
views
Reference request for type of specific integral equation in two variable:
Consider the following integral equation:
$$\int_0^\infty K(t,y)\phi(t,x)dt=0$$
Here, $K(t,y)$ is a trigonometric kernel and
$\phi(t,x)$ is monotonic wrt $x$ ( for fixed $t$).
I want to find the ...
- 41
1
vote
1
answer
181
views
Optimization problem with definite integral inequality constraints
Question: How can we prove that there exists a real constant $c\ge 1$ such that the following inequality holds for all integers $d>1$ and all real numbers $r\in\left[1,\sqrt{d}\right]$?
$$\int_{-1}^...
- 1,677
3
votes
1
answer
75
views
Analyticity of $f = Q(a\Re (x + y))Q(b\Im (x + y))\log \left\{ {Q(a\Re (x + y))Q(b\Im (x + y))} \right\}$ in the complex plane?
Let I have the following function,
$f = Q(a\Re (x + y))Q(b\Im (x + y))\log \left\{ {Q(a\Re (x + y))Q(b\Im (x + y))} \right\}$
Where, $x,y \in C$, $a,b\in R$ and $- m \le \Re (x),\Re (y),\Im (x),\Im (y)...
- 141
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
2
votes
2
answers
251
views
inequality involving the fractional Sobolev space
Let $X_{0}$ be the Sobolev space defined on $(1, 2)$ by $X_{0}(1,2)= \{u\in H^s(\mathbb R): u=0 \text{ in } \mathbb R-(1, 2)\}.$ Is it possible to determine the constant $C$ of the inequality
$$|u(x)...
- 407
5
votes
1
answer
189
views
Subsequences of an orthonormal basis generating a strongly embedded subspace in $L_2(0,1)$
A closed subspace $M$ of $L_2(0,1)$ is said to be strongly embedded if the norms $\|\cdot\|_2$ and $\|\cdot\|_1$ are equivalent on $M$.
Let $(f_n)_{n\in \mathbb N}$ be a orthonormal basis of $L_2(...
- 4,461
3
votes
1
answer
353
views
Connection between non-constant completely monotone function and strictly positive definite kernels (Schoenberg characterization)
I'm reading this book chapter, where they stated two alternative characterizations of completely monotone functions $\phi$ using (1) Laplace transform of a finite, non-negative Borel measure and also ...
- 1,467
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
14
votes
2
answers
2k
views
Is this property equivalent to Lusin's property (N) for continuous functions?
A function $F:[0,1]\rightarrow\mathbb{R}$ satisfies Lusin's (N) property if for every measure zero set $A\subseteq [0,1]$, $F(A)$ has measure zero. (This includes the assertion that $F(A)$ is ...
- 1,601
0
votes
1
answer
188
views
a question about vector valued Banach spaces
I wonder the difference between $L^1(\mu\times\nu)$ and $L^1(\mu;L^1(\nu))$, as if partial derivatives can be exchanged with integration in the second spaces in many articles. In Folland's real ...
- 71
0
votes
1
answer
212
views
Expressing the measure of a set in terms of the characteristic function of the measure
Let $\mu$ be a discrete, finitely supported probability measure in $\mathbb{R}^d$ and denote by $\phi$ be the characteristic function of $\mu$, i.e. $\phi(t)=\mathbb{E}e^{i<t,X>}$, where $X$ is ...
- 2,288
3
votes
1
answer
203
views
Regularize continuous functions with bounded variation
Is it true that :
$\forall f,g \in C([0,1],\mathbb R), \exists h \in C([0,1],[0,1])$ $f,g,h$ strictly increasing and $h([0,1])=[0,1]$ with $(f \circ h, g\circ h) \in C^{\infty}([0,1],\mathbb R)^2$?
- 4,074
2
votes
0
answers
104
views
Weak convergence rates for integral operators
Suppose $q=\sum_{i=1}^m\pi_i\delta_{x_i}$ is a discrete measure on $\mathbb{R}^n$ and let $q\ast \varphi_\epsilon$ denote the convolution of $q$ with some mollifier $\varphi_\epsilon$, so that $q\ast\...
- 75
6
votes
1
answer
575
views
Sub-Gaussian decay of convolution of $L^1$ function with Gaussian kernel
I think it might be helpful to put the new statement at the beginning and put the original post at the end. This new statement is more mathematically elegant.
Let $f\geq0$ be in $L^1(\mathbb{R}^d)$ ...
- 1,495
4
votes
0
answers
205
views
Harmonic functions in upper half plane
Let $\mathbb H^+$ denote the upper half plane in $\mathbb R^2$. Consider the following equation
\begin{equation}\label{pf0}
\begin{aligned}
\begin{cases}
\Delta u=0\,\quad &\text{on $\mathbb H^+$},...
- 4,153
6
votes
2
answers
353
views
Bounded deformation vs bounded variation
Let $BV(\mathbb R^n; \mathbb R^n)$ be the space of (vector-valued) functions of bounded variation and let $BD(\mathbb R^n;\mathbb R^n)$ the space of functions with bounded deformation. They are made ...
- 608
1
vote
1
answer
56
views
Stability of densly defined $C_{0}$-semigroup
Let $(S(t))_{t \geq 0}$ be a $C_{0}$-semigroup on $H$ where $H$ is a Hilbert space. Suppose that $(S(t))_{t \geq 0}$ satisfies the following estimate on a dense subspace on $H$
$$||S(t)x||_H \leq e^{-...
- 617
2
votes
1
answer
200
views
Proof of a discrete isoperimetric inequality
The following inequality appears in the proof of certain isoperimetric-type inequalities for analytic functions in two dimensions:
$$\sum_{m=0}^{\infty}\frac{|c_m|^2}{m+1} \leq \pi \left(\sum_{m=0}^{...
- 434
2
votes
0
answers
163
views
Bochner's formula for fractional Laplacian
Is there an analogue of the classical Bochner formula
$\frac{1}{2} \Delta |\nabla u|^2 = |\nabla^2 u|^2$ for harmonic functions that holds for $s$-harmonic functions?
- 161
11
votes
3
answers
3k
views
Dual space of $L^2(\mathbb{R},L^1(0,1))$?
I was wondering what the dual space of $L^2(\mathbb{R},L^1(0,1))$ is? (equipped with Lebesgue measures)
Formally, one would suspect that it is just $L^2(\mathbb{R},L^{\infty}(0,1))$. But this may be a ...
- 175
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
18
votes
1
answer
3k
views
How bad can the second derivative of a convex function be?
One can easily construct an example of a measurable function $f:(a,b)\to \mathbb{R}$ which satisfies the following property:
$$\label{p}\tag{P}
f\notin L^1(I),\ \mbox{for each interval}\ I\subset (a,...
- 409
26
votes
2
answers
5k
views
Does Arzelà-Ascoli require choice?
Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version:
...
- 29.8k
11
votes
1
answer
766
views
Generalized limits on $\ell^\infty(\mathbb{N})$
Let $\ell^\infty(\mathbb{N})$ denote the set of bounded real sequences $(a_n)_{n\in\mathbb{N}}$. The $\lim$ operator is a partial linear operator from $\ell^\infty(\mathbb{N})$ to $\mathbb{R}$. With ...
- 48.9k
-2
votes
1
answer
314
views
Series representation for $\log(|\zeta(\frac{1}{2}+it)|)$
(Question is short and straight-forward. )
What is/are "nice and non-trivial" series representation/s of $\log(|\zeta(\frac{1}{2}+it)|)$ ??
By "nice and non-trivial" I mean contains no ...
- 375
0
votes
0
answers
92
views
Can $\ell_1(E)$ be embedd into the dual of continuous function space?
Let $E$ be a compact seperable space, for example $E=[0,1]\subset\mathbb{R}$. Denote by
$$\ell_1(E):=\{u:=(u_x\in\mathbb{C}:x\in F):F\text{ is a countable subset of }E \text{ and } \|u\|_{\ell_1(E)}:=\...
- 131
0
votes
1
answer
223
views
Dense $G_{\delta}$ set with $\sigma$-porous complement is cofinite?
Let $X$ be a separable Banach space and $D\subseteq X$ be a
proper, connected, and dense $G_{\delta}$ subset of $X$,
$X-D$ is $\sigma$-porous.
Then is $X-D$ contained in a finite-dimensional ...
- 5,405