All Questions
3,841 questions with no upvoted or accepted answers
3
votes
0
answers
187
views
Analogue of Kolmogorov/Arnold superposition for general manifolds?
Previously asked and bountied at MSE with slightly different language:
Given a topological space $\mathcal{X}$, let $$\mathsf{Cl_C}(\mathcal{X})=\bigcup_{n\in\mathbb{N}}C(\mathcal{X}^n,\mathcal{X})$$ ...
- 20.5k
3
votes
0
answers
282
views
Left ideals of $\ell^{\infty}(A)$ containing all weakly null sequences in a Banach algebra $A$
Let $A$ be a Banach algebra. $\ell^{\infty}(A)$, the space of all bounded sequences in $A$, is a Banach algebra with pointwise operations.
Let $w_0(A)$ be the subspace of all weakly null sequences in $...
- 2,605
3
votes
0
answers
116
views
Multiplier on a Sobolev space
Let $b$ be a function and $W^{1,2}$ the first-order Sobolev space on some Euclidean space (edit: so the whole space, but in arbitrary dimension, although $d=1$ would be interesting for me for the ...
3
votes
0
answers
80
views
Every Borel linearly independent set has Borel linear hull (reference?)
I am looking for a reference to the following fact, which probably is known and could be proved somewhere by someone.
Theorem. The linear hull of any linearly independent Borel set in a Polish ...
- 42k
3
votes
0
answers
74
views
Simple-looking inequality for Fourier series
I am looking for a reference (and possibly some history) for the following inequality for finite sums of complex exponentials.
Let $+\infty>b>a>-\infty$. There exists some constant $C>0$ ...
- 309
3
votes
0
answers
120
views
Approximation of a linear functional by linear continuous functionals
Let $X$ be a locally convex space, $T$ a balanced convex compact set in $X$, and $f:X\to\mathbb{C}$ a linear functional which is (not necessarily continuous on $X$, but) continuous on $T$. It is not ...
- 7,426
3
votes
0
answers
320
views
Does convolution by a Schwartz function preserve symbol classes?
I am working on a problem involving pseudodifferential operators, and I need a property of the operator "convolution by a Schwartz function". I apologize in advance if the question is ...
- 395
3
votes
0
answers
154
views
What do people call functionals on holomorphic functions and on polynomials?
There are four most important functional spaces in analysis:
the space $\mathcal{C}(M)$ of continuous functions on a topological space,
the space $\mathcal{E}(M)$ of smooth functions on a smooth ...
- 7,426
3
votes
0
answers
480
views
de Rham currents/distributions on manifolds with boundaries
My main source for currents and distribution theory on manifolds in general is de Rham's Differentiable Manifolds. To recap, let $M$ be a smooth, $m$ dimensional real manifold without boundary. De ...
- 3,307
3
votes
0
answers
292
views
Are smooth functions with compact support a core for the Laplacian on compact manifolds with boundary?
If $M$ is a complete Riemannian manifold and $L$ is the Friedrichs extension of the Laplacian $-\Delta$, then it is known (first proven by Gaffney in the '50) that $C_0 ^\infty (M)$ is a core for $L$. ...
- 5,407
3
votes
0
answers
284
views
Injectivity of the convolution operator $f \mapsto (k*f(s))_{s \in S}$ via sampling at $S=\alpha \mathbb Z$
Let $S \subset \mathbb R$ be a set of sampling points, say $S = \alpha \mathbb Z, \alpha >0$.
Let $k$ be some convolution kernel and $A$ the operator which maps some $f$ to the sequence
$$
Af = (k*...
- 437
3
votes
0
answers
198
views
Geometric characterisation of polynomials between normed spaces
Let $(X, \| \cdot \|_X)$ $(Y, \| \cdot \|_Y)$ be normed space. A function $f \colon X \to Y$ shall be called an $n$-th degree (single variable) polynomial ($n \in \mathbb{N}\cup \{ 0\})$ if there ...
- 820
3
votes
0
answers
216
views
The Fourier transform of a compactly supported smooth function on Lie groups over $\mathbb{Q}_S$, where $S$ contains finitely many primes and $\infty$
Let $G$ be a semisimple Lie group defined over global Field $\mathbb{Q}$. Let $S$ be a set of finitely many non-Archimedean places including Archimedean places. Let $P_{0}=M_{0}A_{0}N_{0}$ be the ...
- 31
3
votes
0
answers
285
views
Extending Ky Fan's eigenvalues inequality to kernel operators
--Migrating from MSE since it might fit better here--
Base result
The following result in Terry Tao's book, 'p. 47, Ky Fan inequality' reads as:
$$\sum_i\lambda_i(A+B) \leq \sum_i \lambda_i(A) + \...
- 255
3
votes
0
answers
96
views
A sequence of functions solving $-\Delta u_n + V u_n = u_{n-1}|_{\partial M}$
Let $M = \mathbb R^3 \setminus B_1$ where $B_1$ is the unit ball.
Let $ h \in C^{\infty}(\partial M)$ and let $u_0$ be the unique function that vanishes at infinity and solves
$$\begin{cases} -\Delta ...
- 969
3
votes
0
answers
145
views
Density of invariant measure of stochastic differential equation
I have a question: is it possible that an SDE has a "nice" density, but its invariant measure does not have a "nice" density? I asked this question at math.stackexchange but ...
- 931
3
votes
0
answers
164
views
Extension of normal vector field to a domain
Let $\Omega \subset \mathbb R^3$ be a bounded regular simply connected domain contained in a ball $S$. Assume also that $\Omega$ is simply connected by surfaces (i.e. every regular closed surface ...
- 31
3
votes
0
answers
106
views
Convergence of Schrödinger ground states in $L^p$ for $p\neq 2$
Suppose that $H=-\Delta+V$ is a Schrödinger operator with a unique ground state $\psi$. Suppose that $H_n=-\Delta+V_n$ is a sequence of operators such that $V_n\to V$ in some sense as $n\to\infty$ (...
- 891
3
votes
0
answers
159
views
Does the weak formulation of a parabolic PDE applies to a (good) non-test function?
Let $\rho:\mathbb R^d\times[0,\infty)\to(0,\infty)$ such that $\int \rho_t(x)\,dx=1$ for all $t\geq0\,$, $\rho$ is Holder-continuous (in both variables) and $\rho_t\in W^{1,1}(\mathbb R^d)$ for a.e. $...
- 311
3
votes
0
answers
193
views
Fermat's Last Theorem (FLT) in standard model space corresponding to an infinite Blaschke product
Let $u$ be an inner function and denote by $H^2$ the Hardy space on the open unit disc D. A model space $K_u$ associated to $u$ is a Hilbert space of the form $K_u=(uH^2)^⊥$ where ⊥ denotes the ...
3
votes
0
answers
177
views
Truncation on $H^\infty(\mathbb{D})$ vs $H^\infty(\mathbb{D}^2)$
$\newcommand{\D}{\mathbb{D}}$
Let $H^\infty(\D)$ be the space of bounded analytic functions in the unit disc $\D$. For a function $f(z) = \sum_{n=0}^\infty a_nz^n$ we can define its truncation as
$$...
- 6,486
3
votes
0
answers
775
views
The exponential derivative operator
Thank you very much for the interesting responses in my previous question The Quotient exponential operator.
I have another complicated formula related to the previous one in the following
$$
\exp\...
- 159
3
votes
0
answers
56
views
On Sobolev's inequality for weakly conformal maps
Suppose $u\in W^{2,p}(B^2,\mathbb{R}^n)$, $1<p<2$, is weakly conformal, that is
$$|u_x|=|u_y|,\quad u_x\cdot u_y=0$$
for almost every $(x,y)\in B^2$. Here $B^2$ is the unit open ball in $\mathbb{...
- 31
3
votes
0
answers
239
views
How to prove the following the set are equal
Let $D$ be an open convex subset of $\mathbf R^d$ with boundary $\partial D$ and closure $\overline D$.
For $x\in\mathbf R^d$ and a unit vector $e$ let $L_{x,e}=\{x+\lambda e, \lambda\ge0\}$ be the ...
- 165
3
votes
0
answers
121
views
Schatten norm estimate of spatially truncated resolvent of Laplacian
Consider the operator $-\Delta$ on $L^2(\mathbb R^d)$. In my studies I stumbled upon operators of the form
$$1_{\Gamma_n} (-\Delta -z)^{-1} 1_{\Gamma_m},$$
where $1_{\Gamma_m}$ denotes multiplication ...
- 91
3
votes
0
answers
150
views
Is there any injective mapping from smooth functions on closed interval to smooth functions on circle? Motivated by signal processing
One advantage of Discrete Cosine Transform (DCT) over Discrete Fourier Transform (DFT) is that DCT maps any "continuous" signal defined on interval to a continuous one defined on circle.
I ...
- 1,615
3
votes
0
answers
38
views
Do higher-order splines with Lipschitz derivatives exist on finite sets?
Fix $k\in \mathbb{N}^+$ and let $E=(e_i,f_i)_{i=1}^I\subset \mathbb{R}^n\times \mathbb{R}^m$ be a non-empty finite set with $e_i\neq e_j$ whenever $i\neq j$.
If $n=m=1$ then it's easy to see that:
$$
...
- 5,405
3
votes
0
answers
201
views
Eigenvalue estimates for kernel integral operator for Laplace kernel on unit-sphere in high-dimensions
Let $d$ be a large positive integer and let $S_{d-1}$ be the unit-sphere in $\mathbb R^d$ and let $K_\gamma:S_{d-1} \times S_{d-1} \to \mathbb R$ be defined by $K_\gamma(x,x') = e^{-\|x-x'\|_2^\gamma}$...
- 6,853
3
votes
0
answers
274
views
Density of signed measures in dual space
Let $B$ be a Banach space of functions on a Radon space $X$. By the Hahn-Banach theorem, we know that the canonical evaluation map is isometric. That is, for every $f \in B$, we have
$$\|f\| = \sup_{\...
- 103
3
votes
0
answers
462
views
Analytic formula for the eigenvalues of kernel integral operator induced by Laplace kernel $K(x,x') = e^{-c\|x-x'\|}$ on unit-sphere in $\mathbb R^d$
Let $d \ge 2$ be an integer and let $X=\mathcal S_{d-1}$ the unit-sphere in $\mathbb R^d$. Let $\tau_d$ be the uniform distribution on $X$. Define a function $K:X \times X \to \mathbb R$ by $K(x,y) := ...
- 6,853
3
votes
0
answers
138
views
Property $(V_1)$ for Banach spaces
This aim of this note is to record a problem that still seems to be open.
Räbiger, in his doctoral thesis, defined property $(V_1)$ as follows: A Banach space $X$ has property $(V_1)$ if every ...
- 2,605
3
votes
0
answers
181
views
Variational problems living in two different Sobolev spaces
Is there a general reference concerning variational problems living in $W^{h,p}\times W^{k,p}$, with $h, k\in\mathbb{N}_0$ not coinciding? I'm thinking to problems of type:
$$\inf_{u,v}\int_{\Omega} ...
- 4,459
3
votes
0
answers
69
views
Non-closed trajectories in convex billiards
This is a weak version of this problem, written down in Lviv Scottish Book.
I start with necessary definitions.
Let $K=-K$ be a centrally symmetric compact convex body in the Euclidean space $\mathbb ...
- 42k
3
votes
0
answers
115
views
Linearized NLS/GP around a soliton and the spectrum of the evolution operator
I apologize if this has been asked before but so far I haven't found it anywhere.
Consider the Nonlinear Schrödinger equation with a potential (i.e. Gross- Pitaevskii) in $\mathbb{R}^{d}$
$$i\Psi_{t} =...
- 31
3
votes
0
answers
182
views
Parabolic regularization for the Navier-Stokes equations
I'm looking for some references about a result on the Navier-Stokes equations which seems to be folklore but for which I didn't manage to find a proof. The setting is the following :
Let $Q=\mathbb{R}^...
- 161
3
votes
0
answers
111
views
Infinite ordered products (reference request)
While writing arXiv:1510.05757v2, I found myself proving some basic facts about products of Banach algebra elements over an infinite totally ordered set. (Statements and proofs are in Appendix C.) The ...
- 2,284
3
votes
0
answers
202
views
'Local' commutativity of self-adjoint operators
Preamble
Two (unbounded) self-adjoint operators $A, B$ on a Hilbert space $\mathcal{H}$ are said to (strongly) commute if the unitary groups they generate commute or equivilantely if all the ...
- 131
3
votes
0
answers
322
views
Heat equation damps backward heat equation?
In a previous question on mathoverflow, I was wondering about the following:
Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions. ...
- 536
3
votes
0
answers
117
views
Clarification about extensions of Ornstein-Uhlenbeck operator
I am reading stuffs regarding the Ornstein-Uhlenbeck operator and its various extensions to $L^p(\gamma)$, with $p \in (1,+\infty)$ and with $\gamma$ the standard Gaussian measure on $\mathbb{R}^d$. ...
- 778
3
votes
0
answers
104
views
Regular Lagrangian flows on a domain of $\mathbb{R}^d$ with a boundary
I'm looking for some references about the theory of regular Lagrangian flows on a smooth domain $\Omega$ of $\mathbb{R}^d$ (say a smooth bounded open set of $\mathbb{R}^d$ or a half space).
Here, ...
- 161
3
votes
0
answers
246
views
Regularity of the dependence of the flow on the vector field definining it
Let $M$ be a smooth compact manifold and $k \geqslant 1$.
Define $\mathfrak{X}^k(M,TM)$ to be the set of vector fields $M \rightarrow TM$ of class $C^k$. As $M$ is compact, endowing $\mathfrak{X}^k(M,...
3
votes
0
answers
60
views
Existence, Uniqueness, and "ODE Characterization" of Minimizers for Variational Functionals from Large Deviations
A [classical result][1] of E. Lieb is that the functional
$$\mathcal E(\phi):=\int_{\mathbb R^3}|\nabla\phi(x)|^2~dx-\int_{(\mathbb R^3)^2}\frac{|\phi(x)|^2|\phi(y)|^2}{|x-y|}~dx~dy$$
for $\phi\in W^1(...
- 891
3
votes
0
answers
102
views
Pettis vs. Dunford integrability of operator valued functions
Given a Banach space $X$ and a measure space $(\Omega ,\mu )$, one says that a function
$$
f:\Omega \to X
$$
is Dunford integrable, or scalarly integrable if, for every $\varphi $ in the ...
- 2,263
3
votes
0
answers
467
views
Opposite of the curl operator and Biot-Savart kernel
Note: I just realized that using $\omega$ and $w$ might not have been the smartest choice of notation -- Sorry about that.
Let $\renewcommand{\div}{\operatorname{\div}}Q_0, Q_1$ be two real numbers, $...
- 1,326
3
votes
0
answers
198
views
Dirichlet to Neumann operator and the Riesz transform
Consider the manifold $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball. Equip $M$ with an asymptotically flat metric $g$ of high order. Let $\gamma$ be the induced metric on $\partial M$....
- 969
3
votes
0
answers
233
views
Sequence unifomly bounded
Let $f(\lambda,z)$ be a continuous function on $\Bbb R^2$ such that
I) For $n\in\Bbb N$ and $x\in\Bbb R^*_+$ we have : $f(n,x)=\cos(nx)+ x O\big(\frac{1}{n}\big)$ as $n\to\infty$ and $x\in[n^{-1}\...
- 81
3
votes
0
answers
73
views
The diversity of Riemannian metrics adapted to a given foliation، A Krein Millman view point(2)
Inspired by this answer to the linked question we add a more bounded conditions to this post. This question is asked seperately because the previous one had a complete answer so we did not revise ...
- 366
3
votes
0
answers
145
views
Non uniqueness of center of the Banach-Mazur compactum
In "The Banach-Mazur distance to the cube and the Dvoretzky-Rogers factorization" Szarek and Bourgain prove a proportional Dvoretzky-Rogers factorization :
Given $1>\delta>0$ , there ...
- 245
3
votes
0
answers
204
views
Infinite partial fraction expansions to compute fractional iterations and recurrences
Let say a function $f$ is defined iteratively over the set of positive integers, for instance $f(t+1)=f(f(t))$ or $f(t+1)=f(t)+f(t-1)$. Based on the recurrence relationship and initial conditions, how ...
- 3,098
3
votes
0
answers
109
views
Examples/applications of parabolic PDEs that are not posed on domains or manifolds
Are there any examples of parabolic PDEs
$$u' - Au = f$$
posed in a Gelfand triple setting $V \subset H \subset V^*$ with $V$ and $H$ chosen NOT as spaces of functions (or distributions) over a domain ...
