All Questions
3,841 questions with no upvoted or accepted answers
4
votes
0
answers
65
views
A standard name of a strongly extremal point of a convex set
I need to name somehow points $x$ of a bounded convex set $C$ in a Banach space $X$ such that the set $$\{x^*\in X^*:x^*(x)=\max x^*[C]\}$$ of support functionals at $x$ has non-empty interior in the ...
- 42k
4
votes
0
answers
147
views
Continuous extension preserving modulus of continuity
Let $X$ be a (non-empty) compact subset of $D(0,M):=\left\{x\in \mathbb{R}^n:\, \|x\|\leq M\right\}$, and let $f:X\rightarrow Y$ be uniformly continuous; for some metric space $Y$. Are there any ...
4
votes
0
answers
143
views
Sobolev space of maps between manifolds with boundary
Let $(M,g)$ and $(N,h)$ be compact Riemannian manifolds with non-empty smooth boundary.
If we consider the Sobolev space $W^{1,p}(M,N)$, is there a reference
on how to model this as a manifold?
If ...
- 3,423
4
votes
0
answers
159
views
Is there a name for this geometric property of metric spaces?
My research has lead me to metric spaces $(M, \rho)$ which have the following geometric property:
Suppose $x, y \in M$ and $r, s > 0$ such that
$(x, r) \neq (y, s)$,
$B[y; s] \subseteq B[x; r]$,
$...
- 191
4
votes
0
answers
176
views
If $u \in W^{\alpha,p}(0,T;X)$ for $\alpha \in (0,1)$, then $f(u) \in W^{\alpha,q}(0,T;Y)$ for some good $f:X \to Y$
Let $u \in W^{\alpha,p}(0,T;X)$ for some reflexive Banach space $X$ (you can also take a Hilbert space if it helps) for $\alpha \in (0,1)$ and $p \geq 2$. I am fine with both the Sobolev-Slobodeckij ...
- 51
4
votes
0
answers
205
views
Harmonic functions in upper half plane
Let $\mathbb H^+$ denote the upper half plane in $\mathbb R^2$. Consider the following equation
\begin{equation}\label{pf0}
\begin{aligned}
\begin{cases}
\Delta u=0\,\quad &\text{on $\mathbb H^+$},...
- 4,153
4
votes
0
answers
146
views
Poisson summation formula for infinite dimensional spaces
Let $M$ be an orientable, compact smooth manifold with a metric $g$ and $H^{-1}(M)$ be the dual space of $$H^{1}(M)=\{f:\int |f|^2+(\nabla f)^2 d\mu<\infty\}$$
I know it is well known that (see ...
- 6,259
4
votes
0
answers
179
views
Condition on kernel convolution operator
I am studying O'Neil's convolution inequality. Let $\Phi_1$ and $\Phi_2$ be $N$-functions, with
$$
\Phi_i(2t)\approx \Phi_i(t), \quad i=1,2
$$ with $t\gg 1$ and let $k \in M_+(\mathbf R^n)$ is the ...
- 101
4
votes
0
answers
139
views
Does anyone know if it's possible to construct Moduli space of J holomorphic curves using Holder spaces?
let Y be a contact (3) manifold and X be its symplectization. let's say the Reeb dynamics is at least Morse Bott. let $u: \Sigma \rightarrow X$ be a $J$ holomorphic curve. I know the usual model for a ...
- 113
4
votes
0
answers
160
views
Can we show equivalence of two distributions based on their statistics?
Let $p,q$ be two distributions on $\mathbb{R}^d$. Let $f:\mathbb{R}^d\times\mathbb{R}^d\rightarrow\mathbb{R}$. Under what conditions does $\mathbb{E}_{x\sim p}f(x,z)=\mathbb{E}_{x\sim q}f(x,z)\ \...
- 57
4
votes
0
answers
254
views
Inflating the double dual of a C*-algebra (matrix algebra of double dual)
in this post I would like to discuss the fact that If $A$ is a $C^*$-algebra, then $M_n(A^{**})\cong M_n(A)^{**}$, as mentioned in Brown and Ozawa. I can't really see it. Actually, it is enough for me ...
- 267
4
votes
0
answers
444
views
Smoothness and decay correspondence for Laplace transform
For the Fourier transform, there are various theorems formalizing a correspondence between the smoothness of a function and the rate of decay of its Fourier transform. For example, if a function is $n$...
- 5,827
4
votes
0
answers
252
views
Can this function be minimized?
Let $X$ be a locally convex TVS, and let $A$ and $B$ be convex and compact subsets of $X$ with $A \subset B$.
Let $f: A \times B \to [0,\infty]$ have the following properties:
(1) For all $b \in B$, $...
- 869
4
votes
0
answers
142
views
What is the completion of $L^\infty$ in the dual of BV?
Every $f \in L^\infty([0,1])$ induces a continuous linear functional on BV via $g \mapsto \int f g \mathrm{d}x$. I believe $L^\infty([0,1])$ is also separable in BV$^\ast$, while BV$^\ast$ is not ...
- 403
4
votes
0
answers
146
views
When does an operator from $\ell_1$ to itself factor through $\ell_p$?
I would like to know whether a given operator from $\ell_1$ to itself, given by a matrix $A$, factors through $\ell_p$, for $p>1$.Does anyone know any references/results on this topic? I am ...
- 53
4
votes
0
answers
75
views
What are the complemented subspaces of $(\bigoplus\ell_q^n)_p$?
Bourgain/Casazza/Lindenstrauss/Tzafriri proved in their unconditional basis UTAP book (1985) that $\ell_1$ is the only nontrivial complemented subspace of $(\bigoplus\ell_2^n)_1$, and hence by duality ...
- 1,591
4
votes
0
answers
298
views
Frêchet differentiability of the composition on a suitable Banach space
Let $E$ be a real Banach space included in the space of functions $C^1$ of $\mathbb R\to \mathbb R $ and and $T:E\to E$ defined by $T(f)=f\circ f$. I am looking for an example of space E such that T ...
- 1,503
4
votes
0
answers
139
views
Smooth dependence of solution to elliptic pde depending on parameter
I have a question in mind but let me generalize it slightly.
Suppose I am looking at some pde like
$$-\Delta u + t u = f(u)$$ in $B_1$ (here $u=u(x)$) with $u=0$ on $ \partial B_1$ where $B_1$ is ...
- 1,385
4
votes
0
answers
117
views
If $f:U_1\to\mathcal L^p(\mu;E_2)$ is Fréchet differentiable, can we say anything about the Fréchet differentiability of $u\mapsto f(u)(\omega)$?
Let $(\Omega,\mathcal A,\mu)$ be a $\sigma$-finite measure space, $p\ge1$, $E_i$ be a $\mathbb R$-Banach space, $U_1\subseteq E_1$ be open and $f:U_1\to L$ be Fréchet differentiable at $x\in U_1$, ...
- 167
4
votes
0
answers
81
views
The least distance of $f\in\ell_\infty(K,X)$ to $C_b(K,X)$
Let $K$ be a paracompact space and consider a bounded function $f:K\to\mathbb R$ not necessarily continuous, that is, $f\in\ell_\infty(K,\mathbb R)$. It's a well-known fact that the least distance of $...
- 563
4
votes
1
answer
800
views
Bound the operator norm of the Fréchet derivative of a Lipschitz function in this setting
I want to find a bound for the operator norm of the Fréchet derivative of a Lipschitz continuous function in the following setting:
Let
$E$ be a $\mathbb R$-Banach space;
$v:E\to[1,\infty)$ be ...
- 167
4
votes
0
answers
140
views
A good reference for Bochner spaces
I am looking for some references on Bochner spaces containing basic stuff such as measurability, convergence and $L^p$ theory. I already have the Analysis in Banach Spaces: Volume I book which covers ...
- 597
4
votes
0
answers
109
views
Characterization of "PSD-Squared" Matrices
$\DeclareMathOperator\DNN{DNN}\DeclareMathOperator\CP{CP}$This question can be thought of as an offshoot of this MO question from a few months ago. Let $M_n(\mathbb{C})$ denote the set of $n \times n$ ...
- 6,351
4
votes
0
answers
97
views
Smoothing continuous functions in metric space
Let $(X,\rho)$ be a metric space.
For any $f:X\to\mathbb{R}$, define the local Lipschitz constant of $f$ at $x$ by
$$ \Lambda_f(x) := \sup_{x'\in X\setminus\{x\}} \frac{|f(x)-f(x')|}{\rho(x,x,')}
.
$$...
- 6,541
4
votes
0
answers
220
views
improved regularization for $\lambda$-convex gradient flows
It is well-known that gradient-flows of convex functionals are "parabolic" in some vague sense, and accordingly solutions tend to regularize instataneously. In the abstract context of gradient flows ...
- 5,380
4
votes
0
answers
213
views
Classification of Euclidean-invariant measures?
Is there a classification of measures on $\mathbb R^n$ which are invariant under (Euclidean) isometries? Hausdorff measures of all kinds are examples -- could that be all of them? More precisely,
By ...
- 64k
4
votes
0
answers
119
views
Relationship between canonical commutation relations and projective representations?
$\DeclareMathOperator\CCR{CCR}\DeclareMathOperator\Im{Im}\DeclareMathOperator\PU{PU}$Let $V$ be a real vector space equipped with an antisymmetric bilinear form $\omega$. Recall that there is a $C^\...
- 64k
4
votes
0
answers
114
views
Is this subspace of $B(\mathcal{H})$ known?
Let $\mathcal{H}$ be a Hilbert space. Suppose that I take a fixed ONB of $\mathcal{H}$ let us call it $\{ e_i \}_{i\in \mathbb{N}}$ and then I define
\begin{align*}
\|T \|_{D} = \sup_{l_i, m_i} \sum_{...
- 1,054
4
votes
0
answers
125
views
Is there a name for this slightly stronger version of Cesàro convergence which "more quickly ignores earlier terms"?
Let $V$ be a normed vector space, let $l \in V$, and let $(a_n)$ be a sequence in $V$. We say that $a_n$ is Cesàro-convergent to $l$ if $\frac{1}{n}\sum_{i=1}^n a_i \to l$ as $n\to\infty$.
Now I will ...
- 708
4
votes
0
answers
100
views
Generating $H^{\infty}(X)$
Let $X$ be a domain in $\mathbb{C}^d$ and let $\mathbb{D}$ be the open unit disk in $\mathbb{C}$. Consider the Banach algebra $H^{\infty}(X)$ consisting of bounded holomorphic functions on $X$ with ...
- 5,529
4
votes
0
answers
439
views
On some characteristics of continuous maps $S^n \to \mathbb{R}^n$
I've asked this question about two month ago in math exchange but there were no answer to it.
Any information or paper relating to this question is appreciated.
By the Borsuk-Ulam theorem we know ...
- 289
4
votes
0
answers
217
views
Discrete superharmonicity
The value at $(n,m)$ of the “Discrete Laplace operator” (see wikipedia) of a function $f$ in $\Bbb Z\times \Bbb Z$ is $\Delta f(n,m)= \frac{1}{4}( f(n+1,m)+f(n,m+1)+f(n-1,m)+f(n,m-1))-f(n,m)$:
the ...
- 441
4
votes
0
answers
164
views
What's the essential definition of resonance of Schrodinger operator?
Rencently, I am reading some articles about time decay estimates or Strichartz estimates for Schrodinger equations with potential. When considering Strichartz estimates for potential $V$ with decay $|...
- 429
4
votes
0
answers
207
views
Simultaneous Hahn-Banach theorem
Let $C(\mathbb{T})$ be the Banach algebra of continuous functions on the unit circle. Let $n \in \mathbb{N}$ and let $P_n(\mathbb{T})$ be the subspace of trigonometric polynomials of degree at most $n$...
- 1,769
4
votes
0
answers
140
views
Given $\theta$, find $f$ such that $\int_{\mathbb{T}} \text{e}^{i\theta} \cos(h \cdot f) = 0,$ for all $h \in \mathbb{N}$
Let $\theta$ be a $C^{\infty}$ (resp. analytic) real-valued function on $\mathbb{T}=[0,2\pi]/\{0,2\pi\}$.
When can one find $f \neq 0$, $C^{\infty}$ (resp. analytic) real-valued function on $\...
- 405
4
votes
0
answers
2k
views
Eigenvalues and spectrum of the adjoint
In a finite-dimensional Hilbert space, the eigenvalues of the adjoint $A^*$ of an operator $A$ are the complex conjugates of the eigenvalues of $A$.
But in infinite dimensions this need no longer be ...
- 3,873
4
votes
0
answers
144
views
A Pythagorian inequality characterization of inner-product spaces
Let $(X,\|\cdot\|)$ be a real normed space. For any points $A$ and $B$ in $X$, let $AB:=\|A-B\|$. Suppose that for any points $A$ and $B$ in $X$ and any straight line $\ell\subseteq X$ such that $B\...
- 128k
4
votes
0
answers
126
views
Relationship between three different definitions of solutions for ODE with irregular coefficient
What is the difference between the notions of
Regular Lagrangian flow
Filippov solution
Caratheodory solution
of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
- 839
4
votes
0
answers
281
views
Dual space of ${\rm Lip}_0(\mathbb R^d)$
This question comes to me when I read this paper : https://arxiv.org/pdf/1702.06049.pdf
Let ${\rm Lip}_0(\mathbb R^d)$ be the space of Lipschitz functions $F$ on $\mathbb R^d$ with $F(0)=0$. Then is $...
user128095
4
votes
0
answers
170
views
Pointwise convergence of the eigenfunctions expansion of $f(x)=\frac{1}{|x|}$
Let $\Omega\subset \mathbb{R}^n$ a bounded domain with smooth boundary, $0<\lambda_1\leq \lambda_2 \leq \dots \leq \lambda_k\leq \dots$ the Dirichlet eigenvalues and $\{w_k\}_{k=1}^{+\infty}$ an $L^...
user39481
4
votes
0
answers
116
views
Log-Sobolev Inequalities for convex bodies
For a measure $\mu$ supported on a convex body $K$, what are the conditions on $\mu$ and $K$ to satisfy a Log-Sobolev inequality of the form:
$$\int f^{2} \log f^{2}\,d\mu -\int f^{2}\,d\mu \log\left(\...
- 519
4
votes
0
answers
95
views
Existence of uniformly continuous right inverse of bounded linear (surjective) maps between Banach spaces
Is there a known description of pairs of Banach spaces $(E,F)$ such that each continuous linear map from $E$ onto $F$ has a uniformly continuous right inverse? In his famous paper in Fund Math (2008), ...
- 101
4
votes
0
answers
747
views
Maximum Principles in Parabolic PDE with Neumann Condition
I am looking for some maximum principles and comparison results for parabolic equations. The most complete book I've found on this subject is: Murray Protter, Hans Weinberger - Maximum Principles in ...
- 1,759
4
votes
0
answers
922
views
Guessing of $n$th prime from "super- regularized" product of primes
( I've been thinking about asking this for a long time . Though this is not rigorous; It can be thought of as heuristic or extraction of information from different viewpoint.)
We know "super-...
- 790
4
votes
0
answers
93
views
Conditions on the Hamiltonian of a classical system that yeild essentially self-adjoint quantum Hamiltonian
What are the conditions on the Hamiltonian of a classical system that under these conditions the quantum Hamiltonian obtained via Weyl quantization will be essentially self-adjoint in $L_2(\mathbb{R}^...
- 381
4
votes
2
answers
871
views
Decay of eigenfunctions for Laplacian
Consider the discrete second derivative with Dirichlet boundary conditions on $\mathbb C^n$.
Its eigendecomposition is fully known:
see wikipedia
It seems like the largest eigenvalue $\lambda_1$ is ...
4
votes
0
answers
512
views
Quasi-compact operators on $\ell^1$
Assume that $T:\ell^1 \rightarrow \ell^1$ is a bounded linear operator, given by an infinite matrix $(a_{ij})_{i,j\in\mathbb{N}}$ so that $(Tx)_i = \sum_{j=1}^{\infty} a_{ij}x_j$. In particular, I am ...
user85365
4
votes
0
answers
147
views
Max / Argmax of a function which includes sums of Gaussian CDFs and PDFs can surprisingly be approximated by a power law
Given $N\in\mathbb{N}$, I have been trying to calculate $m_N=\text{max}_{x\in\mathbb{R}^{+}}\chi_N(x), d_N=\text{argmax}_{x\in\mathbb{R}^{+}}\chi_N(x)$ for the function:
$$\chi_N(x)=\frac{\sum_{i\in ...
- 41
4
votes
0
answers
965
views
Norms of the Dirichlet kernel
I guess that the following estimates are classical. Let $D_N$ be the $1D$ Dirichlet kernel,
$$
D_N(t)=\frac{\sin((N+\frac12)t)}{\sin (t/2)}.
$$
We have for $1<p<\infty$,
\begin{align}
\Vert D_N\...
- 16.2k
4
votes
0
answers
130
views
$L^1$ norm of oscillatory integral operator
My question is about the $L^1_x$ norm of an oscillatory integral like
$$ \int_{\mathbb{R}^n} e^{i(y\cdot x+\lambda \phi(y))}f(y)dy,$$ where $\lambda \in \mathbb{R}$, $f\in C^{\infty}_c(\mathbb{R}^n)$ ...
- 141