All Questions
Tagged with fa.functional-analysis real-analysis
1,448 questions
3
votes
1
answer
987
views
About the metrizability of the space of Probability measures $\mathcal{P}(S)$
It is often proved in Books that the space of Probability measures $\mathcal{P}(S)$ on a Polish metric space $(S,\rho)$ endowed with the weak/narrow topology induced by declaring it to be be the ...
- 309
3
votes
1
answer
302
views
Convergence of a level set when $f^n\to f$ in $C^1$ sense
Let $f^n$ be a family of $C^1$ functions and $f(x)=-|x|^2+1$ such that
$$f^n\to f$$
in $C^1$ sense as $\varepsilon\to 0$. I want to ask that does the level set $\{f^n=0\}$ converges to $\{f=0\}$ in ...
- 379
3
votes
1
answer
233
views
A special approximation of the Heaviside function
Is there a $C^m$ approximation $f_\epsilon$ of the Heaviside function such that
$$f_\epsilon(x) = f_1(x/\epsilon) = \begin{cases} 0 & \text{ if } x < 0 \\
1 & \text{ if } x/\epsilon \ge 1
\...
- 131
0
votes
0
answers
75
views
Extracting the point mass measure of some type of positive measures
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on the reals.
Let $\delta_0$ be the point mass measure concentrated on 0, which is also the multiplicative ...
- 4,058
2
votes
0
answers
553
views
$\ell_\infty$-norm covering number of RKHS ball $\{f\in\mathcal{H}: \|f\|_\mathcal{H} \leq R\}$
For any $\epsilon \in (0,1)$, let $N_\infty(\epsilon, \mathcal{H}, R)$ denote the $\epsilon$-covering number of the RKHS norm ball $\{f\in\mathcal{H}: \|f\|_\mathcal{H} \leq R\}$ with respect to the $\...
- 121
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
1
answer
177
views
Some estimates on tensor norms
Denote $M_n$ to be $n\times n$ matrix. For $X\in M_n$ define $\|X\|_1:=\max\limits_{1\leq j\leq n}\sum_{i=1}^n|x_{ij}|$ and $\|B\|_2:=\max\{|\sum_{i,j=1}^nb_{ij}x_iy_j|:|x_i|=|y_j|=1,\ 1\leq i,j\leq n\...
- 1,879
0
votes
1
answer
78
views
The conditions used to prove upper semicontinuous of generalized directional derivative (in Clarke sense)
Let $X$ be a reflexive Banach space, $z, x, v \in X$. $\{z_i\}, \{x_i\}$ and $\{v_i\}$ are arbitrary sequences converging to $z, x$ and $v$, respectively.
I would like to know under which conditions ...
- 15
3
votes
2
answers
2k
views
A condition under which an Lp function is L-infinity [closed]
I am looking for a condition under which a function in $L_p(\Omega)$ is also in $L_\infty(\Omega)$. The condition may be on the function itself, or on $\Omega$.
In other words, is there anything that ...
- 93
7
votes
1
answer
1k
views
Properties of convolutions
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
and the function
$$h_p(x):=e^{-\vert x \vert^p}.$$
My goal is to analyze
$$ F_p(y):=\frac{(f_2*h_p)(y)}{(f_0*h_p)(y)}- \left(\frac{(f_1*h_p)(y) }{(f_0*...
- 173
11
votes
2
answers
2k
views
Operator that commutes with projections
We investigate the Hilbert space $\ell^2(\mathbb{N}_0)$ with standard orthonormal basis vectors $e_n:=(0,...,0,1,0,...).$
Consider the family of self-adjoint rank $1$ projections $P_n\bullet:= \...
- 536
5
votes
2
answers
134
views
Prove that $K \ast f \in W^{1,\infty}(\mathbb R)$ if $K \in BV(\mathbb R)$
Let $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$. Do these assumptions suffice to prove that for the convolution $K \ast f$ we have that $$K \ast f \in W^{1,\infty}(\mathbb R)$$ ...
- 131
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
2
votes
1
answer
132
views
A "uniform continuity" type condition on a Hammerstein integral equation
I asked the following question on MathStackExchange, but I have not received the answer that I'm looking for. Although it may not be a research-level question, I thought I could ask it here.
I'm ...
- 291
7
votes
2
answers
684
views
Hölder continuity for operators
Let $x,y$ be positive real numbers then
$$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$
we obtain $1/...
user127612
0
votes
0
answers
52
views
How to know if two special functions are related by an elementary function?
Suppose I have two special functions $f_1$ and $f_2$. Is there an algorithm which can tell me whether there exists elementary $g$ such that $f_1 = g\circ f_2$? Furthermore, is there any possibility to ...
- 333
1
vote
1
answer
134
views
A unique continuation problem
Let $f\in L^{2}(0,1).$ Consider the following unique continuation problem:
$$
\left\{
\begin{array}{ccc}
af(x-r)+bf(x)=0, & \mathrm{if} & x\in (r,1) \\
& & \\
cf(x+1-r)+df(x)=0 &...
- 47
2
votes
1
answer
140
views
Polynomial approximation of continuous function with constraints
Consider the closed convex subset $\mathcal{F} = \{f \in C[0,1] : 0 \leq f \leq 1, f(0)=0, f(1)=1\}$. Consider the polynomial class $\mathcal{P} = \{p \text{ is a polynomial} : p(0)=0, p(1)=1, 0 \leq ...
- 431
5
votes
2
answers
233
views
Analytic approximations of smooth vector fields
Let $M$ be the set of smooth divergence-free vector fields $u$ on $\mathbb{R}^3$ with
$$|\partial_x^{\alpha} u(x)| \leq C_{\alpha K}(1+|x|)^{-K}$$
on $\mathbb{R}^3$ for any $\alpha,K$.
Further, we ...
- 749
3
votes
0
answers
84
views
A weighted $W^{2,p}$ estimates
Let $\Omega$ be a bounded smooth domain and $u\in W^{2,p}(\Omega)\cap H^1_0(\Omega)$. By the classical $L^p$ theory of second order elliptic equation, we have
$$
\|\nabla^2u\|_{L^p(\Omega)}\leq C\|\...
- 379
2
votes
1
answer
474
views
continuous function on the space of probability measures
Let $X$ be a compact space. Let $\mathcal{M}(X)$ be the space of all probability measures on $X$. Denote by $C(X)$ and $C(\mathcal{M}(X))$ the real continuous function on $X$ and $\mathcal{M}(X)$ ...
- 675
0
votes
0
answers
84
views
Determining the tails of a convolution from its behavior on a compact set
Let $p$ be a smooth (say, $C^\infty$, but this is not crucial) density on the interval $I=[0,1]$ and $g_\sigma$ be the density of $N(0,\sigma^2)$. Define $f=p\ast g_\sigma$. To what extent does the ...
- 19
2
votes
2
answers
485
views
Dual space of the completion of the space of Lipschitz functions
This question is a continuation of this post : Metrization of a topological vector space
Let $C_{lip}(\mathbb R^d)$ be the space of Lipschitz functions on $\mathbb R^d$. We endow $C_{lip}(\mathbb R^...
user128095
8
votes
2
answers
1k
views
The continuous Taylor series; are they just Taylor series?
I first posed this question when I was a first year student. I came up with some ad hoc arguments as to why the result is true (a bit of numerical experimentation), but never had a proof. I forgot ...
user78249
0
votes
1
answer
344
views
Is this PDE solvable?
Let $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is unit ball. I am trying to solve the following PDE for $f$:
$$\Delta f -\frac{ f }{r^2}+ \frac{ \left. f \right|_{\partial M}}{r^2} = 0, \qquad \text{...
- 969
2
votes
0
answers
229
views
Weighted Sobolev norm in terms of Spherical harmonics coefficients
Let $M = [1,\infty) \times S^2$.
Consider the weighted Sobolev space $H^k_{\delta}(M)$ with the Sobolev norm:
$$\lVert u \rVert_{k,\delta}^2 := \sum_{n=0}^k \int_M |D^nu \,r^{n-\delta}|^2 r^{-3} dV $$
...
- 969
2
votes
1
answer
137
views
Approximating a limit of an integral
How can we prove the following asymptotic lower bound for the regularized Beta function when $n\rightarrow\infty$?
$$\int_0^{1} I_{2 t - t^2}\left(\frac{n - 1}{2}, \frac{1}{2}\right) dt=\Omega\left(\...
- 1,677
1
vote
2
answers
106
views
'Partial boundedness' of continuously parametrised power series
Let $a_1, a_2, \ldots : D\rightarrow\mathbb{R}$ be a sequence of continuous functions, with $D$ a compact metric space.
Suppose that the function $f : D\times[0,\infty)\rightarrow\mathbb{R}$ given by
$...
- 463
8
votes
1
answer
679
views
Inequality involving tensor product of orthonormal unit vectors
Let $e_1,...,e_r$ be the first $r$ standard basis of $\mathbb{R}^n, r<n$. Let $u_1,...,u_n$ be another orthonormal basis of $\mathbb{R}^n$. Let $\otimes$ be the tensor product on $\mathbb{R}^n$ and ...
- 1,495
1
vote
2
answers
155
views
Construct suitable cutoff function
Let $\bar x \in \mathbb R$. Is there a cut-off function such that $\phi_\epsilon \in C^\infty(\mathbb R)$, $0 \le \phi \le 1$, and
$$\phi_\epsilon(x) = \begin{cases}
1 &\text{ if } |x - \bar x| \...
- 839
9
votes
1
answer
832
views
Baire category theorem for uncountable unions
Any compact Hausdorff space $X$ is a Baire space:
if the set $X$ is a meager set (meaning a countable union of nowhere dense subsets,
also known as a set of first category),
then $X$ is empty.
I am ...
- 37.8k
10
votes
2
answers
670
views
Reference request: Extensions of Wiener's Tauberian Theorem
Wiener's Tauberian Theorem says that linear combinations of translations of a function $f$ are dense in $L^1(\mathbb{R})$ if and only if the zero set of the Fourier transform of $f$ is empty. This is ...
- 710
2
votes
0
answers
68
views
Core for Neumann Laplacians
Let $d$ be a positive integer. We write $\mathbb{H}^d$ for the closed $d$-dimensional upper-half space: $\mathbb{H}^d=\{(x_1,\ldots,x_d) \in \mathbb{R}^d,\,x_d \ge 0\}$. We consider the Neumann ...
- 721
0
votes
1
answer
310
views
Regularity properties of conditional distributions
Let $(X,Y)\in\mathbb{R}^n\times\mathbb{R}^m$ be a pair of random variables with joint density $p(x,y)$. I am interested in the regularity properties of the conditional densities $p(y|x)$ and $p(x|y)$ (...
- 23
1
vote
1
answer
141
views
Averaging and fractional Laplacian
Let $u,\phi:\mathbb R \to \mathbb R$ be smooth functions and $\Omega_\epsilon$ be a bounded domain in $\mathbb R$ with diameter $\epsilon>0$ (consider for exaple the ball $B_{\epsilon/2}(0)$). Is ...
- 839
3
votes
1
answer
191
views
A convolution type singular integral operator with log
Define a convolution type operator $T_m$ by
$$T_m(f) = p.v.\int_\mathbb{R}f(x-y)\frac{\log^m|y|}{y}dy.$$ Here $m\ge0$ is an integer.
Consider $f \in H^s (s > 0)$ which is the usual Sobolev space. ...
- 903
0
votes
1
answer
279
views
When does strict inclusion holds for the domain of subdifferential?
Recall that, given an extended real-valued function $f: \mathbb{R}^n \to (-\infty, \infty]$
Its effective domain is,
$$\text{dom}(f) = \{x \in \mathbb{R}^n : f(x) < +\infty\}$$
The subdifferential ...
- 103
2
votes
2
answers
132
views
Density of traces of solutions to an elliptic equation
Let $D_1$ be a domain with smooth boundary and assume that $D_1$ is a proper subset of $D_2$ which is itself a bounded domain in $\mathbb R^n$ with a smooth boundary. Assume also that $D_2\setminus ...
- 4,115
3
votes
0
answers
322
views
Heat equation damps backward heat equation?
In a previous question on mathoverflow, I was wondering about the following:
Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions. ...
- 536
5
votes
1
answer
309
views
Find a combination of convex function so that it is positive
A student in my class asked me the following question, I did know what tools will be needed to attack it. But I found it is an interesting question.
Let $f_1,f_2$ be two convex functions on $[0,1]$ ...
- 425
9
votes
1
answer
3k
views
Is every finite Borel measure on a locally compact Hausdorff, $\sigma$-compact and separable space automatically regular?
The conditions stated in the question seem mouthful and a bit arbitrary, so let me provide some backgrounds.
Definition
Let $\mu$ be a Borel measure on a topological space. We say:
$\...
- 83
0
votes
1
answer
418
views
Application of Green function for non linear PDE [closed]
In the case of linear PDE, say $$Lu=0$$ if we have its green function say $G(x,y)$ then using that one can give solution of non homogenous PDE i.e. $Lu_f=f$ where $u_f=G*f$.
Is the same thing hold for ...
- 309
2
votes
1
answer
70
views
Lower bounds on translates of a function
Let $f\in L^p(\mathbb{R})$ and define $f_\theta(x)=f(x-\theta)$. I would like to compute (or at least lower bound) the following:
$$
\inf_{\theta\ne\theta'}\frac{\Vert f_\theta - f_{\theta'}\Vert_p}{|\...
- 45
0
votes
1
answer
1k
views
Bounding $L^p$ norms in terms of lower-order $L^q$ norms
Suppose $f,g\in L^q(\Omega)$ ($\Omega\subset \mathbb{R}^n$) for all $1\le q\le p$. Here, $L^p(\Omega)$ is defined with respect to some measure $\mu$ that is absolutely continuous wrt Lebesgue measure. ...
- 710
4
votes
1
answer
549
views
Two definitions of $L^p$ spaces that are not always equivalent
There are two definitions of $L^p(S, \Sigma,\mu)$ in the literature. (Here $S$ is a set, $\Sigma$ is a $\sigma$-algebra of subsets of $S$ and $\mu$ is a positive measure.) The two definitions are ...
- 41
2
votes
1
answer
395
views
Existence of integral kernel
I know the following statement ture.
Let $T \in B(L^1(\mathbb{R}^d), L^\infty(\mathbb{R}^d))$, where $B(X, Y)$ denotes all bounded linear operoters from $X$ to $Y$.
Then, $T$ has the integral kernel $...
- 193
2
votes
1
answer
107
views
Lower bounds on translates of a function over a compact set
Let $f\in L^p(\mathbb{R})$ and define $f_\theta(x)=f(x-\theta)$. Let $K\subset\mathbb{R}$ be a compact set. I would like to compute (or at least lower bound) the following:
$$
\inf_{\theta\ne\theta'\...
- 45
1
vote
2
answers
280
views
How can I prove that $(I+\lambda G)$ is invertible, where $G$ is the Green function of an elliptic operator?
How can I prove that the operator $$(I+\lambda G)$$ is invertible, where $\lambda >0$ and $G$ is the Green function of an elliptic operator $A$ in a bounded domain $\Omega$?
$\Omega$ can be very ...
- 131
2
votes
1
answer
230
views
Integration by parts with Hilbert transform
Is there a good integration by parts formula to compute
$$\int_{0}^\infty f \ H (f') dx,$$
where $H$ denotes the Hilbert transform and $f$ is a smooth function?
- 303
6
votes
1
answer
378
views
Optimal constant in Sobolev embedding
It is well-known that the Sobolev space $H^1(0,s)$ embeds continuously in the space of continuous functions $C[0,s]$; in fact, Marti has found in 1983 that the optimal embedding constant is $\sqrt{\...
- 3,388