All Questions
Tagged with real-analysis fa.functional-analysis
1,447 questions
2
votes
0
answers
72
views
Semilinear elliptic equations in complex plane
Let $D$ denote the closed unit disk centered at the origin in the complex plane. Let $F: D \times \mathbb C \to \mathbb C$ be a smooth function. Is there any theory for well-posedness (in the sense of ...
- 4,145
0
votes
1
answer
243
views
Condition for set of the type $\{(a,b)|a \in A, \ b = f(a)\}$ to have empty interior if $A$ has empty interior [closed]
Let us consider $$\mathcal X = \{(a,b)|a \in A, \ b = f(a)\}, $$ where $A \subset L^1(\mathbb R)$ has empty interior and $f:L^1 \to L^1$ is a bijective map. Does $\mathcal X$ also have empty interior? ...
- 839
5
votes
2
answers
2k
views
Relationship between KL, chi-squared, and Hellinger
There are many well-known relationships between the KL divergence, chi-squared ($\chi^2$) divergence, and the Hellinger metric. In the paper "Assouad, Fano, and Le Cam" by Bin Yu, the author ...
- 63
2
votes
1
answer
181
views
Characterization of extendible distributions
I asked this question on Mathematics Stackexchange, but got no answer.
I found the following question which characterize the extension of a distribution in $\mathbb{R}$:
Let $f \in L_{\text{loc}}^{1}(...
- 509
0
votes
1
answer
268
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 ...
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
3
votes
1
answer
425
views
Regularity of boundary of a level set of a $C^{1,\alpha}$ function
Let $f:\mathbb{R}^2\to\mathbb{R}$ be a $C^{1,\alpha}$ function. Denote $S_C=\{x\in\mathbb{R}^2\mid f(x)=C \}$ the level set of $f$ with value $C$.
What i want to ask is, if $S_C$ is nonempty for some $...
- 379
4
votes
1
answer
355
views
Sharpest version of semiclassical Calderon-Vaillancourt theorem
Let $S$ be the space of symbols defined by $$S:=\{a\in C^{\infty}(T^*\mathbb{R}^d):\forall \alpha,\beta\in\mathbb{Z}^d,\, |\partial_x^{\alpha}\partial_{\xi}^{\beta}a(x,\xi)|\le C_{\alpha\beta}\},$$ ...
- 854
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
2
votes
0
answers
170
views
Equivalence of implicit function theorem and Peano existence theorem in ODEs?
I was recently reading a book about the implicit function theorem (IFT): The implicit function theorem: history, theory, and applications, and before that I learned that Peano's existence theorem can ...
- 181
2
votes
0
answers
122
views
Comparing the truncated $\ell^{1}$-norm of polynomial coefficients with the supremum norm on the unit disc
Let $p=a_{0}+a_{1}z+\ldots+a_{n}z^{n}$ be a polynomial. Consider the following truncated $\ell^{1}$-seminorm of the coefficients of $p$:
$$\|p\|_{\ell^{1},\text{trun.}}:=\sum_{k=1}^{n}|a_{k}|=\|p-a_{0}...
- 321
2
votes
0
answers
76
views
Fractional integration in Orlicz spaces
I am reading the paper "Fractional integration in Orlicz spaces" by R. Sharpley.
And I would like to understand one question:
Let $A,B, C$ are Young's functions. The spaces $L_A, L_B$ are ...
- 343
1
vote
2
answers
113
views
$\log(t)$ term in the small time expansion of $\mathrm{Tr}( A e^{-tB} )$
Assume $A$ is an operator on a Hilbert space with discrete spectrum. Assume $B$ is a positive operator on the same Hilbert space also with a discrete spectrum. Also assume $A$ and $B$ commute.
I'm ...
- 1,150
1
vote
1
answer
72
views
Identification of $\lim_{n\to\infty}f_n^{-1}$ with $f_n:\mathbb R_+\to (0,1]$ strictly decreasing and converging pointwise
Let $f_n: \mathbb R_+\to (0,1]$ be continuous and strictly decreasing for every $n\ge 1$. Assume that the pointwise limit of $(f_n)_{n\ge 1}$ exists, denoted by $f$, and is also strictly decreasing. ...
user478492
2
votes
0
answers
216
views
Fourier transform of Dirac delta distribution
Let $f,g$ be Schwartz functions on $\mathbb R^4$, we denote them as $\mathcal S(\mathbb R^4)$, one can then define the transform $V$ mapping $f,g$ to a Schwartz function $\mathcal S(\mathbb R^8)$
$$ V(...
- 73
1
vote
1
answer
134
views
Do these two pairs coincide at small time?
Let $\alpha, \beta:\mathbb R_+\to [0,1]$ be continuous and decreasing functions s.t. $\alpha(0)=1=\beta(0)$ and $\alpha, \beta$ are continuously differentiable on $(0,\infty)$ satisfying for some $c&...
- 1,334
3
votes
0
answers
99
views
Definition clarification: "regular directed distributions"
(I asked this question on math.stackexchange (see here) but didn't receive any reaction, hence I try it here. If it does not fit within here, just let me know in the comments.)
In the definition of ...
- 1,171
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
82
views
What is $\left\| u \right\|_{ H_{0}^{k}, H_{0}^{k}}$ norm when $H_{0}^{k}=\left\{u \in H^{k, 2}(M) \mid \int_{M} u \operatorname{vol}_{g}=0\right\}$
What is $\left\| f \right\|_{ H_{0}^{k}, H_{0}^{k}}$ norm when $H_{0}^{k}=\left\{u \in H^{k, 2}(M) \mid \int_{M} u \operatorname{vol}_{g}=0\right\}$.
I'm reading a paper
Chern-Yamabe flow
which said ...
- 809
0
votes
1
answer
125
views
Bounding integral expression with Sobolev norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
2
votes
0
answers
117
views
Bounding integral expression with BV norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
3
votes
2
answers
210
views
Bounding integral expression with total variation of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{(g(x)-g(y))(x-y)}{|x-y|^{3}} d x d y $$
for $\epsilon>0$, $f \in L^\infty(\mathbb R)$,...
user139844
3
votes
1
answer
577
views
A constant ratio of integrals? Part II
This question is a follow up on my latest MO post which was addressed kindly by Iosif Pinelis. What is new here is that I need to correct the assumption by including a missing hypothesis. The context ...
- 43.2k
4
votes
1
answer
379
views
A constant ratio of integrals? Part I
Let $u(x)$ be a harmonic polynomial in the unit ball $B_1(0)\subset\mathbb{R}^n$ with $u(0)=0$.
For $0<r\leq1$, consider the average of its Dirichlet integral
$$A(r):=\frac1{\vert B_r(0)\vert}\int_{...
- 43.2k
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
0
votes
0
answers
76
views
Linear dependence of the derivatives of a vector valued function
Let $f:\mathbb{R}\rightarrow\mathbb{R}^5$ be an injective smooth function, and consider the function
$$
g:\mathbb{R}^5\rightarrow\mathbb{R}^5
$$
given by
$$
g(t_1,t_2,t_3,a,b) = f(t_1)+a(f(t_2)-f(t_1))...
- 8,998
2
votes
0
answers
155
views
Second differential of total variation
I am trying to give meaning to the notion of second differential of total variation.
For sufficiently regular $u:\Omega \subset \mathbb{R}^2 \to \mathbb{R}$ let the total variation be given by
$$TV(u)=...
- 319
2
votes
1
answer
174
views
Gradient of a convex function on $\mathbb{R}^d$, maximum on hypercubes bounded by values in corners?
Let $f : \mathbb{R}^d \rightarrow \mathbb{R}$ be infinitely often continuously differentiable and convex.
For $d = 1$, we know that for any interval $[a, b]$, it holds for $x, y \in [a, b]$ that
$$
(f'...
- 1,095
2
votes
2
answers
230
views
Does the map $f \mapsto \mu_f$ (BV to Lebesgue-Stieltjes measure) behave nicely under function concatenation?
Consider two continuous functions $f,g : [0,1]\rightarrow\mathbb{R}$ of bounded variation, and let $\mu_f, \mu_g : \mathcal{B}([0,1])\rightarrow\mathbb{R}$ be their associated Lebesgue-Stieltjes (...
- 463
3
votes
1
answer
110
views
Question on the existence/uniqueness of the fixed point
Let $E$ a Banach space ($E$ is the space of continuous functions on $[0,T]$ for my case). Let $F, G: E\times E\to E$ be contraction maps of contraction constant $\epsilon>0$. Given $b\in\mathbb R$, ...
- 1,334
4
votes
0
answers
481
views
Generalized Jensen's inequality for positively homogeneous functions
The function $f:V \to \hat{\mathbb{R}}$ is said to be positively homogeneous iff $f(\alpha v) = \alpha f(v)$ for every $\alpha \in \mathbb{R}_{++}$. Here $V$ is a real vector space and $\hat{\mathbb{R}...
- 519
5
votes
1
answer
630
views
Infinite dimensional involutions: infinitely large sets of multivariate polynomials self-inverse under self-substitution
Examples of infinite dimensional involutions
Edit 2/25/23, as suggested by YCOR below: (Start)
The first return on a Google search on involution--from late Latin 'a rolling up'--gives the Oxford ...
- 10.5k
2
votes
0
answers
161
views
The Laplace transform and the Lagrange compositional inversion formula
I'm looking for references which derive the Lagrange inversion formula, given below (in bold), for the Taylor series coefficients of the compositional inverse of a function $f$ analytic at the origin ...
- 10.5k
2
votes
0
answers
130
views
Smoothness of Radon transform
Let $f:\mathbb R^n \to \mathbb R$ be density function (i.e nonnegative function which integrates to $1$), and consider its Radon transform $R[f]$ defined by
$$
R[f](w,b) := \int_{\mathbb R^n}\delta(x^\...
- 6,853
2
votes
1
answer
145
views
Estimate for an oscillatory integral of the first kind
I am confused in finding the right bound for the following oscillatory integral
$$I = \int_\mathbb{R} (\psi(2^{-k} \xi))^2 e^{i (y \xi - 3 \eta \xi^2 t)} d\xi.$$
Where $\psi(2^{-k} \xi)$ is a smooth ...
- 159
3
votes
1
answer
354
views
Hölder inequality between different Orlicz spaces
If we have a product of functions $fg$ with $f\in L^r$ and $g\in L^s$ for some $s,r>1$ satisfying $1/r+1/s=1$, then we know that $fg\in L^1$.
But if $g$ is a little bit more than $L^s$, say $L^s \...
- 363
15
votes
0
answers
477
views
Quantitative Skorokhod embedding
The Skorokhod embedding theorem says that any random variable $X$ with $\mathbb E X=0$ and $\mathbb E[X^2]<\infty $ can be written as $X=B_{\tau }$ where $B$ is a Brownian motion and $\tau $ is a ...
- 723
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
2
votes
0
answers
66
views
Existence of saddle points under a $C^0$-perturbation of a continuous function
Let $f:\mathbb{R}\to \mathbb{R}$ be a continuous function and has a strict maximum point $a$ and strict minimum point $b$. Define $g(x,y)=f(x)+f(y)$ and $h_\varepsilon(x,y)$ be a family of continuous ...
- 379
0
votes
0
answers
83
views
Partial derivative of the Bessel's operator
Let $J^s = (I- \Delta)^{\frac{s}{2}}$ where $\Delta$ is the Laplacian, and $w(x,y) \in L^2(\mathbb{T}^2)$. During my study to the paper, https://arxiv.org/pdf/1809.02027.pdf, the author stated that
$$\...
- 159
10
votes
1
answer
349
views
On a variant of Carlson’s theorem
My question is on whether or not there exists some monotone strictly decreasing sequence of positive numbers $c_1>c_2>\ldots$ such that given any $f$ which is a uniformly bounded holomorphic ...
- 4,145
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
4
votes
2
answers
261
views
A convexity question
Let $Q=[0,1]\times[0,1]$ and let $a$ be a positive smooth function on $Q$. Does there exist a smooth positive function $u$ On $Q$ such that there holds
$$ \frac{\partial^2}{\partial x_1^2}u <0 $$
...
- 4,145
0
votes
0
answers
71
views
Sufficient condition to be increasing, following a vector field
Let $f\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R})$ $(n\geq 1)$ be an observable, and let $v^1,v^2\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$ be two vector fields such that for any $(x^1_t)_{t\geq 0}$ ...
- 449
2
votes
1
answer
182
views
Non-injectivity of the limit of non-injective sequence of operators
It is known that the limit of a sequence of non injective operators is not necessarily non-injective, for instance, the operator \begin{eqnarray*}
T_n &:&\ell ^{2}\rightarrow \ell ^{2} \\
x &...
- 617
3
votes
1
answer
394
views
Approximations for real functions
Is there some set of real functions ($S$) that has precisely the cardinality of the continuum, but is dense in the space of all the real functions in a sense that every real function can be ...
- 39
1
vote
1
answer
48
views
Inverse transform of $\int K(s,t) \rho(s) dS $
Assume that $V$ is a n-dimensional surface, or the disjoint union such surfaces.
Let $K(s,t)$ be a function $V^2\to \mathbb R$. For the sake of simplicity, it can be assumed that $K$ is continuous, ...
- 687
3
votes
2
answers
2k
views
Can every real function be approximated with a Riemann-integrable one with any precision required?
Is there some proof that Riemann-integrable functions are dense in the space of all real functions?
In a sense that for every real function $f$ and number $\varepsilon>0$, there is Riemann-...
- 117
4
votes
0
answers
81
views
Does this sequence of functions converge in a distributional sense?
Let $f\in W^{1,12/5}(\mathbb{R}^3)$ (time-independent), let $K^{\epsilon}$ be a uniformly in $\epsilon$ bounded sequence in $L^{1}\cap L^{7/5}(\mathbb{R}^3)$ and let
$$\tilde{K}^{\epsilon} := K^{\...
- 469
6
votes
2
answers
326
views
Looking for references to study $U^p$ and $V^p$ spaces
I am studying some papers in the analysis of nonlinear PDEs and I am encountering the $U^p$ and $V^p$ spaces for the first time. Where can I find references more detailed than papers?
Edited
The ...
- 159