All Questions
Tagged with fa.functional-analysis real-analysis
1,448 questions
1
vote
1
answer
204
views
Why study the moment problem in one dimensional case( Hamburger moment problem)
I have been reading about moment problem and I have been curious about the following question.
What is the motivation for studying the Hamburger moment problem(one dimensional moment problem?
I ...
- 54.2k
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)$$
- 2,834
7
votes
0
answers
550
views
Counter-example to the completeness of the Wasserstein metric
$\newcommand{\P}{\mathcal{P}}$
Let $(E,d)$ be a complete metric space, let $\P(E)$ be the set of all probability measures on $(E,\mathcal{B}(E))$. Let $W_d$ be the $1$-Wasserstein (Kantorovich) ...
- 931
10
votes
2
answers
1k
views
Harmonic oscillator discrete spectrum
Let us act intentionally stupid and assume we do not know that we can solve for the spectrum of the harmonic oscillator
$$-\frac{d^2}{dx^2}+x^2$$
explicitly.
Is there an abstract argument why the ...
- 24.2k
2
votes
1
answer
140
views
An inequality about embedding of cube into metric spaces
A k-cube in $X$ is a function $\psi:\{-1,1\}^k\to (X,d)$.
An edge of a cube is a pair of points $\{\psi(\epsilon_1),\psi(\epsilon_2)\}$ in $X$ such that $\epsilon_1$ and $\epsilon_2 $ differ in ...
1
vote
1
answer
335
views
Orthonormal basis and decay
Edit: I added smoothness, hoping to simplify the problem with this additional assumption.
Let me motivate this question first: In signal analysis it is often of interest to understand when a certain ...
- 17.2k
2
votes
0
answers
70
views
The $n$-th derivative for $z$ at $z = 0$ of $F(a,b)(z)$ is no less than that of $F(\frac{a+b}{2},\frac{a+b}{2})(z)$ [closed]
The proposition the OP wants to prove is incorrect. --Aug 8, 2017
Can we find a elegant way to prove that the $n$-th derivative for $z$ at $z = 0$ of $F(a,b)(z)$ is no less than that of $F(\frac{a+...
- 1,551
1
vote
1
answer
139
views
Compactly supported functions and projections
Let $\Omega$ be an open subset of $\mathbb{R}^n$ and take a family of continuous compactly supported functions $f_n$ on $\Omega$ normalized to one (in the $L^2$ sense).
Then, these functions span a ...
- 36
4
votes
1
answer
1k
views
The convolution of a $L^1$ function and an approximate identity
It is well known that the convolution of a $L^1$ function and a Schwartz function is also in $L^1$, by Young's inequality for convolution. Let $f\in L^1(\mathbb{R}^n)$ and $\phi\in S(\mathbb{R}^n)$, ...
- 3,146
0
votes
1
answer
110
views
Number theory for operator bound
Let $\gamma_i$ be such that for even $i$ $\gamma_i=1$ and for odd $i$ $\gamma_i$ shall have absolute value $1$ and the product of all of the odd ones is also on the complex unit circle but not 1 or -1....
- 809
5
votes
0
answers
122
views
How to solve this operator equation numerically?
I would like to know how one solves Sturm-Liouville problems on $(0,\infty)$ NUMERICALLY for the eigenvalues that are of the form
$$-f''(x)+\frac{1}{\sinh(x)^2}f(x)=\lambda f(x).$$
So even if there ...
- 501
7
votes
1
answer
624
views
Expectation involving maximum of Gaussian variables
Let $X\sim N(0, I_d)$ be a $d$-dimensional Gaussian random vector. Let $W_1, \ldots, W_k \in \mathbb{R}^d$ be $k$ fixed vectors in general positions. It is clear that $w_i^\top X, \ldots, w_k^\top X$ ...
1
vote
1
answer
262
views
Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)
Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
- 16.5k
4
votes
1
answer
725
views
Eigenfunction of Laplacian
On $L^2(\mathbb{R}^n)$ it is true that $\Delta$ has $\sigma(\Delta)=(-\infty,0].$ Also, there are no eigenfunction. Yet, even if one would not know this, negativity $\langle \Delta u,u \rangle \le 0$ ...
- 23k
1
vote
1
answer
175
views
Stochastic operator on $\ell^1$ has dense range
Let $P:\ell^1(\mathbb{Z}^d) \rightarrow \ell^1(\mathbb{Z}^d)$
be given by
$$(Pz)(x)=\sum_{y \tilde \ x} \frac{1}{2d} z(y)$$
where the tilde indicates that $y$ is a neighboured vertex of $x.$
I ...
- 109k
5
votes
1
answer
669
views
Compact operators on $\ell^1$
Let $T$ be a compact symmetric operator on $\ell^2$ and $T\vert_{\ell^1}$ be bounded on $\ell^1$. Are there any non-trivial conditions that $T\vert_{\ell^1}$ is compact as well (for example would $T$ ...
- 18.7k
4
votes
1
answer
225
views
Multivariate Zero-Bias Transform
The zero-bias transform for a univariate random variable $W$ is defined as a random variable $W^*$ satisfying
\begin{align}
\mathbb{E} [ W \cdot f(W )] = \mathbb{E} [ f' (W^*)]
\end{align}
for any ...
CommunityBot
- 1
1
vote
0
answers
124
views
Inequality about the Fourier transform: $\Vert u \Vert_{L^k} \le \Vert \mathcal{F}(u) \Vert_{L^m}$ (where $1 \le m \le 2$ and $m,k$ Holder conjugates)
How can I prove the following inequality about the Fourier transform?
$$\Vert u \Vert_{L^k(\mathbb{R}^N)} \le \Vert \mathcal{F}(u) \Vert_{L^m(\mathbb{R}^N)}$$ for $1 \le m \le 2$ and $m,k$ Holder ...
CommunityBot
- 1
5
votes
2
answers
980
views
Symbol of the Laplace-Beltrami on $\mathbb{S}^2$
This question is about how the principal part (or symbol) is defined on a manifold?-I assume that the answer is: As in $\mathbb{R}^n$ using local coordinates, i.e.
A differential operator $P=\sum_{|\...
- 26.3k
0
votes
1
answer
268
views
Linear operator has one-dimensional kernel
Let $S_{\lambda}$ be a family of linear bounded operator on $L^2(\mathbb{R}^n)$ depending on some parameter $\lambda$, I have recently encountered several problems that dealt with the question whether ...
- 386
4
votes
0
answers
349
views
Fractional integral inequality (Hardy-Littlewood-Sobolev)
I am investigating the following integral
\begin{equation}
I^*(x) = \int_{\mathbb{R}} \frac{f(y) \ln |y-x| }{|y - x|^{\mu}} \, dy
\end{equation}
where $f \in L_p(\mathbb{R})$, $ 1 < p < q <...
2
votes
0
answers
86
views
when is the average of a function with Gaussian inputs bounded away from zero
Define a function $\phi(x):\mathbb{R}\rightarrow\mathbb{R}$. Consider the expected value function defined as follows
\begin{align*}
\mu(\beta)=E[g\phi
(\beta g)]\quad with \quad g\sim\mathcal{N}(0,1)\...
- 363
1
vote
1
answer
294
views
A problem about the quotient space of an extended Dirichlet space
Let $(\mathscr{E},\mathscr{F})$ be a recurrent Dirichlet form on $L^2(X;m)$ and $\mathscr{F}_e$ the corresponding extended Dirichlet space, then $1\in\mathscr{F}_e$ and $\mathscr{E}(1,1)=0$. Let ${\...
CommunityBot
- 1
-2
votes
1
answer
158
views
About local maxima of multivariable polynomials
Lets say I have a real valued function which is writable as a polynomial in terms of Frobenius norms of a pair of matrices as in it is of the form, $f_B(A) = f(||A||_F^2, ||AB||_F^2, ||A^TAB||_F^2)$ ...
- 2,246
3
votes
1
answer
151
views
The weakest condition guarantees some Separation-type of convex sets in Banach spaces
Classical Hahn-Banach Separation theorem plays a vital role in many branches of Analysis, Like functional Analysis, Convex Analysis, Variational Analyis, Theory of ODEs, optimal control and ...
- 4,786
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}...
- 24.2k
3
votes
0
answers
214
views
Is flatness of Wigner Ville Distribution of error function in Fourier Approximation possible? Is it required?
For a real valued function $f(t)$ I want to check the information left, after taking a Fourier partial sum/integral. Let $\hat{f}$ be its Fourier transform and let $$e_{\omega}(t) = f(t) - \int\...
- 698
9
votes
1
answer
636
views
Is there a characterization of the Hausdorff measures?
It is known that there is a unique measure on the Borel $\sigma$-algebra of $\mathbb{R}^n$ such that the measure of the rectangle $\prod_i [a_i,b_i[$ is $\prod_i (b_i-a_i)$. This is the Lebesgue ...
- 702
10
votes
1
answer
3k
views
Trace of integral trace-class operator
I have seen many answers to the converse question (which seems to be difficult in general), but I would like to ask the following:
Let $T: L^2 \rightarrow L^2$ be a trace-class operator that is also ...
- 109k
7
votes
1
answer
489
views
When the value of a function in a point is equal to its integral average over the point's neighborhood?
It is well-known that the harmonic functions have this remarkable Averaging Property: if $f$ is harmonic in a domain $U \subset R^n$, then, for any point $x \in U$, $f(x)$ is equal to the integral ...
- 91
1
vote
0
answers
76
views
Which sets support which spectra?
I know (and this is of course rather elementary) that an isolated point in the spectrum of a self-adjoint operator $T$ always belongs to the point-spectrum.
I would like to ask: Are there similar ...
- 173
3
votes
1
answer
530
views
Spectrum of self-adjoint operator
As a non functional analyst, I stumbled over the following question:
Given a self-adjoint Operator $T:D(T) \subset H \rightarrow H.$ Assume we know that $T$ has some eigenvalue $\lambda$ which is ...
- 5,005
0
votes
1
answer
151
views
A Bi-Lipschitzian application
We say that $\Omega$ is a star-shaped domain (with respect to the origin) of $\mathbb R ^n$ if :
$$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x \right \|})\}\; \...
CommunityBot
- 1
1
vote
0
answers
182
views
The real method of interpolation and operator ideals
Let $\overline{A} \mbox{ and } \overline{B}$ be n+1-tuples of Banach spaces and $T:\overline{A}\rightarrow \overline{B}$ be an interpolation operator; let $J(\overline{A})$ and (the corresponding, ...
6
votes
2
answers
881
views
Summation of bounded sequences
Let $b_{n,j}\in \mathbb{C}$ for each $n,j\in \mathbb{N}$. I was wondering if there is some characterization of those $b_{n,j}$ such that for all bounded sequences $s_j\in \mathbb{C}, j\in \mathbb{N}$, ...
- 24.2k
9
votes
1
answer
570
views
Elements of $L^p$ and nice representatives of equivalence classes
Considering $L^p$ $( 1 \leq p < \infty)$ as a normed vector space, each element of $L^p$ is actually an Equivalent class. Take $[f] \in L^p $ as an Equivalent class, What is the Nicest possible ...
- 369
2
votes
2
answers
111
views
points separation and dimensions [closed]
Suppose $\mathcal{A}$ is a sub-algebra of $C([0,1],\mathbb{R})$.
If $\mathcal{A}$ separates points in $[0,1]$, does it follow $\dim\mathcal{A}=\infty$?
- 577
0
votes
0
answers
81
views
Differential operator and equivalence
Here is the problem:
I have a certain PDE and there is the nonlinear terme $h$, I have as data:
$f \in H_0^2(0,L)$,,,$g \in {H^1}(0,L)$ with ${g_x}(0) = {g_x}(L) = 0$
Now on consider the fnction $$h(...
- 617
11
votes
1
answer
767
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 ...
- 4,713
5
votes
2
answers
840
views
Decompostition of a Lipschitz domain
We say that $\Omega$ is a strongly star shaped domain (with respect to $0$ for example) in $\mathbb R ^n$ if:
$$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x\right \...
- 4,713
1
vote
0
answers
186
views
Using continuity + commutativity to define "limit"
Let $S$ be the set of real sequences, and $S_0\subset S$ be the set of convergent real sequences. For each $f:\mathbf R\to\mathbf R$, we define $\bar{f}:S\to S$ by $$\bar{f}(\{x_n\})=\{f(x_n)\}.$$
It ...
- 1,630
2
votes
0
answers
136
views
To find a positive function with compact spectrum
Let
$e_1=(0,1)^T$,
$$
S=\left\{x\in \mathbb{R}^2\Big| \frac{|\langle x, e_1\rangle|}{|x|}>\delta>0\right\},
$$
is a cone in $\mathbb{R}^2$.
I want to find a non-trivial smooth function ...
- 29
2
votes
1
answer
186
views
Equivalence of definitions of the space of test functions
Let $\Omega\subseteq\mathbb{R}^n$ be some nonempty open, and use the notation $U\Subset V$ to imply that $U$ is a compact subset of $V$. Then, for all $K\Subset\Omega$, we can define the space $$\...
- 23k
3
votes
1
answer
228
views
The sheaf of generalized functions on compact subsets
For $K\subseteq \mathbb{R}^d$ compact, let $C_{\mathrm{c}}^{\infty}(K)$ denote the space of smooth functions on (an open neighborhood of) $K$ with compact support contained in $K$ with the usual ...
- 16.5k
5
votes
1
answer
219
views
Uniqueness from orthogonality relation?
This question was posted yesterday on MathOverflow by Michael Smith and received a number of upvotes. I too think the question was interesting. However, for some unknown to me reasons, it has been ...
- 53.3k
0
votes
2
answers
319
views
Fixed point theorem that does not require the hemi-continuity of the set valued map?
All of the fixed point theorem I have seen (like Kakutani and Brower, Browder) required the set valued map to be hemi-continuous (lower). Is any fixed point theorem that can assure the existence of ...
CommunityBot
- 1
3
votes
1
answer
146
views
Radial Kernel with Bounded Support and Norm of Gradient Bounded by a Dimension-free Constant
I was wondering if it is possible to construct a compactly supported radial kernel function in $\mathbb{R}^d$ such that the norm of the gradient is bounded by some dimension-free constant. That is, ...
CommunityBot
- 1
3
votes
0
answers
63
views
Is the collection of Schur convex functions sequentially compact?
We know in ROCKAFELLAR's convex analysis chap 10 that the collection of uniformly bounded convex functions on compact set is sequentially compact. I wonder if it is still true for the collection of ...
- 185
2
votes
0
answers
269
views
Implicit Function Theorem, parametrized - how can we get uniform domains? (from math.se)
(This question is a duplicate from here)
Consider a family of continously differentiable functions $F_r\colon\mathbb{R}\times\mathbb{R}\to\mathbb{R}$ (where $r\in[0,1]$). For every parameter $r$, we ...
- 141
1
vote
0
answers
105
views
Generalize characterization of upper semicontinous functions
Let $X$ be a metric space and denote $f:X \rightarrow \mathbb{R}.$
It is easy to show that the following two statements are equivalent:
$(1)$ For any real number $c$, we have $f^{-1}(-\infty,c)$ is ...
- 623