All Questions
Tagged with fa.functional-analysis real-analysis
1,447 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
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
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=...
2
votes
1
answer
152
views
Growth rate of elementary sequences
We consider three sequences $(x_n),(y_n),(z_n)$, where $(x_n) \in \ell^1$ is positive and the other two sequences are merely assumed to be positive, i.e. $y_n,z_n \ge 0$ where $0<z_n<z_{n+1}$ is ...
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}...
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
2
votes
1
answer
148
views
The regularity theorem, a non-regular minimizer problem
During my self study to the calculus of variations I come across this problem. Because of my search, I know what I wanted to do but I need some help to do them.
The function $f:[-1,1] \times \mathbb R ...
- 159
2
votes
2
answers
240
views
Measure of non-commutativity of two invertible functions
I need to estimate $|x - f^{-1}(g^{-1}(f(g(x))))|$ for various values of $x$ for two smooth invertible functions $f$ and $g$ on $\mathbb{R}$ (actually some other spaces, but $\mathbb{R}$ will do.) Are ...
- 21
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,143
2
votes
1
answer
177
views
Determine the sign (positive or negative) of an integral with the fractional Laplacian
Let $u,v:\mathbb R \to \mathbb R$ and $\phi: \mathbb R \to \mathbb R_+$ be smooth bounded functions. Assume also $\phi' \ge 0$. Assume that $u(0) - v(0) = 0$ and that $0$ is a strict global minimum of ...
- 839
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
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
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
2
votes
1
answer
163
views
Max-root inequality for convex combination of real-stable monic polynomials (Kadison-Singer Problem)
In the paper "The Kadison-Singer Problem" by Marcin Bownik (https://arxiv.org/pdf/1702.04578.pdf), the following Lemma (3.8) is proven:
Lemma:
Let $p, q\in \mathbb{R}[x]$ be stable monic ...
- 203
2
votes
1
answer
345
views
Function series of normal lower semi-continuous functions
For a real-valued $f$ on a topological space $X$, the upper limit of $f$ at $x\in X$ is
defined as follows:
$
f^{\ast }\left( x\right) =\inf \left\{ \sup \left\{ f\left( y\right) :y\in
U\right\} :U\in ...
- 1,367
2
votes
1
answer
135
views
A non-condensing operator with a power condensing
Let $\alpha$ to be the Kuratowski measure of non-compactness, in a Banach space $E$.
It's very easy to prove that $\alpha (D_1\times D_2)\leq \alpha (D_1)+\alpha (D_2)$, where $D_1$ and $D_2$ are ...
- 291
2
votes
1
answer
258
views
$L^2$ bound and Sobolev spaces
Let $f \in L^2(\mathbb R)$ be a function such that
$$\vert f \vert_{\alpha}:=\sup_{h>0}h^{-\alpha}\Vert f(\bullet+h)-f \Vert_{L^2}< \infty$$
for some $\alpha \in (0,1).$
I would like to know ...
user69109
2
votes
2
answers
257
views
Reference request on Min-Max theorem
Consider the following min-max problem
$$\inf_{x\in M} \sup_{y\in N} F(x,y),$$
where $F: M\times N\to\mathbb R$ is Lipschitz and $y\mapsto F(x,y)$ is concave for all $x\in M$. Could we derive $\...
user128095
2
votes
1
answer
300
views
Optimal control theory of PDEs
This is a somewhat openly phrased question because I am not quite sure what has been done in that direction.
Imagine one has two evolution equations
$$\partial_t u = p(x,\partial_x,f)u$$
$$\...
- 536
2
votes
1
answer
177
views
For every table of interpolating nodes, there is a positive continuous function whose interpolating polynomials are not positive infinitely often
Fix an interval $[a,b]$. Is it true that for every table of interpolating nodes $\{x_{0,n},x_{1,n}...,x_{n,n}\}_{n=1}^{\infty}$, there exists a continuous function $f:[a,b]\to (0,\infty)$ such that ...
- 1,209
2
votes
1
answer
470
views
Description of (completely) bounded operator
I am somewhat a beginner in the field of operator algebras and was wondering about the following:
Let $T$ be a linear map between the space of bounded operators $B(H)$ on some Hilbert space and $S$ a ...
- 33
2
votes
1
answer
196
views
Support of functions in Fourier domain
Let $\mathcal F$ be the Fourier transform. I would like to understand whether being in a Sobolev space implies that the Fourier transform of a function is necessarily supported on a compact ball up to ...
- 23
2
votes
1
answer
240
views
A measure of noncompactness by a convex function
Let $E, \left \| \right \|$ be a Banach space, $\mathfrak{M}_E$ indicate a family of all nonempty bounded subset of $E$, $\mathfrak{N}_E$ the familly of all relatively compact sets, and $Ker \mu=\{X\...
- 291
2
votes
1
answer
497
views
Spectrum of magnetic Laplacian
Consider the discrete magnetic Laplacian on $\mathbb Z^2.$
$$(\Delta_{\alpha,\lambda}\psi)(n_1,n_2) = e^{-i \pi \alpha n_2} \psi(n_1+1,n_2) + e^{i\pi \alpha n_2} \psi(n_1-1,n_2) + \lambda \left(e^{i ...
- 21
2
votes
1
answer
315
views
Can it be proved that $f$ is integrable?
Let $x$ be a differentiable function on $\mathbb{R}$. I want to prove that for any time $t \geq t_0$
\begin{equation}
\frac{1}{2} D^{\alpha} x^2(t) \leq x(t) D^{\alpha} x(t), \ \ \forall \alpha \...
- 31
2
votes
1
answer
1k
views
Pointwise convergence implies uniform convergence?
Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like
$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$
Assume that $K\in C^{\text{bounded}...
- 329
2
votes
1
answer
250
views
Density in the Space of absolutely convergent Fourier series
It is possible to approximate a function $f$ on $[0,2\pi]$ by a continuous function whose derivative is zero almost everywhere (as can be seen here : https://math.stackexchange.com/questions/67334/...
- 125
2
votes
1
answer
800
views
Interpolation in Sobolev spaces
Let $H^s$, $0\leq s<\infty$ be the $L^2$ based Sobolev spaces such that
$$
\hat{f}(\xi)(1+|\xi|^2)^{s/2} \in L^2.
$$
Let $r_1,r_2,p_1,p_2>0$ be given parameters. Assume that a linear operator $...
- 843
2
votes
1
answer
497
views
Are the partial derivatives of a function increasing in both variables measurable?
Let $f$ be a function from $[0,1]\times[0,1]$ to $\mathbb{R}$ that is nondecreasing in both variables, i.e. $f(x_1,y_1)\le f(x_2,y_2)$ whenever
$x_1\le x_2$ and $y_1\le y_2$. It is known that the ...
2
votes
1
answer
149
views
The infinite set of $SBV$ function?
Let $u\in SBV(\Omega)$ where by $SBV$ we denote the special bounded variation function and $\Omega\subset \mathbb R^N$ is open bounded.
Let's identify $u$ by its approximation representative (see ...
- 679
2
votes
1
answer
499
views
Inverse of pseudo differential operator
Let $\operatorname{Op}_h(x,D)(a)$ denote the Weyl-quantisation of a symbol $a$. Is there an explicit way to invert this pseudo-differential operator in an asymptotic series? By this I mean, can we ...
- 61
2
votes
1
answer
265
views
characterization of normality by selection theorem
The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
- 121
2
votes
1
answer
5k
views
Smooth Approximation of Indicator Function of Convex Sets in $\mathbb{R}^n$
Let $( \mathbb{R}^n, \| \cdot \|_P)$ be the $n$-dimensional Euclidean space equipped with $\ell_p$-norm $\| \cdot \|_p$ for some $p\in [1, + \infty]$. Let $A$ be a convex set in $\mathbb{R}^n$ and ...
- 1,127
2
votes
1
answer
375
views
Simplify proof for rapidly decaying functions
I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...
- 181
2
votes
1
answer
383
views
Hardy space, Lebesgue space for $p<1$,
We denote $\mathcal D'(\mathbb R^n)$ the space of distributions, and $\mathcal D(\mathbb R^n)$ the space of smooth, compactly supported functions.
Let $\rho\in \mathcal D'(\mathbb R^n)$ such that ...
- 630
2
votes
2
answers
210
views
The convolution between weighted $L^1$ space and normal $L^1$ space
Let $\omega\in L^1_{\text{loc}}(\mathbb R^N$) be given. We assume that $\omega\geq 1$, l.s.c, and satisfies, for a constant $C>0$,
$$
\frac{1}{|B(x,r)|}\int_{B(x,r)}\omega(y)dy\leq C\omega(x)
$$
...
- 679
2
votes
1
answer
396
views
$BMO$-property via a John-Nirenberg type estimate?
Let $\Omega \subset \mathbb R^d, d\ge 2$, be bounded and denote a ball in $\mathbb R^d$ by $B$. Denote also
$$
f_B:= \frac1{|B|}\int_B f \, dx.
$$
Suppose $f \in L_{\rm loc}^p(\Omega)$ for all $1<p&...
- 632
2
votes
1
answer
460
views
Finite trigonometric polynomial
I noticed by numerical and some explicit calculations for a few examples that for real-valued finitely supported functions $\phi \in L^2(\mathbb{R})$ we have that
$T(x):= \sum_{n \in \mathbb{Z}} |\...
- 231
2
votes
1
answer
108
views
Follow up question to: Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
This is a follow up question of the question Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
...
- 135
2
votes
1
answer
307
views
Question regarding to approximate continuity
Given $u\in BV(R^N)$, we say $u$ is approximate continuous at $x$ and the approximation limit is $l\in R$ if
$$ \lim_{r\to 0}\frac{\mathcal{L}^N(B(x,r)\cap \{|u-l|>\epsilon\})}{r^N} =0 $$
for all $...
- 679
2
votes
1
answer
800
views
A question about Skorokhod metric
I have a question related to the Skorokhod distance.
Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\Lambda$ be the collection of non-decreasing continuous ...
- 1,835
2
votes
1
answer
135
views
Skorokhod distance between $\omega, \omega\circ f_{\varepsilon}$ and $\omega, \omega\circ b_{\varepsilon}$
Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\rho$ be the Skorokhod metric on $\Omega$, see e.g.
http://en.wikipedia.org/wiki/C%C3%A0dl%C3%A0g
Now define ...
- 1,835
2
votes
1
answer
128
views
Characterization of a subset of [0,1] $III$
I have a question related to the previous one.
Characterization of a subset of [0,1] $II$
Let $T\subseteq [0,1]$ be some subset closed under lower limit topology, i.e.
$t_n$ is said to converge to $...
- 1,835
2
votes
1
answer
546
views
Limit involving regularized gamma function and its inverse
Let
$$L(x)=Q\left(\frac{x}{2},\frac{a}{a+f(x)/\sqrt{x}}Q^{-1}\left(\frac{x}{2},1-b^{1/g(x)}\right)\right)$$
where $Q(s,x)=\frac{\Gamma(s,x)}{\Gamma(s)}$ is the upper incomplete gamma function $\Gamma(...
- 917
2
votes
1
answer
190
views
Completeness for spaces of eventually bounded nets
Let $A$ be a directed set, and $\ell^\infty_A$ the (complex vector) space of all
eventually bounded nets $A\to \mathbb{C}$. We can define the limit superior seminorm on $\ell^\infty_A$:
$$
\vert\vert{...
- 281
2
votes
0
answers
79
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
- 20.2k
2
votes
0
answers
228
views
A deceptively simple regularity problem for functions on the plane
By various meanderings and toying with simpler problems, my current research has lead me to the following quite straightforward question, which I am wholly unable to answer:
Consider a twice ...
- 989
2
votes
0
answers
194
views
Functions such that the *integral* of the Fourier transform is non-negative?
Let $f:\mathbb{R}\to \mathbb{R}$ be in $L^1$, with its Fourier transform $\widehat{f}$ also in $L^1$. What is a necessary and sufficient condition on $f$ so that
$$\int_{-\infty}^x \widehat{f}(t) dt \...
- 20.2k
2
votes
0
answers
52
views
On distributions and kernels
Let $U\subset\mathbb{R}^{d}$ be an open set and consider $X=\mathbb{R}\times U$. Now, lets consider a smooth (regular) kernel $k_{A}\in C^{\infty}(X\times X)$ and corresponding continuous operator $A:...
- 1,429
2
votes
0
answers
43
views
Distributions and time-kernels
Let $U\subset\mathbb{R}^{d}$ be an open subset and set $M:=I\times U$, where $I=(a,b)\subset\mathbb{R}$ is some open subset. Lets consider a linear operator $B:C^{\infty}_{c}(M)\to C^{\infty}(M)$ that ...
- 1,429