All Questions
10,935 questions
0
votes
1
answer
281
views
Roots of linear combination of $x \sin x$
Let $\theta=(\theta_1,\theta_2,\cdots \theta_n)$, and $a_{ij}$ are constants. There is no condition on the positiveness of $a_{ij}$.
Under which condition on $\theta$, such that the following function ...
- 405
2
votes
1
answer
159
views
To which space does the derivative of a function in Fock space belong?
Let $f : \mathbb C \to \mathbb C$ be an entire function belonging to the Fock space $F_\alpha^2$, that is,
$$
\int_\mathbb{C} |f(z)|^2 e^{-\alpha|z|^2} \, dA(z)
$$
with $A$ the Euclidean are measure. ...
- 127
7
votes
1
answer
329
views
A geometric interpretation of the fractional Fourier transform
I was reading Joe Polchinsky’s autobiography which contains the following anecdote from his time at Caltech (page 18):
Once a week, Feynman led Physics X, where freshman and sophomores could ask ...
- 71
8
votes
2
answers
905
views
Continuous linear functionals and the Axiom of Choice
Can one prove without the Axiom of Choice that for every normed vector space $X$ there exist a nonzero continuous linear functional on $X$?
- 935
5
votes
1
answer
1k
views
Analytic functions where all derivatives vanish at infinity and which are bounded
Let $C_0(\mathbb{R})$ denote the analytic functions $f : \mathbb{R} \rightarrow \mathbb{R}$.
I wonder whether there a functions $f \in C_0(\mathbb{R})$ with $f \neq 0$, such that there is a constant $...
- 749
23
votes
4
answers
4k
views
Most general definition of differentiation
There are various differentiations/derivatives.
For example,
Exterior derivative $df$ of a smooth function $f:M\to \mathbb{R}$
Differentiation $Tf:TM\to TN$ of a smooth function between manifolds $f:...
- 361
12
votes
2
answers
1k
views
A variation of the Ryll-Nardzewski fixed point theorem
Is there a fixed-point theorem that implies the following result?
Let $F$ be a nonempty convex set of functions on a discrete group with values in $[0,1]$. Suppose $F$ is invariant with respect to ...
- 45k
0
votes
1
answer
138
views
Smoothness of a Hilbert space under an equivalent norm
Let us take the Hilbert space $l_2$ with an equivalent norm
$\Vert x \Vert = \max \{2 \Vert x \Vert_1, \Vert x \Vert_2 \}$, where $\Vert x \Vert_1 =( \sum_{n=2}^\infty x_n^2 )^{\frac{1}{2}}$ and $\...
- 85
1
vote
1
answer
314
views
Question on possibility of uniquely defining the FRFT via certain properties
I was working around with the fractional Fourier transform (FRFT) when the mathematics undergrad found out, by brute-force computations, that the derivative of the FRFT with respect to the parameter ...
- 286
16
votes
2
answers
1k
views
How to generalize the various vector calculus theorems to distributions?
Here is a list of vector calculus identities; in the proof of these identities, we all assume that these functions are $𝐶^𝑘$ in an open set, and we usually use these identities to calculate ...
- 415
-4
votes
1
answer
145
views
Coordinate free computation of the second derivative of a functional [closed]
Let $F(g(f))$
be a functional that sends functions of a vector variable (from $n$-dimensional vector space) to $\mathbb R$.
$g$
is some function of scalar valued functions $f$.
I'm interested in a ...
- 1
0
votes
0
answers
168
views
Completely continuous maps from projective tensor products into $c_0$
Let $E$, $F$ be two Banach spaces and $E\mathbin{\hat{\otimes}}_{\pi}F$ denote their projective tensor product.
For each unit norm $\xi\in E$ and $\gamma\in F$, let's define
$$
J_{\gamma}:E\to E\...
- 2,605
6
votes
2
answers
336
views
On frequency decay of an integral transform of a function
Suppose $f \in C^{\infty}_c((-1,1))$ and assume that there exists constants $a,b>0$ such that
$$
\bigg|\int_{\mathbb R} f(t) \,e^{\tau t^2+i\tau t}\,dt\bigg| \leq a\,e^{-b|\tau|},$$
for all $\tau \...
- 4,153
0
votes
0
answers
132
views
Compact embedding of $H^1(0,+\infty)$
Is the following embedding compact ?
$$H^1(0,+\infty) \rightarrow L^p(0,+\infty), \text{ with } p>1 $$
- 29
3
votes
1
answer
193
views
Characters of algebra of Schwartz functions
Consider the (non-unital) $\mathbb{C}$-algebra (point-wise multiplication) of $\mathcal{S}$ of Schwartz functions on $\mathbb{R}$.
Question: Does there exist some character (non-zero multiplicative ...
- 960
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
13
votes
1
answer
461
views
Does locally nilpotent imply nilpotent for continuous self-maps of intervals?
Let $f\in C([0,1],[0,1])$ be such that:
$$\forall x\in [0,1], \; \exists k\in \mathbb N, \; f^{\circ k}(x)=0.$$
Is it true that $f$ is nilpotent (i.e., that there is some $k$ such that $f^{\circ k}=0$)...
- 4,074
23
votes
2
answers
2k
views
Structures of the space of neural networks
A neural network can be considered as a function
$$\mathbf{R}^m\to\mathbf{R}^n\quad
\text{by}\quad x\mapsto w_N\sigma(h_{N-1}+w_{N-1}\sigma(\dotso h_2+w_2\sigma(h_1+w_1 x)\dotso)),$$
where the $w_i$ ...
- 333
1
vote
0
answers
102
views
If we have $\mu_{xy}$, why can we only construct the spectral measure if $\| \mu_{xy} \| \le \| x \| \|y \|$?
Definitions
Representation
Let $X \subset \mathbb{C}^N$ and $\mathcal{A}$ be an algebra in $\mathcal{C}(X)$. Also, we denote $L(H)$ as the set of all linear operators on HIlbert space $H$.
We call $\...
- 63
1
vote
0
answers
133
views
Infinite dimensional matrix solvability
In order to solve a boundary problem for a conducting hemisphere, the following matrix equation arises (derived from the boundary condition on the curved part of the surface) where we must solve for ...
- 573
1
vote
0
answers
180
views
Applications of hyperbolic polynomials?
The recently posted MO-Q "Positivity of the coefficients of Taylor series associated to the Riemann hypothesis" (see also this MO-Q) has re-kindled my interest in hyperbolic polynomials--...
- 10.5k
2
votes
1
answer
433
views
Density of $w^*$-support points
I am looking for a simple proof of the following theorem — wasn't able to come up with one myself. Should be a use of the Bishop–Phelps theorem, in some way:
Let $X$ be a Banach space, $D \subset X^*$ ...
- 165
7
votes
3
answers
409
views
Are nearby subalgebras of matrix algebras conjugate?
Let $k=\mathbb{R}$ or $\mathbb{C}$ and let $A$ be a finite-dimensional $k$-algebra. If $A$ is simple, then the Skolem-Noether theorem says that any two algebra homomorphisms $f, g: A \to M_n(k)$ are ...
- 9,853
5
votes
1
answer
355
views
Real-analytic analogue of Schwartz functions
Consider the space $\mathcal{S}'$ of functions $\mathbb{R}^n\to\mathbb C$ that are (real-)analytic and with exponential decay at infinity. This is an analogue of Schwartz space, but real-analytic ...
- 53
5
votes
1
answer
425
views
Positiveness of the largest Lyapunov exponent
Let $\alpha\in \mathbb{R} / \mathbb{Q}$, let $A(x)$ be the $2$-by-$2$ matrix
$$
A(x)=\begin{pmatrix}
\dfrac{1}{{\lambda}^2}-2 \cos 2\pi x -1& 2\lambda \cos 2\pi x-\dfrac{1}{{\lambda}} \\
\dfrac{...
- 131
19
votes
2
answers
2k
views
Can we take a supremum over all Hilbert spaces?
In my paper On the optimal error bound for the first step in the method of cyclic alternating projections, I defined functions $f_n:[0,1]\to\mathbb{R}$,
$n\geqslant 2$, by
$$
f_n(c)=\sup\{\|P_n\dotsm ...
- 935
5
votes
2
answers
245
views
An optimization problem: $\Phi(0)$, $\widehat{\Phi}(0)$, $\Phi$ a majorant
(This is a problem that arose from my own answer to Mean value theorem for Dirichlet series - optimize? )
Let $\Phi:\mathbb{R}\to \mathbb{R}$ be a real-valued, symmetric, non-negative function such ...
- 20.2k
14
votes
1
answer
663
views
The first case of the strong Littlewood conjecture
Let $A$ be a set of $n$ integers and consider the quantity:
$$\int_{0}^1 \left| \sum_{a \in A} e^{2\pi i a x} \right|dx. $$
The (now solved) Littlewood conjecture is the claim that this quantity is ...
- 13k
11
votes
5
answers
801
views
Colimits in the category of (not necessarily locally convex) topological vector spaces
Do colimits in the category of (not necessarily locally convex) topological vector spaces (over R, C, respectively) exist in general?
If no, is there a well-known condition of when they exist?
If ...
- 419
0
votes
1
answer
156
views
Finding weak LUR property of $C[0,1]$ with an equivalent norm
On the space $X=C[0,1]$, define a norm $||| f |||^2=\Vert f \Vert_{\infty}^2 + \Vert f \Vert_2^2$, where $\Vert \cdot \Vert_\infty$ is the sup norm on $C[0,1]$ space and $\Vert \cdot \Vert_2$ is the $...
- 85
3
votes
1
answer
148
views
positive functional on Banach *-algebra (with appro. identity) is continuous?
Theorem (N. Th.Varopoulos): Let $\mathcal{B}$ be a Banach *-algebra
with a bounded approximate identity. Then every positive functional $T$ on $\mathcal{B}$ is continuous.
I think this theorem is ...
- 325
3
votes
1
answer
500
views
Spectral Radius and Spectral Norm for Markov Operators
My question concerns differences between the spectral radius $\rho$ and norm $\| \cdot \|$ of Markov operators in infinite-dimensional Banach spaces. This is far from my area of expertise, that is ...
- 560
2
votes
0
answers
155
views
Regularity of a weak solution to an elliptic PDE with mixed boundary condition
I have a question on the regularity of a weak solution to an elliptic PDE with mixed boundary condition.
Let $\alpha \in (0,1]$ and let $D$ be a bounded $C^{1,\alpha}$-domain. Let $x \in \partial D$ ...
- 721
1
vote
1
answer
113
views
Is $I-S$ in my attempt of Fredholm alternative injective?
Let $E$ be a Banach space. Let $\mathcal K(E)$ be the space of all compact (bounded linear) operators from $E$ to $E$. For a linear map $T$, we denote by $R(T)$ its range and by $N(T)$ its kernel. Let ...
- 657
11
votes
1
answer
428
views
Maximal ideals of the ring $\mathbb C \{T\}$
Consider the Banach $\mathbb C$-algebra
$$
\mathbb C \{T\} = \left\lbrace \sum_{i \geq 0} a_i T^i : \sum_{i \geq 0} |a_i| < \infty \right\rbrace
$$
With the norm given by $\| \sum a_i T^i\| = \sum |...
0
votes
0
answers
96
views
Closed formula for Laguerre
Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$.
Assume $0<\beta<1$. Is there a closed formula for this sum
$$\sum^\infty_{j=0} \frac{1}{(b+j)^{1-\beta}}L^{m}_j(x)$$
where $b>0$ and $...
- 531
0
votes
1
answer
135
views
When integrating by part produces a singularity
I'm currently interesting in the following operator:
$$O[f](x):=f(x)-2xe^{x^2}\int_x^{+\infty}dt \, e^{-t^2} f(t)$$ for all $x\in\mathbb{R}$ and $f$ smooth and decaying at infinity fast enough with ...
- 41
2
votes
0
answers
102
views
Fourier expansion of random functions
Consider a random mapping $f:\{0,1\}^n \to \{0,1\}^n$, .i.e, a function such that for each $x \in \{0,1\}^n$, $f(x) \in \{0,1\}^n$ is chosen uniformly at random.
My question is what would the fourier ...
- 121
0
votes
1
answer
247
views
Riemann-Liouville integral of $f$ is zero implies $f =0$ a.e
The Riemann-Liouville integral is defined by
$$
I^\alpha f(x)=\frac{1}{\Gamma(\alpha)} \int_a^x f(t)(x-t)^{\alpha-1} d t
$$
where $\Gamma$ is the gamma function and $a$ is an arbitrary but fixed base ...
- 141
0
votes
0
answers
417
views
Spectral theorem for commuting operators
Let $A_{1},...,A_{n}$ be densely defined self-adjoint operators on a separable Hilbert space $\mathscr{H}$. Suppose these have a common dense domain $D\subset \mathscr{H}$ and satisfy commutation ...
- 3,535
3
votes
1
answer
209
views
Must solutions to the time-independent Schrodinger equation that have discrete or negative eigenvalues be square-integrable?
This is a very straightforward question (although the answer may not be!) about a ubiquitous textbook physics situation. I assume that the answer is probably well-known, but I asked it on both Math ...
- 1,311
1
vote
0
answers
82
views
Injective envelopes of 1-extensible spaces
Please read this post as a naive follow up on a previous question.
Let $X$ be a Banach space and let $(I(X),\alpha)$ denote its injective envelope (e.g., CohenLacey1969). A low hanging fruit is the ...
- 2,605
0
votes
1
answer
102
views
Limit of minimizers of a class of functionals
Assume that $ \Omega $ is a smooth bounded domain in $ \mathbb{R}^n $. Consider a functional
$$
\mathcal{F}(u)=\int_\Omega(|\nabla u|^2+h^{-1}|u-u_0|^2) \, dx
$$
where $ h>0 $ is a parameter and $ ...
- 1,219
3
votes
0
answers
151
views
Reference request: trace norm estimate
In a paper I am currently reading, the author uses that if $T$ is an operator given by the kernel $$T(x,y) = \int_{\mathbb R} p(x,z) q(z,y) dz,$$
then $$\lvert \operatorname{tr} T \rvert \leq \lVert T ...
- 101
2
votes
1
answer
103
views
Is $B \cap L^2\big( (0,T) \times (0,1)\big)$ closed in $L^2\big( (0,T) \times (0,1)\big)$?
I need help proving that the set $B \cap L^2\big( (0,T) \times (0,1)\big)$ is a closed subset of $L^2\big( (0,T) \times (0,1)\big)$, where $B$ is defined as:
$$B=\Big\{x \in L^{\infty}\big(0,T;L^1(0,1)...
- 55
0
votes
1
answer
123
views
$\|\hat{f}\|_{L^q}< \infty \implies \left\| \|\chi_{n+(-1/2, 1/2]} \widehat{f}\|_{L^p_{\xi}} \right\|_{\ell^q_n}<\infty $
Suppose that support of $f:\mathbb R \to \mathbb R$ is compact set $K\subset \mathbb R.$ Assume that $ \int_{\mathbb R} |\widehat{f}|^q d\xi <\infty.$ ($\widehat{\cdot}$ denote the Fourier ...
- 325
0
votes
1
answer
414
views
What functions are equal to their symmetric decreasing rearrangement?
I am trying to understand the set
$$\mathcal{A}=\{f:f\text{ non-negative, measurable}, \text{vanishes at infinity and } f(x)=f^*(x)\}$$
where $f:\mathbb{R}^n\to \mathbb{R}$ is vanishing at infinity if ...
- 537
10
votes
2
answers
490
views
Surjective linear isometries on $\ell_\infty(\mathbb{N})$
In Volume 1 of "Classical Banach Spaces" Lindenstrauss and Tzafriri note that all surjective linear isometries on $\ell_\infty$ are of the from $(a_i) \mapsto (\varepsilon_i a_{\pi(i)})$ ...
- 1,073
1
vote
0
answers
164
views
Reference on spectral theory of self-adjoint operators
I am reading this paper on comparing different moments of independent random variables. A initial step in their approach is designing an operator $L$ over smooth functions (and extended to an self ...
- 13
0
votes
1
answer
150
views
The asymptotic behaviour of a singular integral
Given $0<\alpha, \beta<1$, $a,b>0$, $a^2+b^2<1$.
I am trying to determine the asymptotic behaviour of
$$F(a,b):=\int_{\substack{a/2<x<2a\\\\b/\sqrt{2}<\sqrt{1-x^2}<\sqrt{2}b}}\...
- 852