All Questions
10,934 questions
4
votes
1
answer
196
views
(Lattice approximation) Does UV stability lead to continuum limit of a subsequence?
In the context of lattice approximation, the term "UV stability" seems to be used frequently. To me, it seems like
Uniform boundedness of the partition function in the limit where lattice ...
- 3,477
0
votes
0
answers
36
views
Derivate involving Bessel function of second type
Let.
$$f := (x, y) \mapsto \text{BesselK}(1, c \cdot (a - b \cdot (x + y))) \cdot \exp(c \cdot b \cdot (y - x))$$
Is there a close formula for this $$\frac{\partial^{m+n}}{\partial y^m \partial x^n} f(...
- 109
3
votes
1
answer
376
views
A more general product rule for weak derivatives?
Consider that $u_1,u_2:\Omega\to (0,\infty)$ where $\Omega\subset\mathbb{R}^N$ is an open set. We know that $u_1,u_2\in W^{1,p}(\Omega)$ for some $p>1$ and $\dfrac{u_1}{u_2},\ \dfrac{u_2}{u_1}\in L^...
- 1,759
1
vote
0
answers
51
views
Compact embeddings RKHSs into Sobolev Spaces
Let $\mathcal{H}$ be an RKHS over an open domain $\Omega \subseteq \mathbb{R}^d$. Are there conditions under which $\mathcal{H}$ can be compactly embedded in a Sobolev space $W^{s,p}(\Omega)$ for ...
1
vote
0
answers
73
views
Convexity and subdifferential monotonicity
Do you know any reference where I can find some results in this sense:
Consider $W:K\to [0,\infty)$ is a functional defined on a convex cone $K\subset X$, where $X$ is a Banach space. Then the ...
- 1,759
2
votes
0
answers
86
views
Besov spaces containing piecewise linear functions
Let $\Omega$ be a bounded, non-empty, regular open domain in $\mathbb{R}^d$. Let $1\le p,q\le \infty$ and $s>0$. Let $\mathcal{B}_{p,q}^s(\Omega)$ be the Besov space on $\Omega$ corresponding to ...
2
votes
0
answers
57
views
Mappings that preserve local or global minimum
In the most general form, I'm interested in any non-trivial results of the following question.
Consider metric space $X$ and $Y$, denote all real valued functions on $X$ and $Y$ as $\mathbb{R}^{X}$ ...
- 275
2
votes
1
answer
244
views
Characterization of normed spaces based on violation of parallelogram law
For a normed linear space $(X, \|\cdot\|)$, the Jordan-von Neumann theorem specifies when exactly the norm is induced via an inner product, namely when the parallelogram law is satisfied.
I would like ...
- 213
1
vote
0
answers
34
views
Discrepancy between probability measures, tested against bounded functions of bounded variance
When studying some concentration inequalities, it became relevant to consider the following discrepancy between two probability measures $\pi$ and $\nu$ (treating $\sigma \in \left( 0, \frac{1}{2} \...
- 801
6
votes
3
answers
282
views
Extreme points of the dual unit ball of a Banach algebra
Let $A$ be a unital Banach algebra. Let $f\in A^*$, $\Vert f\Vert=1$ satisfy that there exists a maximal left ideal $L\subset A$ such that $L\subseteq\ker{f}$.
Question: Is $f$ an extreme point of ...
- 2,605
9
votes
2
answers
418
views
Reference request: Parabolic Equations
I am a PhD student working mainly on Elliptic Equations. With the other PhDs of my department, we organised a reading group, meaning that we agreed on a book we were all interested in, we meet weekly ...
- 452
5
votes
1
answer
183
views
Question about modular group (Modular theory in operator algebras, section 2.14)
Consider the following fragment from Stratila's book "Modular theory in operator algebras", section 2.14, p20:
I'm trying to understand the claim $(3)$ (see the red box). The main strategy ...
- 175
3
votes
0
answers
165
views
$S^{n}(V)$ is "approximately" $V$ when $n$ goes to infinity (in the setting of normed space)
Let $B$ be a (separable) Banach space. $(v_{i})_{i}, i\in\mathbb{N}$ being a family of linear independent vectors. $V$ being the span of $v_{i}$. I try to prove that $V$ is dense in $B$. I define a ...
- 523
3
votes
1
answer
176
views
Question about Lebesgue Bochner spaces
Let $T>0$ and $\Omega\subset\mathbb{R}^N$ be a bounded domain. Also $p\in (1,\infty)$ is any number.
I know that $u\in L^{p}((0,T);L^p(\Omega))$ and $\nabla u\in L^{p}((0,T);L^p(\Omega))^N$. How ...
- 1,759
3
votes
2
answers
137
views
Non-complete space verifying uniform boundedness
Recently, I have seen the so-called uniform boundedness theorem, which says:
Let $(X,∥⋅∥)$
be a Banach space and $(Y,∥⋅∥)$
be a normed linear space. Let $A⊂B(X,Y)$
be a pointwise bounded family of ...
2
votes
0
answers
92
views
Sharp Sobolev trace inequalities on Riemannian manifolds with boundaries
For $n \geq3$, let $(M,g)$ be smooth $n$-dimensional, compact, Riemannian manifold with a smooth boundary. Then there exists some constant $A=A(M,g)>0$ such that, for all $u \in H^1(M)$
\begin{...
- 101
2
votes
0
answers
85
views
Coherent states on compact abelian state spaces and complexification
First, to establish notation, let $T^*(M)$ denote the cotangent bundle of a manifold $M$. Let $\widehat{(-)}:= \hom_{\sf LCAbGrp}(-,\mathbb{T}):{\sf LCAbGrp}^{\sf op}\simeq {\sf LCAbGrp}$ denote the ...
- 169
2
votes
1
answer
117
views
Special density on $L^2$
Let $\Omega\subset\mathbb{R}^N$ be a bounded domain, and $u\in L^2(\Omega)$ with $0\leq u(x)\leq 1$ a.e. on $\Omega$. It is well known that $C^{\infty}_c(\Omega)$ is dense in $L^2(\Omega)$. Because $C^...
- 1,759
11
votes
0
answers
342
views
The diagonal operators and unconditionality
The following is well-known:
Theorem: Let $X$ be a Banach space with an unconditional basis $(e_n)_n$.
Then the space of the diagonal operators with respect the basis $(e_n)_n$ endowed with
the ...
- 986
6
votes
0
answers
159
views
Identification of Fock space and the $L^2$ space of tempered distributions
Let $\mathcal{S}'(\mathbb{R}^d)$ be the set of tempered distributions over $\mathbb{R}^d$ and $d\phi_C$ a Gaussian measure over $\mathcal{S}'(\mathbb{R}^d)$ with covariance operator $C$. Consider the ...
- 721
3
votes
0
answers
58
views
Infinitesimal generators of random evolutions
Consider two state spaces $X$ and $Y$ and infinitesimal generators of Markov processes $(A_y)_{y\in Y}$ and $B$, on $X$ and $Y$ respectively. We assume that $A_y$ share the same domain $D(A)$, and ...
- 31
4
votes
1
answer
158
views
Is the image of a complemented subspace complemented?
This question has been crossposted from mathstackexchange:
Let $X, Y$ be two Banach spaces and $T:X\to Y$ a continuous surjection. Assume $Z$ is a complemented subspace of $X$ and that $T(Z)$ is ...
- 655
0
votes
0
answers
59
views
Decomposition of a contractive representation into an orthogonal sum for the $n$-dimensional case. Has this been done yet?
I know that it has been done for the two-dimensional case. Marek Kosiek showed it in his work "Decomposition of operator representations of the algebra $R(K_1 \times K_2)$" and "...
- 63
3
votes
1
answer
177
views
Compactness of set of measurable functions between compact subspaces of real numbers
Let $X$ be a compact subset of $\mathbb{R}^n$ and $Y$ be a convex and compact subset of $\mathbb{R}^p$. Consider $\mathcal{F}$ the set of all measurable functions from $X$ to $Y$. Can I find ...
- 131
6
votes
1
answer
248
views
The sharpest regularity result of elliptic PDEs: conditions on the variable coefficients
Let $\Omega \subset \mathbb{R}^n$ be open and bounded with a sufficiently smooth boundary. Let $L$ be a second order differential operator with variable coefficients, given by
$$Lu = \partial_i(a^{ij}...
- 91
15
votes
1
answer
601
views
Topological spaces in which countable intersections of dense open sets have dense interior
In certain topological spaces, known as Baire spaces (e.g., completely metrizable spaces), a countable intersection of dense open sets is dense.
Now consider the following strengthening of the Baire ...
- 32.5k
3
votes
1
answer
297
views
Approximation of smooth real functions with an integer integral by a sum of $\delta$-functions with coefficients $\pm 1$
This question arose from a quantum physics research (my article Entropy 2022, 24(2), 261, where I considered approximation of a smooth charge density (built from a wave function) by a collection of ...
- 143
2
votes
1
answer
113
views
Showing $\inf _{a \neq 0} \frac{\left\|a^2\right\|}{\|a\|^2}\leq \inf _{a \neq 0} \frac{\|\hat{a}\|_{\infty}}{\|a\|}$ in a commutative banach algebra
Suppose $A$ is a commutative Banach algebra, and let $u=\inf _{a \neq 0} \frac{\left\|a^2\right\|}{\|a\|^2}$, $v=\inf _{a \neq 0} \frac{r(a)}{\|a\|}$ ($r(a)$ is the spectral radius of $a$). I need to ...
- 775
3
votes
1
answer
203
views
Cohomology of the complex of differential forms with Schwartz coefficients
Let $U$ be an open manifold (say an open subset of $\mathbb{R}^n$ for simplicity). Denote by $\mathscr{S}(U)$ the space of Schwartz functions on $U$. Schwartz functions are defined as usual to be ...
- 1,374
10
votes
0
answers
225
views
Can the trace be computed in any Schauder basis?
I'm cross-posting this question from Math.SE, as it didn't get much attention there.
Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
- 233
2
votes
0
answers
220
views
Ultraviolet divergences of entanglement entropy in QFT
I've often read that entanglement entropy in quantum field theory is ill-defined because local algebras are generally of type III, which implies that a trace doesn't exist. For a normal state $\omega_{...
- 424
0
votes
0
answers
34
views
Locally compact groupoid with range map restricted to isotropy groupoid is open
Suppose the action groupoid 𝐺=𝐻⋉𝑋, where 𝐻 is a locally compact group and 𝑋
a locally compact space is such that isotropy subgroups of H are isomorphic to each other.
Can this be an example of a ...
3
votes
0
answers
116
views
On a functional equation of Mahler?
Recently, I was trying to introduce the concept of natural boundaries to a fellow math student, and what greater way to do this than using an example? In particular, I tried to use as an illustration, ...
- 131
2
votes
0
answers
142
views
A $C^*$-algebra with the bidual $B(H).$
Let $H$ be a separable Hilbert space and let $A$ be a non-unital $C^*$-subalgebra in $B(H)$ such that the second dual $A^{**} \equiv B(H).$ Does $A$ coincide with the ideal of compact operators $K(H)?$...
2
votes
0
answers
126
views
Identification of Maharam extension
All definitions used in this post are from Björklund, Kosloff, and Vaes - Ergodicity and type of nonsingular Bernoulli actions. This post is inspired by the beginning of Section 2.2 in the same paper, ...
- 307
3
votes
0
answers
69
views
Perturbation of one-parameter groups of unitary operators
Let $H$ be a Hilbert space and let $h$ be a fixed, densely defined, possibly unbounded, self-adjoint operator on $H$. Letting $B(H)$ denote the space of all bounded operators on $H$, it is well ...
- 2,263
4
votes
1
answer
145
views
Asymptotic decay rate of an oscillator integral
Question:
I want to evaluate the decay estimate of the integral
$I^d(t; v) = \int_0^{\sqrt{d}\pi} dr \, r^{d-2} \int_0^\pi \sin(tr) e^{i\sqrt{d}vtr\cos\theta} \sin^{d-2}\theta \, d\theta $
for ...
- 81
0
votes
0
answers
29
views
On constructing the canonical boundary operator for a given differential operator
Given an $n\times n$ matrix $$X=\begin{pmatrix}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{n1}...
- 765
2
votes
0
answers
95
views
On analytic functions on the complement of a curve without jump across the curve almost everywhere
Question. Suppose $f$ is an analytic function on $\mathbb C\setminus\mathbb R$ and assume that the boundary values of $f$ from above and below the real axis (denoted $f_\pm$ respectively) exist almost ...
3
votes
1
answer
79
views
How to deal with singularities in thin plate splines?
Follow up from this question Thin-Plate-Spline understanding and solution.
In the general case of $\mathbb{R}^N$ the following problem (interpolant which minimizes the Thin Plate Energy, specifically ...
- 115
2
votes
1
answer
179
views
Reference request: Parabolic Schauder estimates for the heat equation with $f \in L^\infty$
Let us consider the heat equation
$$\partial_t u - \Delta u = f(x, t) \quad \text{in }Q_R $$
where $Q_R = B_R \times (-R^2,0].$ I would like to know the kind of regularity we should expect of $u$ if ...
- 452
1
vote
2
answers
164
views
Existence of directional heat equation without uniform ellipticity
I am asking for references, or for a proof idea on how to show that weak solutions of the following problem exist: search $u$ on a bounded domain $\Omega\times (0,T]$, where $\Omega\subset\mathbb{R}^d$...
- 35
1
vote
0
answers
88
views
Schauder estimate for $f \in L^\infty$
I was reading an article where at some point the author uses the following estimate:
Let $u$ be a solution of
$$\Delta u = f \quad \text{in } B_1$$
for $f \in L^\infty$. Then $u \in C^{1,1 - \...
- 452
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
2
votes
0
answers
62
views
Maximum distance between consecutive terms in sequence with arbitrarily long APs
Good evening. I am writing a paper on complex analysis, and as a corollary (of my work and others'), I believe that I have managed to deduce the following result.
Proposition: Let $n_1 < n_2 \cdots ...
- 121
2
votes
0
answers
29
views
Steiner symmetrization of smooth function on non-simply connected regions
Given a smooth function $u$ defined on $\mathbb{R}^2$, restrict $u$ to a subset $\Omega \subset \mathbb{R}^2$ (possibly not simply connected) foliated by level sets of a smooth function $\psi: \Omega \...
- 434
1
vote
2
answers
209
views
Approximate simple function $f$ by a sequence of continuous functions on $\mathbb{R}^d$ such that $\|f_n\|_\infty\leq \|f\|_\infty$
Let $f=\sum_{i=1}^n c_i 1_{\Delta_i}$ be a simple function on $\mathbb{R}^d$, where $c_i\in\mathbb{C}$. Then we can find sequnces of continuous functions $\{f_k^{(i)}\}$ for each $i=1,\ldots,n$ such ...
- 29
1
vote
1
answer
152
views
SOT and WOT convergence of Toeplitz operators
For the Hardy space $H^2$, every $\phi \in L^\infty (\mathbb T)$ induces a bounded Toeplitz operator $T_\phi$ on the Hardy space and $\lVert T_\phi \rVert = \lVert \phi \rVert _{\infty}$. Consequently,...
- 151
1
vote
0
answers
248
views
Solving functional analysis problems by using Algebraic geometry
I am thinking about some open problems in nonlinear functional analysis and I just wanted to know if there are any problems that have been solved by using Algebraic geometry techniques in these fields....
4
votes
1
answer
219
views
Poincaré inequality on compact manifolds without boundary
The question arises from a paper The heat flow for the full bosonic string, Ann. Global Anal. Geom. 50 (2016).
In line 4, Page 362, the author claimed the following inequality which looks similar to ...
- 143