All Questions
Tagged with fa.functional-analysis real-analysis
1,447 questions
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
0
votes
1
answer
92
views
Continuous selectors of a continuous multifunctin on a compact metric space
I am currently working on a continuous selector problem of multifunctions. I am trying to figure out if a continuous multifunction defined on a compact metric space always admit a continuous selector.
...
- 79
0
votes
1
answer
254
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 ...
- 835
0
votes
1
answer
105
views
Transforming two smooth densities to the same density
I am looking for an example of the following:
Find a bijective, differentiable function $f$ and continuous probability density functions $q_1\ne q_2$ such that $f_*q_1=p=f_*q_2$, where $f_*$ is the ...
- 5
0
votes
1
answer
736
views
Proof: If a reproducing kernel exists for a Hilbert space, then it is unique
I really want to prove the statement in the title but I'm struggling with it. Here my current state:
Proof via contradiction. Let $\mathcal{H}$ be a RKHS with two reproducing kernels $k$ and $\hat{k}$ ...
- 13
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
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
0
votes
1
answer
148
views
Total variation of composition of BV function and diffeomorphism [closed]
Let $f:\mathbb R \to \mathbb R$ be a $BV$ function and $g:\mathbb R \to \mathbb R$ be a diffeomorphism. What is the total variation of $f \circ g$?
My guess is
$$
TV(f\circ g) \le TV(f) \Vert (g^{-1})'...
- 303
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
0
votes
4
answers
1k
views
Does the Leibniz (product) rule hold for the spectral fractional Laplacian?
Does the Leibniz (product) rule hold in some sense for the spectral fractional Laplacian (at least in 1 dimension)?
user139845
0
votes
1
answer
853
views
Reference request : How to use Lagrange multiplier technique with infinite (infact uncountably) number of constraints?
I have a constrained maximization problem (maximizing a functional), with number of constraints being uncountable infinite.
It looks something like this. I want to maximize the convex functional $C(f)...
- 698
0
votes
1
answer
116
views
Integrable function [closed]
Suppose that $a, b, c_1$ and $c_2$ are real constant.
Is there the necessary and sufficient conditions of $a ,b, c_1,c_2 $ for the following integration is integrable? i.e.
$$\int_1^{\infty}\int_1^{\...
- 119
0
votes
1
answer
119
views
$\sup_{f} \inf_{z\in D} [f_x^2(z)+f_y^2(z)]$ for $|f|\leq1$ on a unit disk
Let $f:\mathbb{R^2}\mapsto\mathbb{R}$ be continuous and have partial derivatives in $D=\{(x,y):x^2+y^2\leq1\}$, and let $\mathscr{H}$ the set of such functions for which $\sup_D |f|\leq1$.
Could ...
- 385
0
votes
3
answers
554
views
Converting a bounded metric into an unbounded metric
Suppose $d$ is a bounded metric on $X$, i.e. $d(x,y)< K<\infty$ for all $x,y\in X$. Is there a standard way to convert $d$ into another metric $\widetilde{d}$ on $X$ with the property that $\...
- 710
0
votes
1
answer
165
views
Is there an example of a one to one and onto mapping between these two spaces?
Let $\Omega$ be a convex open subset of $\mathbb{R}^d$ with a smooth boundary. Is there an example of a one to one and onto mapping of the form $$L^{d+1}(\Omega) \to W^{1,d+1}(\Omega)$$
- 698
0
votes
1
answer
302
views
Approximation of a $C^{\infty}_c$ function with tensor products of a constant tensor rank
I asked the following question a few days ago:
Approximation of a $C^{\infty}_c$ function by tensor products
However, I then realised that I actually need a stronger result in my proof.
As in the ...
- 357
0
votes
1
answer
629
views
Fourier Transform of sub-Gaussian distributions
The high level question is: Just as the Fourier transform of a Gaussian is a Gaussian, is the Fourier Transform of a sub-Gaussian also a sub-Gaussian?
Let $x \in \mathbf{R}^n$ denote some sub-...
- 445
0
votes
3
answers
320
views
Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]
Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in W^{1,...
user81900
0
votes
1
answer
693
views
the double dual of "little l one" sequence space
I remember a professor remarking a while back that the double dual of the sequence space $l_1^{\infty}(\mathbb{R})$ is a very complicated space. I understand it must contain a copy of the original ...
- 9
0
votes
1
answer
770
views
About weak derivatives [closed]
I have a question about weak derivatives.
Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some
open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...
- 721
0
votes
1
answer
612
views
Calculating a distributional derivative
Suppose that we have a sequence of functions $u_j$ that are in $L^{\infty}(0,1)$. Then the sequence of maps $N_j(s) := \|u_j(s)\|^2$ are also in $L^{\infty}(0,1)$. Hence they give rise to ...
- 213
0
votes
1
answer
124
views
Holomorphic functions of certain blow up at origin
Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
- 4,143
0
votes
1
answer
80
views
Orthogonal space of polynomials
Let $f \colon [0,+\infty) \to \mathbb R$ be a continuous function. Assume that for any non-negative integer $n$, the function $f(t) t^n$ in integrable in $(0,+\infty)$ and
$$
\int_0^{+\infty} f(t) t^n ...
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
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
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
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
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^{...
- 3,477
0
votes
2
answers
166
views
Asymptotics of the unique root of a polynomial equation defined as a sum of rational expressions
Let $\lambda_1\ge \ldots \ge \lambda_n \gt 0$. Define a function $F:\mathbb R_+ \to \mathbb R_+$ by
$$
F(t) = t^2\sum_{i=1}^n\frac{\lambda_i^2}{(\lambda_i + t)^2}.
$$
It is clear that $F$ is strictly ...
- 6,853
0
votes
1
answer
269
views
Determine if an integral expression is in $L^2(\mathbb{R})$
Note: This is a simplified version of the following question. I did not get a full response and realized can make it simpler to have my main interrogation answered. I decided to write it as a ...
0
votes
1
answer
296
views
When can a convolution be written as a change of variables?
Suppose $X$ is a random variable with a density $f(x)$ such that $f(x)$ is a convolution of some density $g$ with some other density $q$:
$$
f = g\ast q.
$$
Under what conditions does $X=h(Y)$, where $...
- 5
0
votes
1
answer
55
views
Kernels of sequences of operators
Let $\left( S_{n}^{1}\right) $ and $\left( S_{n}^{2}\right) $ two sequences
of operators in $\mathcal{L}(E_{1},F_{1})$ and $\mathcal{L}(E_{2},F_{2})$
where $E_{i},F_{i},i=1,2$ are Hilbert spaces such ...
- 617
0
votes
1
answer
345
views
Embedding of fractional Sobolev space into BMO
Is it true that $$\Vert u \Vert_{BMO(\mathbb R^2)} \lesssim_{s} \Vert u \Vert_{\dot H^s(\mathbb R^2)},$$
for $s \in (0,1)$, where $\dot H^s(\mathbb R)$ is the homogeneous fractional Sobolev space?
- 99
0
votes
1
answer
241
views
Dense sub-algebra of $C_{b}((0,1))$ which is not smooth
I am looking for a dense sub-algebra $B$ in $C_{b}((0,1))$ in uniform topology such that it satisfy following requirements:
$B\cap C^{\infty}_{b}((0,1))=\mathbb{R}$ (No polynomial, no bump function).
...
- 523
0
votes
1
answer
326
views
Domain of the fractional Laplacian operator
If $u:\mathbb R^n \to \mathbb R$ satisfies $$\int_{\mathbb R^n}\int_{\mathbb R^n}\frac{|u(x)-u(y)|^2}{|x-y|^{n+2s}} dxdy < \infty,$$
but $u$ is not in $L^2(\mathbb R^n)$, is $(-\Delta)^su$ well-...
- 109
0
votes
1
answer
110
views
Functions for which $|f^{(k)}|_{C^{0,\alpha}(0,1)} \le \Vert f \Vert_{L^1(0,1)}$
Let $f \in C^k(0,1)$ and assume that the $k$-th derivative is $\alpha$-Hölder continuous. Assume that $f(x) = 0$ in a fixed interval $(a,b) \subset (0,1)$. Can we characterize (or at least find some ...
- 131
0
votes
1
answer
322
views
Injectivity of analytic functions
Suppose $f : \mathbb{R} \rightarrow \mathbb{R}^n$ is a real analytic function on $(a, \infty)$. I have two questions:
Suppose $||f(x)|| \rightarrow \infty$ as $x \rightarrow \infty$. I know without ...
- 431
0
votes
1
answer
102
views
Is the integral functional $I(x) = \int_{0}^{T} \Lambda (t , x(t), \dot{x} (t)) \; dt $ locally lipschitz on the space $C^2 [0 ,T] $?
Let the function $\Lambda : [0,T] \times \mathbb{R^n} \times \mathbb{R^n} \to \mathbb R$ be continuously differentiable. Then the integral functional $I(x) = \int_{0}^{T} \Lambda (t , x(t), \dot{x} (t)...
- 369
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
0
votes
1
answer
359
views
Dual norm of a max function [closed]
I am attempting to find the dual norm of
$$\|(x,y)\|_K=\max\{|x|,|y|,|x-y|\}.$$
I have obtained $\|(x',y')\|_K^* = |x'|+|y'|$, but don't think that this is correct.
I obtained this as follows :
$$K = ...
- 9
0
votes
1
answer
133
views
Product of sets with the Radon-Nikodym Property (RNP)
I have read that it is somewhat well-known that if two Banach spaces $X$ and $Y$ have the Radon-Nikodym Property (RNP), then their product $X\times Y$ also has the RNP.
Does the above result ...
- 1,245
0
votes
1
answer
244
views
Proving that $\|\mathbf{T}^n\|^2=\sum_{g\in \mathbf{G}(n,d)}\|\mathbf{T}_g\|^2\,$
Let $F$ be a complex Hilbert space and $\mathcal{B}(F)$ be the algebra of all bounded linear operators on $F$.
For ${\bf A} = (A_1,...,A_d) \in \mathcal{B}(F)^d$, the norm of ${\bf A}$ is given by
$...
- 724
0
votes
1
answer
419
views
Stone–von Neumann theorem?
The Stone–von Neumann theorem says that given two unitary groups on a Hilbert space $H$ satisfying the canonical commutation relations (CCR)
$$
U(t)V(s) = e^{-i st} V(s) U(t) \qquad \forall s, t
$$
...
0
votes
1
answer
350
views
Uniformly Bounded (updating)
Suppose that $a_1<1$, $a_1+a_2+a_3>1.$ For $x,y,z>0,$
(1) define a fucntion
$$H(x,y,z)=\frac{x^{\frac{1}{2}}\int_0^{\infty}\frac{1}{t^{a_1}~ (1+t)^{a_2+1}~
(1+t+z)^{a_3}}\exp\big\{-\frac{...
- 119
0
votes
2
answers
235
views
An inequality on length of two curves [closed]
I am looking for a proof, reference, comment of an inequality as follows:
If $f(x)$ and $g(x)$ be two continuous derivative funcions in interval $[a, b]$. Such that:
$f(a)=g(a)$ and $f(b)=g(b)$
$(...
- 1,776
0
votes
1
answer
186
views
Meromorphic solutions to Legendre's equation
I just saw the following question that was asked yesterday on math overflow on meromorphic solutions to ODEs
Although, I understand the answers and comments to the questions, I did not understand how ...
- 501
0
votes
1
answer
104
views
Operator identity for convergent series
Let $T_i$ and $S_i$ be a sequence of bounded operators such that
$$ \sum_{k,i,j=0}^{\infty} S_j^* T_i^* T_i S_k$$ converges unconditionally in operator norm on some Hilbert space. The limit is then ...
0
votes
1
answer
843
views
$C^{\infty}_{loc}$-convergence - right definition
Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
- 35
0
votes
1
answer
152
views
When can two Cauchy transforms intersect?
Given two polynomials $p$ and $q$ over reals and being guaranteed that both have all roots real I want to know if there is any characterization of the solutions of the equation $\frac{p'}{p} = \frac{q'...
- 1,893
0
votes
1
answer
195
views
Existence of bounded $n-$th derivative of the solution of differential equation
This question is the copy from mat.stackexchange.com here. I requestioned here due to the very limited responses there.
Let $\phi:\mathbb{R}\mapsto\mathbb{R}$ be the standard normal density, $$\phi(x)...
- 133