Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
183 views

Example of a conditionally convergent series $\sum_{n=1}^\infty b_n$ such that $n^2(b_n-b_{n+1})$ is bounded

Let $(b_n)_{n \in \mathbb{N}}$ be a real sequence such that $(nb_n)$ is bounded. I know that if the series $\sum_{n=1}^\infty b_n$ is conditionally convergent, then $(n^2b_n)_n$ is not bounded. But, ...
Kanydo Mat's user avatar
2 votes
1 answer
201 views

Combination of simple tensors - II

This is a follow-up question to Combination of simple tensors. I am interested in devising an alternative norm (I mean, other than the usual $\pi$ or $\epsilon$ norms) in the tensor product of two ...
Lorenzo Guglielmi's user avatar
6 votes
1 answer
319 views

How are coordinate charts constructed in noncommutative geometry?

In noncommutative geometry, one is given a triple $(A,D,H)$, where $A$ is a commutative C* algebra, $H$ is a Hilbert space, and $D$ is an operator. There is a somewhat long list of conditions that ...
0x11111's user avatar
  • 593
2 votes
1 answer
320 views

Fourier series but different waveform

Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
Zhang Yuhan's user avatar
1 vote
0 answers
59 views

Gaussian Hypercontractivity of Chaos based on Gaussian with value in Hilbert spaces?

The classical Gaussian hypercontractivity is stated as following: Suppose $\xi$ is a Gaussian variable and $H_n(\xi)$ is the space of n-th homogeneous Wiener chaos constructed from $\xi$, then for any ...
Inuyasha's user avatar
  • 253
13 votes
0 answers
573 views

Classical (i.e. commutative) spaces with quantum symmetry but no classical symmetry

In a recent preprint (arXiv:2311.04889), my coauthors and I constructed a sequence of graphs with no classical symmetry which nevertheless have quantum symmetry. For graphs this had been an open ...
David Roberson's user avatar
3 votes
1 answer
169 views

Can homomorphisms be Borel in some weaker topology?

Let $X$ be a Banach space with separable dual and let $A$ be a Banach algebra. Consider a norm continuous homomorphism $h$ from $L(X)$, the Banach algebra of bounded operators on $X$ onto $A$. In $L(X)...
Ali Hasemi's user avatar
2 votes
0 answers
152 views

Does the complex interpolation space $(L^1(\mathbb{R}),W^{2,1}(\mathbb{R}))_{\frac{1}{2}}$ continuously embed into $L^\infty(\mathbb{R})$?

The complex interpolation space between $(L^p(\mathbb{R}),W^{2,p}(\mathbb{R}))_\theta$ with interpolation parameter $\theta=\frac{1}{2}$ is known to be $W^{1,p}(\mathbb{R})$ for $1<p<\infty$. As ...
vmist's user avatar
  • 989
4 votes
1 answer
279 views

Schroedinger operator in 2 dimensions with singular potential

Consider the Schroedinger operator $$H = -\Delta + \frac{c}{\vert x \vert^2}$$ in two dimensions with $c >0$ This operator has a self-adjoint realization, since it is a positive symmetric operator ...
António Borges Santos's user avatar
0 votes
1 answer
126 views

Clarification on the Interpretation of Fourier Coefficients in the Context of Fourier Projections

I am currently studying a paper (Section 3.4.3 of Lanthaler, Mishra, and Karniadakis - Error estimates for DeepONets: a deep learning framework in infinite dimensions) where the authors define an ...
Mohammad A's user avatar
0 votes
0 answers
134 views

How can i show that the last equality in the text is true?

Suppose that $v$ is critical point of $$ f(u)=\frac{1}{2} \int_D|\nabla u|^2-\frac{1}{p+1} \int_D|u|^{p+1}, \quad u \in H_{0, \text{rad}}^1(D),\quad D(r, d)=\left\{z \in R^N: r^2<|z|^2<(r+d)^2\...
Pádua's user avatar
  • 69
0 votes
1 answer
100 views

Projection on a countable union of linear subspace

For any natural number $n$, $V_n$ denotes a closed linear subspace of a $L_2(m)$ space, which is an Hilbert Space, where $m$ denotes a finite measure. Moreover $(V_n)$ is increasing, that is $V_n$ is ...
Guest2024bis's user avatar
3 votes
1 answer
145 views

Does the union of fractional Sobolev spaces fills $L^p$?

Let $\Omega\subset \Bbb R^d$ be any open set. Recall that for $s\in (0,1)$, the fractional Sobolev space $W^{s,p}(\Omega)$ is the collection of function in $L^p(\Omega$ such that \begin{align*} \iint_{...
Guy Fsone's user avatar
  • 1,101
4 votes
0 answers
76 views

Regularity structures-paracontrolled distributions: do they always work for sub-critical SPDE?

Stochastic PDE could be solved using either regularity structures or paracontrolled distributions, as long it's sub-critical. I was wondering if this was proven, that is every sub-critical SPDE could ...
mathex's user avatar
  • 573
2 votes
0 answers
132 views

Convergence of integral operators' inverses

Let $K$ be a positive definite integral operator with continuous kernel $K(x,y)$ defined by $$ Kf(x) = \int_0^1 K(x,y) f(y) \, dy. $$ Let $K_n$ denote the matrix $K(x_i, x_j)$ with $x_i = i /n$ and ...
tsnao's user avatar
  • 620
0 votes
1 answer
127 views

Continuous extensions of tangent vector fields

Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
MathLearner's user avatar
3 votes
0 answers
96 views

Excising the trace of a $II_1$-factor

Recall that a state $\varphi$ on a $C^*$-algebra $A$ is said to be excised by projections if there exists a net of projections $e_i \in A$ such that $\| e_i a e_i - \varphi(a) e_i\| \to_{i} 0$ for all ...
pitariver's user avatar
  • 297
5 votes
0 answers
899 views

Is such a Banach space $X$ isometrically isomorphic to a Hilbert space or not?

Let $X$ be a real or complex Banach space. $X$ satisfies:There exists real or complex series $\{a_k\}_{k=1}^n,\{b_k\}_{k=1}^n$ (which satisfies that:$\begin{cases} a_k,b_k\in \mathbb{R}\ \forall k=1,\...
anyon's user avatar
  • 181
4 votes
0 answers
87 views

Colimits of locally convex spaces in the categories of topological vector spaces vs locally convex spaces

Let $S$ be a set and let $V_s$ be a family of locally convex topological vector spaces (LCSs) indexed by $s \in S$. Let $V$ be a vector space (without topology) and let $T_s:V_s \to V$ be a family of ...
James Tener's user avatar
1 vote
0 answers
94 views

Multivariate polynomial approximation

Let $f$ be a function on $[-1,1]^d$ with some smoothness property, for example, it is in the Sobolev space $W^{k,p}$. Let $P_n$ is a space of polynomials with degree $n$. My question is what is the ...
Iris's user avatar
  • 61
2 votes
0 answers
81 views

Extension of a tangent vector field

Let $\Omega$ be an open subset of $S^2$ with $\overline{\Omega} \neq S^2$. Suppose a continuous tangent vector field $G$ is defined on $\partial \Omega$ such that $|G(y)| = 1$ for all $y \in \partial \...
MathLearner's user avatar
0 votes
1 answer
117 views

How to understand the unique continuation result

Let $E$ be the closure of $C_c^{\infty}\left(\mathbb{R}^N\right)$ ($N \geqq 3)$ under the norm $$ \|u\|_E=\left(\int_{\mathbb{R}^N}|\nabla u|^2\right)^{1 / 2}. $$ Suppose $K(x) \in C^1\left(\mathbf{R}^...
Davidi Cone's user avatar
3 votes
0 answers
105 views

Maximal-type inequality for a Borel probability measure supported on a subset of $L^2(\mathbb{R}^d)$

Let $\mu$ be a Borel probability measure on $L^2(\mathbb{R}^d)$ for $d\ge 1$ which is moreover supported on the unit sphere $$S=\{\phi\in L^2(\mathbb{R}^d): \| \phi\|_{ L^2(\mathbb{R}^d)}=1\}.$$ Let ...
Dispersion's user avatar
0 votes
0 answers
46 views

Uniqueness results for linear first order systems of PDEs

Context: I have the following system of PDEs, for an unknown function $u:\mathbb{R}^{n+1}\to \mathbb{C}^m$ (it is a system in the components of $u$): $$u_{x_0}=\sum_{i=1}^n A_iu_{x_i} + B(x)u\qquad u(...
Samuele's user avatar
  • 1,205
1 vote
1 answer
112 views

A bilinear estimate with a simple one-dimensional oscillatory integral kernel

Let $f\in L^{p}(\mathbb{R})$, $1\leq p\leq 2$. I am trying to show that $$\int_{\mathbb{R}}\int_{\mathbb{R}} \,K(y,z)\, \frac{f(y)f(z)}{y^{\frac{1}{2\,p^{\prime}}}\,z^{\frac{1}{2\,p^{\prime}}}}\,dy\,...
Medo's user avatar
  • 852
2 votes
1 answer
214 views

Are projective tensor products left-exact if one considers only maps of norm at most 1?

Consider the category $\mathrm{Ban}$ of Banach spaces and bounded linear maps and the category $\mathrm{Ban}_1$ of Banach spaces and bounded linear maps of operator norm at most 1. Let $\otimes_\pi$ ...
Stephan Mescher's user avatar
0 votes
1 answer
90 views

For any $p, q \in [1,\infty]$ and $s \in (0,\infty)$, can we find some $f \in L^q - W^{s,p}$?

Sobolev inequalities show us when we can embed a Sobolev space into another. However, I wonder if these inclusions are always proper. More specifically, let $\Omega \subset \mathbb{R}^n$ be a bounded ...
Isaac's user avatar
  • 3,477
6 votes
1 answer
798 views

A Poincaré-like inequality

Is it true that for some real $K>0$ and all real $u\in C_0^\infty((0,1))$ we have $$\int_0^1 (u'(x)^2+u(x)^2)\,dx\,\int_0^1 u(x)^2\,dx \le K\Big(\int_0^1 x\,u'(x)^2\,dx\Big)^2\text{ ?}$$
Iosif Pinelis's user avatar
2 votes
0 answers
245 views

Convergence of metric and eigenvalues on a tubular neighbourhood

Background: Consider the sphere $S^2$ with the round metric $g$ and let $\gamma$ be one half of a great circle of length $\pi.$ Let $T_\epsilon$ denote a geodesically convex tube around $\gamma$ of ...
Student's user avatar
  • 537
1 vote
0 answers
207 views

Specific type of PDE

While deriving the SHJB equation for a specific case I stumbled upon this (using Einstein's convention for repeated indices): $$\rho J = (x_i \tilde u_i-K_i) + (\alpha_i + \beta_{ij}x_j - R_{ijk} \...
Gennaro Marco Devincenzis's user avatar
3 votes
2 answers
280 views

Question about the Bessel operator

For $\nu>-1$ denote by $\{\lambda_{k,\nu}\}_{k\in\mathbb{N}}$ the succesive positive zeros of the Bessel function of the first kind $J_{\nu}$. The Bessel operator is given by \begin{equation*} L_\...
Tony419's user avatar
  • 421
2 votes
1 answer
79 views

Hausdorff-Lipschitz continuity of cone correspondence

Let $\mathbb{R}_+$ denote the strictly positive real numbers, let $\mathcal{X} \subset \mathbb{R}^n$ and $\mathcal{P} \subset \mathbb{R}^m$ be compact and convex subsets, let \begin{equation} f: \...
Heinrich A's user avatar
1 vote
1 answer
254 views

What can one say about the Dirichlet problem for Schrödinger equation with negative potential?

Consider the Schrödinger type equation in $\Bbb R^2$: $$ \Delta f(x,y)+c(x,y)f(x,y)=0 $$ where $c(x,y)$ is a positive (!) function everywhere analytic on the plane, and $\Delta$ is the Laplace ...
Ilya Kossovskiy's user avatar
1 vote
1 answer
370 views

Bounding supremum norm in terms of gradient L2-norm using a Poincare-like inequality

Suppose $f$ is a Lipschitz continuous real-valued function over a bounded domain $\Omega \subset \mathbb{R}^d$ with smooth boundary, and let $\overline{f} := \frac{1}{|\Omega|}\int_\Omega f(x) dx$. Is ...
Greg O.'s user avatar
  • 148
3 votes
2 answers
183 views

Dimension of spectral projection subspaces under strong convergence of operators

I have a possibly simple question regarding estimating bounds on spectral projection subspace. Let $H_n$ be a sequence of bounded self-adjoint operators on $\ell^2(\mathbb{Z}^2)$ converging in the ...
Keen-ameteur's user avatar
0 votes
1 answer
102 views

On weighted Fourier transforms

Suppose that $f\in L^{\infty}((0,1))$ and that there exists $c_1,c_2>0$ such that $$ \left|\int_0^1 e^{i \xi x} e^{-|\xi|^{-1}x}f(x)\,dx \right| \leq c_1 e^{-c_2|\xi|} \quad \forall\, |\xi|>1.$$ ...
Ali's user avatar
  • 4,115
2 votes
0 answers
75 views

Regularity of solutions to an elliptic boundary value problem

Let $M = [1,\infty)\times S^2$. For an integer $k \geq 2$ and number $\tau<0$, define the space $L^2_{\tau}([1,\infty);H^k(S^2))$ to be all $H^k(S^2)$-valued functions $u$ on $[1,\infty)$ with $\...
Laithy's user avatar
  • 969
8 votes
1 answer
357 views

Estimates of $\Delta|\nabla u|$ for harmonic function $u$

The well-known Bochner formula and refined Kato inequality (for harmonic function) tells us that for a harmonic function $u$ in $B_{2}\subset\mathbb{R}^{n}$, $$ \frac{1}{n}|\nabla^{2}u|^{2}\leqslant |\...
Xin Qian's user avatar
  • 155
8 votes
2 answers
670 views

Asymptotic behavior of a certain oscillatory integral

Let $x>0$ and consider the integral $$I(x):=\int_0^\infty \frac{e^{i r}}{r^{\frac{1}{2}}} \int_0^\infty \frac{e^{-s}}{s^{\frac{1}{2}}} \frac{r}{sx+\sqrt{sxr}+r} \, ds \, dr.$$ I am trying to ...
Medo's user avatar
  • 852
0 votes
0 answers
42 views

Geometric alignment of adaptive models on evolving manifolds

Let $(M_t)_{t\in[0,T]}$ be a smooth family of compact $d$-dimensional Riemannian submanifolds of $\mathbb{R}^n$. Consider a function $f_t : \mathbb{R}^n \to \mathbb{R}$ evolving over time $t \in [0,T]$...
CollisionGeometry's user avatar
4 votes
0 answers
108 views

Larger possible chain of closed subspaces in the dual of a Banach space

In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces. My question is the following. If $X$ is an ...
Emerick's user avatar
  • 153
2 votes
1 answer
154 views

Are these two norms on localized versions of $L^p_q$ equivalent?

$\newcommand{\RR}{\mathbb R}\newcommand{\diff}{\, \mathrm d}$ We fix $T \in (0, \infty)$ and $p, q \in [1, \infty)$. Let $\mathbb T$ be the interval $[0, T]$. Let $E$ be the space of all real-valued ...
Akira's user avatar
  • 825
2 votes
1 answer
112 views

On compactly supported functions with prescribed sparse coordinates

Let $\{\phi_n\}_{n=1}^{\infty}$ be an orthonormal basis for $L^2((0,1))$ consisting of Dirichlet eigenfunctions for the operator $-\partial^2_x + q(x)$ where $q \in C^{\infty}_c((0,1))$ is fixed. ...
Ali's user avatar
  • 4,115
1 vote
1 answer
152 views

Points in the Stone Cech compactification are intersection of open sets

Let $\beta \mathbb{N}$ be the Stone Cech compactification of the natural numbers and let $ x\in \beta \mathbb{N}$. Is it true that there exists a sequence of open sets $\{U_n\}_{n=1}^\infty$ in $\beta ...
Serge the Toaster's user avatar
1 vote
1 answer
133 views

A question about the maximal function

Let $n>4$, $f\in C^{\infty}(\mathbb{R}^{n})$ and 0 denote the origin of $\mathbb{R}^{n}$. We define a weighted maximal function by $$Mf(x)=\sup_{0<r<1}r^{4-n}\int_{B_{r}(x)}|f|$$ which is ...
Xin Qian's user avatar
  • 155
1 vote
1 answer
433 views

Derivative of Wasserstein distance $W^p_p$ along solutions of the continuity equation (contradicting statements in different sources)

Let $(\rho^{(i)}_t,{\bf v}^{(i)}_t)$ for $i = 1,2$ be two solutions of the continuity equation $$\partial \rho^{(i)}_t + \nabla\cdot \left({\bf v}^{(i)}_t \rho^{(i)}_t\right) = 0 \label{1}\tag{1}$$ on ...
Fei Cao's user avatar
  • 730
0 votes
0 answers
235 views

Analogue of $\ell^2(X)$ over an arbitrary Banach ring

Let $X$ be a set. Over the Banach fields $F=\mathbb{R}$ or $F=\mathbb{C}$ we can define the Banach space$$\ell^2(X)=\{\xi\colon X\to F\mid \sum_{x\in X}|\xi(x)|^2<\infty\}$$which satisfies a list ...
Luiz Felipe Garcia's user avatar
0 votes
1 answer
143 views

Is the space $C_0^{k}(\Omega)$ a Montel space?

I asked this question in the MathStackExchange, but I think I'm not get any answer. I'm trying to find a reference for the following result: Theorem: Let $\Omega$ be a open subset of $\mathbb{R}^{d}$ ...
Math's user avatar
  • 509
60 votes
23 answers
108k views

A good book of functional analysis [closed]

I'm a student (I've been studying mathematics 4 years at the university) and I like functional analysis and topology, but I only studied 6 credits of functional analysis and 7 in topology (the basics)....
6 votes
1 answer
285 views

Distinguishing the Besov and Triebel-Lizorkin spaces

Theorem 2.3.9. in Triebel's Theory of Function Spaces states that the Besov space $B^{s_1, p_1}_{q_1} (\mathbb R^d)$ coincides with the Triebel-Lizorkin space $F^{s_2, p_2}_{q_2} (\mathbb R^d)$ if and ...
Jason Zhao's user avatar

1
12 13
14
15 16
259