All Questions
12,935 questions
3
votes
2
answers
228
views
Sobolev extension problems of $W^1_\infty(\Omega)$
Recently I have read the paper Whitney's problem on extendability of functions and an intrinsic metric written by Nahum Zobin and published by Advances in Mathematics in 1998. I am confused about one ...
- 69
0
votes
1
answer
150
views
When are infimal convolutions contractions?
Let $X$ be a separable Fréchet space and $\varphi,\psi:X\to \mathbb{R}$ be a lower semi-continuous and convex function with $\psi$ bounded below and coercive. Consider the infimal convolution
$$
\...
- 364
1
vote
0
answers
37
views
Inequality for function on Spinor bundle
I have a function $H(x,\psi)$ defined on the spinor bundle $\mathbb{S}$ with $H_\psi$ being the continuous derivative in fiber direction having the following properties:
(H-1) There exists $0<\...
- 11
3
votes
0
answers
219
views
Strictly contracting solutions to the Eikonal equation on Riemannian manifolds
Given a Riemannian manifold $M$, we say $f: M \to \mathbb R$ is a strict contraction if $|f(x) - f(y)| < |x - y|$ for all distinct $x, y \in M$.
Question: Does there exist, on every complete ...
- 6,215
2
votes
2
answers
151
views
Upper bound $\int_{\mathbb{R}^d \times \mathbb{R}^d} |fx)-f(y)| (1+|y|) \ell (x) p_t (x-y) \, \mathrm d x \, \mathrm d y$ in $t$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $f : \bR^d \to \bR$ and $\ell : \bR^d \to \bR_+$ be measurable such that $\ell$ ...
- 835
4
votes
0
answers
330
views
Book recommendation in functional analysis and probability
I am interested by functional analysis and probability. I would like to know if you have any books that deal with these two subjects (at a graduate level) to recommend?
I'm looking for a book that has ...
5
votes
1
answer
375
views
Looking for a counterexample: Conditioning increases regularity?
Let $p(x,y,z)$ be a joint density (over $\mathbb{R}^3$) under no smoothness or regularity assumptions, besides its existence. I am looking for a (counter)example where $p(y|x)$ is less regular than $p(...
- 51
0
votes
0
answers
72
views
Domain of a Jacobi operator with unbounded coefficients
Is it possible to describe the domain of a Jacobi operator explicitly?
Let $J$ be the linear operator acting on a real sequence $(u_{n})_{n\in\mathbb{N}}$ by
$$
J(u_{n}) = a_{n+1} u_{n+1} + a_{n} u_{n-...
- 23
0
votes
1
answer
151
views
Super-reflexivity is separately determined
I've found this result that states that super-reflexivity is separably determined, i.e., if every separable subspace $Y\subset X$ of a Banach space is superreflexive then $X$ itself is superreflexive. ...
- 145
0
votes
0
answers
62
views
Uniqueness problem of constant coefficient differential operator with given boundary information on compact domain
I'm considering the uniqueness problem for a constant coefficient differential operator $A$ on compact domain $\Omega$ with given boundary information such that we have
\begin{equation}\label{...
- 421
4
votes
1
answer
446
views
Is the uniform limit of "almost eikonal" maps eikonal?
Let $f_n: \mathbb R^d \to \mathbb R$ be continuously differentiable functions with $f_n \to f$ uniformly for some $f$.
Suppose that $|\nabla f_n| \to 1$ uniformly. Is it true that $f$ is $C^1$ with $\...
- 6,215
0
votes
0
answers
107
views
Does the sequence of bounded symmetric square integrable holomorphic functions have a convergent subsequence?
Let $f$ be a bounded holomorphic function on $\mathbb D^2$ and $s : \mathbb C^2 \longrightarrow \mathbb C^2$ be the symmetrization map given by $s(z) = (z_1 + z_2, z_1 z_2),$ for $z = (z_1, z_2) \in \...
- 41
2
votes
0
answers
111
views
Everywhere-defined unbounded operators between Banach spaces
In this post, it is said that there are no constructive examples of everywhere-defined unbounded operators between Banach spaces; every example furnished must use the axiom of choice. This seems like ...
- 151
5
votes
1
answer
205
views
Continuity dependence and convergence of the renormalized $\Phi^4_2$ model
This question is continuous for the one asked here: Local solutions of renormalized stochastic PDE but it was better to ask it separetely.
Again, we are interested in the local behavior of the $\Phi_2^...
- 573
3
votes
0
answers
318
views
The curse of dimensionality of the Kolmogorov–Arnold neural network
The Kolmogorov–Arnold neural networks (KAN), Ziming Liu et al., KAN: Kolmogorov–Arnold Networks is inspired by the Kolmogorov–Arnold representation theorem (KA theorem). Though it is not proved in the ...
- 2,239
2
votes
0
answers
88
views
Dependence and $L^2$ projections of functions
tl;dr: Is it possible that the best approximation to a nonnegative function of three variables with a bivariate function is no better than the best univariate function?
Let $w$ be a density on $\...
- 21
4
votes
1
answer
172
views
Viscosity solutions of eikonal equation on Riemannian manifolds
It is well known that given a bounded open region $\Omega \subset \mathbb{R}^n$, the Dirichlet problem $$\lVert \nabla u \rVert = 1, \quad u|_{\partial \Omega} = 0$$
admits the unique viscosity ...
- 235
0
votes
0
answers
49
views
Existence of sequence of regular projections
Reading the book :Krasnosel'skii, M.A.; Pustylnik, E.I.; Sobolevskii, P.E.; Zabreiko, P.P. (1976), Integral Operators in Spaces of Summable Functions, Leyden: Noordhoff International Publishing, 520 p....
3
votes
1
answer
209
views
A few points of clarification on the Martin boundary
Let $\Gamma$ be a finitely generated group, and let $M$ be the Martin boundary of $\Gamma$. I was reading the article on Martin boundary on Encyclopedia of Math, and I have a few questions about what ...
- 1,407
6
votes
2
answers
349
views
Mutual metric projection
Given a subset $S\subseteq \mathbb{R}^n$, the metric projection associated with $S$ is a function that maps each point $x\in \mathbb{R}^n$ to the set of nearest elements in $S$, that is $p_S(x) = \arg ...
- 3,549
2
votes
1
answer
148
views
Is projection of a closed subspace Borel?
Specifically, letting $E$ be a separable infinite-dimensional real Banach space, and $D_2$ in $E\times E$ a closed linear subspace, is then $\{\,x:\exists\,y\,;(x,y)\in D_2\}$ a Borel set in $E\,$? ...
- 3,584
2
votes
0
answers
64
views
Unique continuation for $\operatorname{div}(a_{ij} \nabla u)$ with $ a _{ij} \in W^{1,d}$
Let $\Omega$ be a connected domain in $\mathbf{R}^d$, with $d>2$. Assume that $ A(x)=(a _{ij})_{1 \leq i,j \leq d}$ is uniformly positive definite, with variable coefficients in $ W^{1,d}(\Omega)$. ...
- 61
10
votes
1
answer
521
views
About Friedrichs historical contribution to QFT cited in Reed and Simon
In the Reed and Simon book, Appendix X.7, they mention that Friedrichs provided the first examples of inequivalent representations of the canonical commutation relations via the Weyl relations in the ...
- 424
4
votes
1
answer
187
views
Topology on the space of compactly supported functions
Let $X$ be a locally compact Hausdorff topological space, and let $C_c(X)$ be the space of compactly supported $\mathbf{R}$-valued continuous functions. It is a well-known fact that this space is not ...
- 43
3
votes
2
answers
408
views
Does there exist an electromagnetic analogue of Einstein's field equations?
This will look like a physics question but it doesn't have anything to do with reality so its a vague math question if anything.
I recently learned about gravitoelectromagnetism which describes an ...
- 2,689
11
votes
3
answers
727
views
Application of Lie group analysis of PDE (beyond calculation of exact solutions)
I am learning the Lie symmetry group method for PDEs. In my reading, all of the applications of this method are to calculate the exact solutions of PDEs. Are there any good references which provide ...
- 111
3
votes
1
answer
181
views
Let $\phi : A \to B$ be a surjective $*$-homomorphism of star algebras, is there any good notion of "normal bundle of $B$ in $A$"?
Let $\phi : A \to B$ be a surjective $*$-homomorphism of star algebras (maybe more restricted kind of star algebra), is there any good notion of "normal bundle of $B$ in $A$"? By a "...
- 31
2
votes
1
answer
149
views
Show that $\|P(f\circ\varphi_{\lambda})-\widetilde{f}(\lambda)\|_p=\|P(f\circ\varphi_{\lambda}-\overline{P(\overline{f}\circ\varphi_{\lambda}}))\|_p.$
Let $\Omega = \mathbb B_n,$ the unit ball in $\mathbb C^n$ and $L^2_a(\Omega)$ be the Bergman space endowed with the normalized volume measure on $\Omega.$ Let $k_{\lambda}$ be the associated Bergman ...
- 41
0
votes
0
answers
73
views
Operator globally hypoelliptic
An operateor $T$ is globally hypoelliptic if :
$u\in S'(\Bbb R^n),Tu\in S(\Bbb R^n)$ imply $u\in S(\Bbb R^n)$.
My question why if $u\in L^2(\Bbb R^n): Tu =\lambda u$. Then $u\in S(\Bbb R^n)$.
where $\...
- 521
2
votes
1
answer
98
views
Locally compact groupoid with a Haar system such that the range map restricted to isotropy groupoid is open
Can somebody provide an example of a locally compact groupoid $G$ with a Haar system such that the range map restricted to isotropy groupoid of $G$ is open?
I could not find any specific example for ...
4
votes
1
answer
211
views
Local solutions of renormalized stochastic PDE
To illustrate the problem consider the mild formulation of the $\Phi^4_2$ model on $[0,T]\times \mathbb{T}^d$: $$\phi=P_r\phi_0+\int_0^rP_{r-q}(-\phi^3(q))dq+Y_r \ \ \ \ \ \ (1)$$ where $(P_r)_{r \...
- 573
1
vote
0
answers
176
views
Unitary operators in $\mathcal{U}(L^2(X,\mu))$ not coming from $\operatorname{Aut}(X,\mu)$
$\DeclareMathOperator\Aut{Aut}$Let $(X,\mu)$ be a measured space with probability measure $\mu$ and $\Aut(X,\mu)$ denote the group of measure preserving bijections of $(X,\mu)$. It is easy to see ...
- 105
7
votes
2
answers
178
views
Separating domains in $\mathbb{R}^{2n}$ by a real algebraic variety
Suppose $\Omega_1$ and $\Omega_2$ are two disjoint unbounded domains in $\mathbb{R}^{2n}$, $n \in \mathbb{N}$. Can there be conditions on $\Omega_1$ and $\Omega_2$ so that these two domains can be ...
- 171
-2
votes
1
answer
241
views
Does a group representation being transitive on a basis imply irreducibility?
Let $G$ be an infinite discrete group and $\pi$ a representation of $G$ on the Hilbert space $H$.
Suppose that the group representation is transitive on an orthonormal basis $B = \{e_j\}_{j=1}^{\infty}...
5
votes
0
answers
180
views
A variant of Schwarz's theorem on generators of smooth $G$-invariant functions
Let $V$ be a finite dimensional euclidean space and let $G\subset O(V)$ be a finite (or compact) group, let $\mathbb{R}[V]$ be the algebra of polynomial functions on $V$. If $E\subset \mathcal{C}^\...
- 4,123
2
votes
0
answers
142
views
A linear degenerate elliptic pde
I am having trouble solving a linear degenerate elliptic equation. The problem is as follows.
Let $U\subset \mathbb{R}^n$ be a bounded open set and $\omega:U\to\mathbb{R}$ is a $C^\infty$ function ...
- 21
2
votes
1
answer
215
views
Forming real positive semidefinite matrices from complex matrices
I have asked this question on the Mathematics Stack Exchange: https://math.stackexchange.com/questions/4924554/forming-real-symmetric-positive-semidefinite-matrices-from-complex-matrices.
Let $Q \in \...
- 31
2
votes
0
answers
71
views
Complemented subspaces of $\mathcal s$
Crossposted from Math Stack Exchange
It is well known that a nuclear Fréchet space $X$ is isomorphic to a complemented subspace of $\mathcal s$ (the space of rapidly decreasing sequences) if and only ...
- 655
2
votes
1
answer
95
views
A question on the proof of unique continuation for the case $u\in H^{2}$ in Le Rousseau, Lebeau and Robbiano book on Carleman estimates
In the book Elliptic Carleman Estimates and Applications to Stabilization and Controllability, Volume I, page 186 (MR4436025, Zbl 1497.35005), the authors proves a unique continuation theorem which ...
0
votes
0
answers
55
views
Status of generalization of timelike tube theorem to algebras of causal completions
The timelike tube theorem states that the additive algebra $A_{\text{add}}(U)$ of operators in a spacetime region $U$ is equal to the additive algebra $A_{\text{add}}(E(U))$ of the timelike envelope $...
user528837
2
votes
0
answers
137
views
Holder-Besov space and time continuity
Let $\mathbb{T}^d$ be the $d$-dimensional torus, $\mathscr{S}:=C^\infty(\mathbb{T}^d)$ the Schwartz space, $\mathscr{S}'$ the space of tempered distributions.
We consider a dyadic partition of unity $(...
- 573
1
vote
4
answers
423
views
Natural examples of functions $f$ in $L^1([0,1])$ such that any function $g$ in the class $[f]$ is discontinuous everywhere
I need many motivated examples of functions $f$ in $L^1([0,1])$
such that any function $g$ in the equivalence class $[f]$ is discontinuous everywhere.
Thank you in advance!
- 331
1
vote
0
answers
50
views
On an Atiyah-Singer-Patodi like construction of the spectral flow
Let $\hat{\mathfrak{F}}$ be the space of selfadjoint Fredholm operators on a separable infinite-dimensional complex Hilbert space $H$, and let $\hat{\mathfrak{F}}_0\subset\hat{\mathfrak{F}}$ consist ...
4
votes
1
answer
205
views
Existence of an $\alpha$-Hölder continuous function whose graph has positive Hausdorff measure of maximal dimension
It is standard that if $f:[0,1] \rightarrow \mathbb{R}$ is $\alpha$-Hölder continuous, then its graph has Hausdorff dimension at most $2-\alpha$. My naive expectation was that "most" graphs ...
- 45
0
votes
0
answers
103
views
Can $L^p([0,1])$ be built up from countably infnite copies of $l^p({F})$ , where $F$ is a finite set or $\mathbb{N}$?
I know that $L^p([0,1])$ is not isometrically isomorphic to $l^p(\mathbb{N})$ when $p\neq 2$? But, there is an isometric copy of $l^p(\mathbb{N})$ inside $L^p([0,1])$. My question is that whether $L^...
- 331
2
votes
0
answers
56
views
Convergence of conformal metrics with prescribed curvature
We know that for any function $K: \mathbb{D} \to \left[-a, -b\right]$, where $a, b > 0$, there is a unique metric $h$ on the disk $\mathbb{D}$ which is conformal to $dz^{2}$, and has curvature ...
- 63
2
votes
1
answer
318
views
Understanding the Schrodinger flow——Symplectic Banach manifold
This question was posted on https://math.stackexchange.com/questions/4925369/understanding-the-schrodinger-flow-symplectic-banach-manifold but recieve nothing. I really want to know the something ...
0
votes
0
answers
143
views
A Poincaré inequality holds for $p>2$ but fails for $p\leqslant 2$
I am confused with the following example taken from page 6 of Sobolev Met Poincaré, by Hajłasz and Koskela (MR1683160, Zbl 0954.46022).
Let $(X,d,\mu)$ be a metric measure space and let $\Omega\subset ...
- 69
1
vote
0
answers
205
views
Uniqueness for Volterra equation with initially (linearly) unbounded kernel
Letting $D:=\{(x,y):\ 0\leq x\leq y\leq1 \text{ and } y>0\}$, I have a continuous function $k:D\to[0,\infty)$ that satisfies some properties that I list below. I'm interested in continuous and ...
- 537
3
votes
1
answer
228
views
Is compact-open topology stable with respect to injective limits?
Let $X$ be a locally convex space, and $\{Y_i;\ i\in I\}$ a covariant system of locally convex spaces over a partially ordered set $I$, i.e. a system of linear continuous mappings is given $\sigma^j_i:...
- 7,426