All Questions
12,935 questions
0
votes
0
answers
272
views
How to prove that the uniform limit of $C^k$ functions is $C^{k-1,1}$?
Already asked in SE but no response, I think it also reasonably belongs here.
https://math.stackexchange.com/questions/4829428/uniform-convergence-of-ck-functions
Basically what the title says, plus ...
0
votes
0
answers
252
views
Self-adjoint operator with pure point spectrum
Suppose that A is a self-adjoint (possible unbounded) operator from a separable Hilbert space H to itself. I would like to know if the following statement is true:
A has pure point spectrum (i.e., the ...
- 43
0
votes
0
answers
49
views
Reference needed for powers of semi-group generators
Let $\mathcal{L}$ be the infinitesimal generator of a Markov semi-group. I am looking for references that study powers of $\mathcal{L}$; i.e. $\mathcal{L}^n$, for $n\in\mathbb{N}$.
For example, if the ...
- 90
0
votes
0
answers
42
views
Measurability of the weak completion of an orthogonal representation
Let $G$ be a locally compact group and let $\pi$ be a strongly continuous orthogonal representation of $G$ in a real Hilbert space $H$. Denote by $E$ the real Hausdorff locally convex space obtained ...
- 407
0
votes
0
answers
67
views
Constants in the entropy number of the Sobolev space
For a Sobolev space with $W^s(\Omega)$, where $\Omega\subset R^d$ is a compact space with smooth boundary, we know that the entropy number satisfies $e(\delta, W^s(\Omega, 1),\|\cdot\|_{L_\infty})\leq ...
- 39
0
votes
0
answers
102
views
Spectrum of Laplace-Beltrami operator on tensors
Let $(M, g)$ be a complete Riemannian manifold diffeomorphic to $\mathbb{R}^n$. Under appropriate geometric assumptions concerning the geometry near infinity, but without any curvature sign ...
- 419
0
votes
0
answers
48
views
Generator of contraction semigroup
Assume $A$ is a symmetric operator in a Hilbert space, which generates a contraction semigroup (a priori it is not known, whether this semigroup is self-adjoint). Is A then self-adjoint?
- 41
0
votes
0
answers
63
views
Chapter 2, Section 5 of Chavel's book “Eigenvalue In Riemann Geometry" is about the zero-point distribution of the derivatives of eigenfunctions
In Chapter 2, Section 5 of Chavel's book, regarding the Neumann eigenvalues of the Laplacian in space forms, how did Chavel determine that $T'_{l,j}$ has ($j-1$) zeros? I have consulted books on the ...
- 11
0
votes
0
answers
97
views
Amenability of $\textrm{w}_0(A)$ for a $C^*$-algebra $A$
Let $A$ be a $C^*$-algebra with only finite dimensional irreducible representations. As in a previous question, let $\textrm{w}_0(A)$ denote the subspace of $\ell^{\infty}(A)$ consisting of all weakly ...
- 2,605
0
votes
0
answers
146
views
Non-degenerate representation of a Banach algebra
Let $\mathcal{A}$ be a non-reflexive Banach algebra. For the definition of Arens product, please refer to this link. Here we let $\square$ denote the first Arens product and $\diamond$ denote the ...
- 307
0
votes
0
answers
94
views
When can an affine functional on the dual be represented as an element of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, we are given a functional $\varphi: T(x_0)\to (-\infty, \infty]$, which is a lower semicontinuous, affine, Baire function on a subspace $T(x_0)$ ...
- 297
0
votes
0
answers
145
views
$L_\infty([0,1], \mathbb{C})$ is it isomorphic to $\ell_\infty(\mathbb{N}, \mathbb{C})$?
By a result of Pełczyński, $L_\infty([0,1], \mathbb{R})$ is isomorphic to $\ell_\infty(\mathbb{N}, \mathbb{R})$. That is the case of real valued functions and sequences.
A natural question then is: ...
- 141
0
votes
0
answers
73
views
Computationally efficient solution for the measure of central tendency minimizing Lp loss for p > 1
We know that the measure of central tendency that minimizes the Lp loss is $\min_c \sum_{i=1}^n |x_i - c|^p$
For $p=1$ (L1 loss), this is the median. For $p=2$ (L2 loss), this is the mean. Both of ...
- 109
0
votes
0
answers
115
views
Existence of Green functions and some properties
Let $\Omega$ be a smooth domain in $\mathbb{R}^N$， $N\geq 3$, $p\in \Omega$ is a fixed point, $\lambda$ is a parameter (can be 0,>0,<0), if there exisits a Green function $G_{\lambda}(x,p)$ ...
- 471
0
votes
0
answers
119
views
About definition of stable solution. $Q_u(\phi) \ge 0$ for all $\phi \in C_c^1(\Omega)$ replaced by "for all $\phi \in W_0^{1,2}(\Omega)$"
I want to ask about a remark about the stable solution of elliptic PDE Remark 1.1.1.
We say $u$ is stable solution of $-\Delta u=f(u) \ \text { in } \Omega$ and $u=0$ on $\partial \Omega$ if it ...
- 809
0
votes
0
answers
155
views
Reducing subspaces of unitary operators
Let $U$ be a unitary operator on a Hilbert space $\mathcal{H}$. We can assume $\mathcal{H}$ is an $L^2$ space and $U$ acts as multiplication by a function $u$ with $|u(x)| = 1$ a.e (by the spectral ...
- 23
0
votes
0
answers
120
views
Mysterious Bound: $\int_{B_{4}}\|D^{2}u\|^{2} \leq 2^{n}$
I am reading through "A GEOMETRIC APPROACH TO THE CALDERON–ZYGMUND ESTIMATES" by Lihe Wang and I am perplexed by an assertion in Lemma 7. The claim is that whenever $\Delta u = f$:
$$\frac{1}...
- 1
0
votes
0
answers
138
views
Question about a step in the proof of the min-max principle
I honestly do not think this is a hard question, maybe it is even obvious but I tried MSE and had no success so far, so I am reproducing the question Question about the proof of the min-max principle ...
- 1,305
0
votes
0
answers
80
views
Continuity of linear map on tensor product spaces with different norm properties
I originally asked this question on StackExchange, but I think that it may be more suitable to here.
Let $V$ and $U$ be Banach spaces. I'm considering a linear map $\phi: V \rightarrow U$, and ...
- 177
0
votes
0
answers
51
views
Reparameterizing a function to be linearly bounded
Trying to find a reparameterization of a function from $f(y, z, \ldots)(x)$ to $f(y(a_1), z(a_2), \ldots)(x)$ so that for all $x \in [r, t]$ we have
$$
|f(y(a_1), z(a_2), \dots)(x) - f(y(b_1), z(b_2), ...
- 101
0
votes
0
answers
137
views
Convexity of an equivalent norm
Let $X=l_2$ with usual norm $\|\cdot\|_2$. We define a subspace of $X$ as $D=conv (B_{l_2} \cup B),$ where $B = \{ (x_n) \in l_2 : \sum_{n=1}^\infty \frac{n}{2} x_n^2 \leq 1\}$, conv is the convex ...
- 85
0
votes
0
answers
75
views
Goldstine theorem in quasi-Banach spaces
A classical theorem of Goldstine is the following: Let $X$ be a Banach space and $J \colon X \to X''$ the natural inclusion. Then $J(B_X)$ is $\sigma(X'', X')$-dense in $B_{X''}$, where $B_Y$ is the ...
0
votes
0
answers
56
views
Zero flux along lines
I am considering the $L^1$ ball in $\mathbb{R}^d$, and a conservative vector field $V$ on it, which arises as the gradient of a bounded, almost-everywhere Lipchitz-function. Denoting by $e_i$ as the i’...
- 232
0
votes
0
answers
47
views
Is the embedding $i: (L^p_\text{loc} (Y), \| \cdot \|_{L^p_\text{loc}}) \to (L^0(Y), \hat \rho)$ continuous or Borel measurable?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
- 657
0
votes
0
answers
113
views
The set of measurable functions together with convergence in measure is a completely metrizable abelian topological group
Below we use Bochner measurability and Bochner integral. Let
$(X, \mathcal A, \mu)$ be a complete $\sigma$-finite measure space,
$(E, | \cdot |)$ a Banach space,
$S (X)$ the space of $\mu$-simple ...
- 657
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 $...
- 521
0
votes
0
answers
48
views
A direct proof for non-zero limit points of weighted backward shifts
Fix a sequence $(w_1,w_2,\ldots)$ of positive reals such that the linear operator $T: \ell_2\to \ell_2$ given by
$$
T(x_1,x_2,x_3,....)=(w_2x_2,w_3x_3,\ldots) \text{ for all sequences in } \ell_2
$$
...
- 1,511
0
votes
2
answers
125
views
Is there a modification of $f$ on a null set such that $F: [0, T] \to L^p ({\mathbb R}^d), t \mapsto f(t,\cdot)$ is Bochner measurable?
Let $T>0$ and $p \in [1, \infty)$. Let $f \in L^p ([0, T] \times {\mathbb R}^d)$. By a theorem in this thread, there is a Lebesgue null subset $N$ of $[0, T]$ such that $f(t, \cdot)$ is Lebesgue ...
- 825
0
votes
0
answers
145
views
Why is this function in $L^1$?
I had a question about a claim made in the paper "Group Invariant Scattering" and why it is true. Consider the function $h_j(x) = 2^{nj}\psi(2^jx)$, where $\psi$ is a function such that $\...
- 101
0
votes
0
answers
149
views
Validity of Hölder inequality for the homogeneous Besov spaces $\dot{B}^0_{1,2}(\mathbb{R}^n)$ and $\dot{B}^0_{2,2}(\mathbb{R}^n)=L^2(\mathbb{R}^n)$
I am looking at Corollary 1. in p.244-245 of the book
"Sobolev Spaces of Fractional Order,
Nemytskij Operators,
and Nonlinear
Partial Differential Equations" (1996) by Thomas Runst
Winfried ...
- 3,477
0
votes
0
answers
77
views
Property (H) in the dual norm
Consider 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 $\Vert ...
- 85
0
votes
0
answers
52
views
Coupled Kazdan-Warner type equation
Famous work of Kazdan and Warner shows that given $u\geq 0$ and a constant $c>0,$ the following equation in $f$ has a unique solution:
\begin{align*}
\Delta f+ u e^f=c
\end{align*}
I am interested ...
- 954
0
votes
0
answers
138
views
Under what conditions is $\lim_{x\to a}\left|\varphi\circ f(x)-\tau \circ g(x)\right|=0$ true?
This question is inspired from another much easier problem I was trying to solve which I tried to generalize. The question is essentially as follows (assuming all the limits exist)
If $a\in \mathbb R\...
- 791
0
votes
0
answers
355
views
On a Duality between Riemann-weil explicit formula and Abel- Plana summation of trigonometric prime counting function:
Consider the analytic function $g(x)$
Now define
$f(x)=g(x)\frac{\sin^2\left(\frac{π\Gamma(x)}{2x}\right)}{\cos^2\left(\frac{π}{2x}\right)}$
Such that
$|f(x+it)|=o(e^{2πt})$
uniformly for every $x$...
- 790
0
votes
1
answer
145
views
Renorming on a separable Banach space
Let us consider the sequence space $c_0$ with the equivalent norm
$$\Vert x \Vert^2 = \max_{i\ge1} \vert x^i \vert^2 + \sum_{i=2}^{\infty} 2^{-i+1} \vert x^i \vert^2 $$
for $x=(x^1,x^2,\ldots)\in c_0$....
- 85
0
votes
0
answers
92
views
Solving a Catalan-like recursion of polynomials, related to the KdV energies
I am working on a PDE problem. The goal is to connect the higher order energies of the Gross-Pitaevskii equation to those of the Korteweg-de-Vries equation. As these higher order energies are ...
- 203
0
votes
0
answers
415
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,515
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
0
votes
0
answers
77
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
- 39
0
votes
0
answers
102
views
Asking a reference about the $p$-Laplacian of $|\nabla u|^p$
It is well-known that for a harmonic function $u$, i.e.
$$ \Delta u=0, $$
the quantity $|\nabla u|^2$ is subharmonic, i.e.
$$\Delta (|\nabla u|^2) \geq 0. $$
Reason:
$$\Delta (|\nabla u|^2)= 2 \nabla (...
- 371
0
votes
0
answers
208
views
Examples of non $w^{*}$-closed complemented subspaces of a dual Banach space that are also dual spaces
Let $Y$ be a complemented, but not $w^{*}$-closed, subspace of a Banach space $X$. It is known that certain such $Y$ are not dual spaces.
Question: What are interesting examples of subspaces of the ...
- 7,067
0
votes
0
answers
63
views
Inequality for normed power n, m
Let $ B (H) $ indicate the set of all bounded linear operators on a complex separable Hilbert space $ H $.
Let $ A \in B(H) $, where $ A $ is a positive semi-definite operator in $ H $ (i.e. $ \langle ...
0
votes
0
answers
74
views
Computing the eigenvalues of $A+E$ where $A$ is an upper triangular matrix whose diagonal entries are all zero and $E$ is a rank one matrix
Let us consider the backward-shift matrix $B=(b_{ij})\in M_n(\mathbb{R})$ whose entries are given by $b_{k,k+1}=1$ and the other entries are all 0. We also consider $X=(x_{ij})\in M_n(\mathbb{R})$ ...
- 4,058
0
votes
1
answer
92
views
Is $\Lambda:= \pi_2 \circ \pi_1:E \to L$ surjective?
Let $E$ be a Banach space. For a linear map $T$, we denote by $R(T)$ its range and by $N(T)$ its kernel. Let $I:E \to E$ be the identity map. Let $T:E \to E$ be a compact (bounded linear) operator. ...
- 657
0
votes
0
answers
307
views
Generalizations of the generalized Stokes theorem and the Atiyah-Singer index theorem
I am interested in the generalized Stokes theorem and its various generalizations. It is apparent to me that many theorems in vector analysis and certain theorems in complex analysis can be viewed as ...
- 131
0
votes
0
answers
114
views
Norm distance in a Banach space
Consider the Hilbert space $l_2(\mathbb{N})$ under the square summable norm $\Vert \cdot \Vert_2.$ Let us define a new norm $||| \cdot ||| $ equivalent to $\Vert \cdot \Vert_2$ such that the closed ...
- 85
0
votes
0
answers
75
views
Morse functions on subset $\bar \Omega$ of $\mathbb {R}^d$ and its level sets
Let $f$ be a $C^{2}(\bar{\Omega})$ Morse function, where $\Omega$ is a bounded open set of $\mathbb{R}^d$: this means that
$$
\begin{cases}
f(x) = 0 \\
\nabla f (x) \neq 0
\end{cases}\text{ on }\...
- 61
0
votes
0
answers
119
views
Weak convergence in $W^{ 1,q}(\Omega) $ $ (1 \leq q < \infty)$ space
Let $\Omega \subset \mathbb { R } ^ n $be a bounded domain, and suppose that in the space $W^{ 1,q}(\Omega) $ $ (1 \leq q < \infty)$, the sequence $\{ u_j \} $ converges weakly in $W^{ 1,q}(\Omega)...
- 471
0
votes
0
answers
145
views
Convergence of Solutions of Integral Equations with Weakly Converging Forcing Terms
Let $\Omega$ be a bounded interval of $\mathbb{R}$ and let $y\in L^\infty(\Omega \times (0,T))$ be a mild solution of the integral equation
$$
y(\cdot,t)=S(t) y_0+\int_0^t S(t-s) \left[u(\cdot,s)y(...
- 55
0
votes
0
answers
78
views
Sobolev trace inequality with exterior domains
Let $x_1\in \mathbb{R}^n$, $n\geq 3$, $\Omega=\mathbb{R}^n\backslash B_1(x_1)$, define $D_{\Omega}$ by taking the closure of $C_{c}^{\infty}(\overline{\Omega})$ under the norm
\begin{align*}
\|u\|_{D_{...
- 471