Skip to main content

All Questions

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

spectra of sums in (Banach) algebras

A similar question was already asked in question titled "Spectra of sums and products in (Banach) algebras [was: Spectrum in Banach Algebra]". Answer there led me to the following question. If for ...
spelas's user avatar
  • 179
2 votes
1 answer
265 views

Multiple ergodic averages with varying number of terms

Hi. I've been stuck on the following question for some time. Consider a sequence of functions $\left( f_n \right)$ from an ergodic space $\left( \mathsf{X}, \mathsf{S}, \mu \right)$ to $\left[ 0,1 \...
nonameisfinetoo's user avatar
1 vote
1 answer
496 views

Can be this operator extended to an unbounded self-adjoint operator ?

Consider an enumeration $\{q_1,q_2,\ldots\}$ of $\mathbb{Q}\cap [1,\infty)$ and a orthogonal Schauder basis $\{e_1,e_2,\ldots\}$ of $\ell^2(\mathbb{N})$. Define $Ae_{2k-1}=e_{2k-1}$ and $Ae_{2k}=...
Leandro's user avatar
  • 2,044
0 votes
1 answer
365 views

Integral in a σ−convex set.

Having had no (proper) answer to this question, I formulate the remaining case as a new question as follows. With $I=[0,1]$, let $E$ be a separable (real) Banach space, and let $\gamma:I\to E$ be ...
TaQ's user avatar
  • 3,584
5 votes
2 answers
1k views

Sobolev imbedding on Riemannian manifolds

Let $(M, g)$ be a non-compact smooth Riemannian manifold of dimension $n \ge 2$, and $G$ a subgroup of the isometry group of $(M,g)$, say with $G$ contained in the component of the identy. Let $W^{1,...
HorizonsMaths's user avatar
3 votes
1 answer
556 views

Convergence of mountain pass solutions of $-\Delta u+u=u|u|^{p-2}$

Consider the following equation in $\mathbb{R}^N, N \ge 3$: $$ (E) \quad -\Delta u +u=|u|^{p-2}u, $$ where $2 < p < 2^{*} =2N/(N-2)$. Denote by $J: H^1(\mathbb{R}^N) \to \mathbb{R}$ the ...
HorizonsMaths's user avatar
2 votes
1 answer
431 views

Sobolev imbedding

It is known that, for $n \ge 3, 2 < p< 2^*$, the imbedding $H^1(\mathbb{R}^n) \hookrightarrow L^p(\mathbb{R}^n)$ is not compact. Let $G=O(n_1) \times O(n_2)\times\cdots\times O(n_k)$, with $n_1+...
HorizonsMaths's user avatar
5 votes
1 answer
2k views

Proof of a concentration compactness lemma

Hi I'm stuck with the proof of a concentration-compactness lemma. We have the following equation in $\mathbb{R}^N, N \ge 3$: $$ -\Delta u +u=|u|^{p-2}u, $$ where $2 < p < 2^{*}$. The functional ...
HorizonsMaths's user avatar
9 votes
3 answers
2k views

Trace theorem for $C^{k,1}$ domains

What are the best results on (Sobolev space) trace theorems for $C^{k,1}$ domains? For $k=0$, e.g., when the domain is Lipschitz, from e.g. the works of Martin Costabel and Zhonghai Ding, it is known ...
timur's user avatar
  • 3,322
23 votes
1 answer
2k views

Which Fréchet spaces have a dual that is a Fréchet space?

I've read the claim that Fréchet spaces that are not Banach spaces never have a dual that is a Fréchet space, but have not been able to find a proof of this statement. Is it trivial or does someone ...
Tim van Beek's user avatar
  • 1,544
8 votes
1 answer
1k views

Ring of continuous functions, reference request.

I am looking for a reference for the following facts in functional analysis and topology. (If these "facts" are not true, I suppose I'm looking for the closest approximation which is true.) Let $X$ ...
Marty's user avatar
  • 13.3k
17 votes
2 answers
5k views

Positive-Definite Functions and Fourier Transforms

Bochner's theorem states that a positive definite function is the Fourier transform of a finite Borel measure. As well, an easy converse of this is that a Fourier transform must be positive definite. ...
Alex R.'s user avatar
  • 4,952
11 votes
1 answer
642 views

Random walk origin return monotinicity

Consider a Markov chain on $\mathbb{Z}^d$ with transition kernel $P$ for adjacent vertices (non-diagonal). Essentially this is a $d$ dimensional random walk with the probability of a transition ...
Alex R.'s user avatar
  • 4,952
3 votes
0 answers
385 views

Off-diagonal asymptotic expansion of the Bergman kernel on hyperbolic Riemann surfaces

Let $X$ be a compact Riemann surface of genus at least 2. Let $K$ denote the canonical line bundle, and $E$ be any vector bundle. Let $P^{(m)}$ be the projection map from the space $L^2(X,K^mE)$ of ...
user avatar
5 votes
2 answers
491 views

Is independence meaningful for commutative $C^*$-algebras?

I don't know very much about spectral theory so probably the answer to my question has a basic reference which I would appreciate. Let's say I have two self-adjoint operators on a Hilbert space and ...
Phil Isett's user avatar
  • 2,243
0 votes
2 answers
796 views

Extending Continuous Sublinear maps on dense subsets of a Banach space

Suppose X' and Y are Banach spaces and X is a linear subspace dense in X'. Let T be a continuous map of X to Y satisfying: (1) ||T(x+y)|| is less than or equal to ||T(x)||+||T(y)||. Please prove ...
Jeffrey's user avatar
  • 11
7 votes
3 answers
4k views

Measures on infinite dimensional Banach spaces

Does there exist a Borel measure or any valid measure on an infinite dimensional Banach space such that a bounded open set in this space has a positive measure ?
Ravindra Saraykar's user avatar
8 votes
1 answer
2k views

Limits of Nilpotent and Quasi-nilpotent Operators in a $\mathrm{II}_1$-factor

A bounded operator $A$ in a Hilbert space is called nilpotent if there exists $n$ such that $A^{n}=0$. An operator is called quasi-nilpotent iff $$ \limsup_{n\to\infty}{ \|A^{n}\|^{1/n}}=0. $$ Every ...
ght's user avatar
  • 3,626
6 votes
1 answer
404 views

Unique preduals up to (nonisometric) isomorphism?

It's well known that there are Banach spaces which has a unique isometric predual-- for example, any von Neumann algebra. As other questions on here (for example, Isomorphisms of Banach Spaces ) ...
Matthew Daws's user avatar
  • 18.7k
5 votes
2 answers
1k views

Critical Radius for Infinite Dimensional Sphere Packing

Hello. I'd like to consider the open unit ball in an infinite dimensional Hilbert space and ask when can we fit infinitely many open balls of radius $r<1$ inside. For example, when $r=1/(1+\sqrt2)$...
Ryan Thorngren's user avatar
3 votes
0 answers
637 views

Fixed point theorem for convex, closed multivalued mapping

There is well-known fixed point theorem theorem for multivalued l.s.c. maps, based on Michael selection theorem: Suppose, that $X$ is compact, convex and metrizable in locally convex Hausdorff ...
Maciej Skorski's user avatar
4 votes
1 answer
1k views

Sobolev-Slobodeckij spaces for p=infinity

For $1\leq p<\infty$ an approach to define fractional Sobolev spaces is by Sobolev-Slobodeckij spaces a generalisation of Hölder continuity. For example letting $U\subset\mathbb{R}^n$ then, $ \...
alext87's user avatar
  • 3,217
12 votes
3 answers
3k views

Infinitesimal generators of stochastic processes

What's the $L^1$ analogue of Stone's theorem saying that any strongly continuous 1-parameter unitary groups has a unique self-adjoint generator? More precisely: let $X$ be a measure space ($\sigma$-...
John Baez's user avatar
  • 22.3k
3 votes
2 answers
1k views

Sum of two closed operators closable

I found this question on another forum, and after processing it a bit, I didn't find a good answer. The question is: Is the sum of two closed operators closable? If not, give an example of two ...
Beni Bogosel's user avatar
  • 2,222
9 votes
2 answers
928 views

Property (T) for pseudogroups

Let $H$ be a Hilbert space, $S(H)$ be the inverse semigroup (pseudogroup) of linear maps between (closed) subspaces of $H$ preserving the dot product (the operation is composition of partial maps). ...
user avatar
3 votes
2 answers
642 views

Localization of Laplacian eigenfunction on the unit square?

Let A be the unit square, $\{u_k\}$ is the set of all L2-normalized Laplacian eigenfunctions with Dirichlet boundary condition. Is it true that for any open subset V, $C_V = \inf\limits_k \int\...
Denis Grebenkov's user avatar
5 votes
3 answers
987 views

Boundedness of Laplacian eigenfunctions

Let $A$ be a bounded domain in $\mathbb R^d$, $d>1$, and $\{u_k\}$ is the set of all $L^2$-normalized Laplacian eigenfunctions on $A$ with Dirichlet boundary condition (i.e., $\|u_k\|_2 = 1$). Is ...
Denis Grebenkov's user avatar
9 votes
1 answer
1k views

A question concerning separate and joint continuity of bilinear maps

Suppose that $V$ is a locally convex topological vector space and $f:V^2 \to V$ is a bilinear map. Suppose that $C \subseteq V$ is compact and convex, $f$ maps $C^2$ into $C$ and $f \restriction C^2$ ...
Justin Moore's user avatar
  • 3,547
7 votes
4 answers
2k views

Invariant means on the integers

Let $A\subseteq\mathbb Z$, as usual we define the lower Beurling density $d^{-}(A)=\lim\inf_{n\rightarrow\infty}\frac{|A\cap[-n,n]|}{2n+1}$ and the upper Beurling density $d^+(A)=\lim\sup_{n\...
Valerio Capraro's user avatar
13 votes
2 answers
3k views

What is the "correct" generalization of operator norms for nonlinear operators?

I have been recently wondering what is a (or even the) "correct" generalization of the notion of an operator norm to nonlinear operators? Please excuse the naivete of my question; if you think that ...
Suvrit's user avatar
  • 28.6k
7 votes
2 answers
988 views

Missing mass conjecture

Let $n,t$ be positive integers and $p_1,p_2,\ldots,p_n$ positive numbers summing to 1. Conjecture: $$ \sum_{i=1}^n p_i (1-p_i)^t \le \frac{n(1-1/n)^n}{t} $$ always holds. The motivation comes from my ...
Aryeh Kontorovich's user avatar
9 votes
2 answers
1k views

Which Banach algebras are group algebras?

Given a locally compact Hausdorff group $G$, one can construct several Banach star-algebras using $G$ (and its associated Haar measure): $L^1 (G)$, $M(G)$ (regular complex measures on $G$), $L^{\infty}...
Mark's user avatar
  • 4,874
1 vote
0 answers
869 views

Limit of two hypergeometric functions (2F1)

Hi, Does anyone know whether there is a known function/distribution that corresponds to the limit: $\lim_{\epsilon\rightarrow0^+} \mathfrak{Re}\left[f(x+i\epsilon) - f(x-i\epsilon)\right]$ when $f(...
matimo2's user avatar
  • 131
15 votes
2 answers
810 views

Are extensions of nuclear Fréchet spaces nuclear?

Consider the category of Fréchet spaces, the morphisms being continuous linear maps with closed image. Suppose that we have a short exact sequence in that category: $0 \rightarrow V_1 \rightarrow ...
Ralf's user avatar
  • 261
2 votes
1 answer
508 views

Fractional integration lemma

Hello everyone. I am trying to establish a fractional integration lemma of this form. For $\alpha\geq 0$, and $1\leq p,q<\infty$ and $0\leq \frac{1}{q}-\frac{1}{p}=\frac{\alpha}{d}$ or $1\leq p,...
Nicolas L's user avatar
24 votes
3 answers
3k views

Can Hölder's Inequality be strengthened for smooth functions?

Is there an $\epsilon>0$ so that for every nonnegative integrable function $f$ on the reals, $$\frac{\| f \ast f \|_\infty \| f \ast f \|_1}{\|f \ast f \|_2^2} > 1+\epsilon?$$ Of course, we ...
Kevin O'Bryant's user avatar
10 votes
2 answers
881 views

volume of the unit ball of the Banach space $\ell_1^n\otimes_{\epsilon}\ell_1^n$?

We denote by $\otimes_{\epsilon}$ the injective Banach tensor product. Which is the asymptotic volume of the unit ball of the Banach space $\ell_1^n\otimes_{\epsilon}\ell_1^n$?
BigBill's user avatar
  • 1,222
4 votes
2 answers
1k views

Projective Banach spaces

Injective Banach spaces, with morphisms as contractive linear maps, have been classically studied (and are $C(K)$ spaces with $K$ Stonian). But what about projectives? So $P$ will be projective if ...
Matthew Daws's user avatar
  • 18.7k
5 votes
1 answer
794 views

Can the Sobolev norm of order 1/2 detect "jumps"?

We are given a function $f: \mathbb R^d \to \mathbb R$. For simplicity we can assume that $f$ is smooth and compactly supported. Is the Sobolev norm of order $\frac{1}{2}$ strong enough to prove an ...
Martins Bruveris's user avatar
2 votes
3 answers
358 views

Almost Orthogonal Vectors given a Unitary Operator

Let $\mathit{H}$ be a (real or complex) Hilbert space and $U:\mathit{H}\rightarrow\mathit{H}$ be a unitary operator. What conditions can be placed on $U$ to guarantee a sequence $v_n$ such that $|v_n|...
Autoleech's user avatar
  • 163
13 votes
4 answers
5k views

Gaussian processes, sample paths and associated Hilbert space.

Given a Gaussian process on some topological space $T$, with a continuous covariance kernel $C(\cdot,\cdot)\colon T\times T\to R$, we can associate a Hilbert space, which is the reproducing kernel ...
kjetil b halvorsen's user avatar
2 votes
2 answers
1k views

Characterization of closed subspaces of $ L^2(R)$

Natural way to find an example of banach spaces is to look at closed subspaces of Banach spaces. Initially, It was really hard to find examples of closed subspaces of $L^2(R)$. Then, my professor gave ...
Rahul Gupta's user avatar
9 votes
2 answers
1k views

Hilbert transforms of measures

Given a finite measure $\mu$ on the real line $\mathbb R$, one definition of its Hilbert transform is $(H\mu)(y) =\frac{1}{\pi}(PV)\int \frac{d\mu(x)}{x-y}$ which is known to exist almost everywhere ...
Rick Loy's user avatar
15 votes
3 answers
4k views

What holomorphic functions are limits of polynomials?

Let $\Omega$ be a connected open set in the complex plane. What is the closure of the polynomials in $\mathcal{H}(\Omega)$ the set of holomorphic functions on $\Omega$? The topology is the usual ...
Olivier Bégassat's user avatar
16 votes
1 answer
691 views

Unbalancing lights in higher dimensions

In ''The Probabilistic Method'' by Alon and Spencer, the following unbalancing lights problem is discussed. Given an $n \times n$ matrix $A = (a_{ij})$, where $a_{ij} = \pm 1$, we want to maximise the ...
Ashley Montanaro's user avatar
3 votes
1 answer
588 views

orthonormal basis of eigenvectors for laplacian on a concave polygon

I am interested in the Laplace operator $\Delta$ on a concave polygon. When the polygon is convex, it is known that $\Delta: H^2(\Omega) \rightarrow L^2(\Omega)$ is boundedly invertible. In addition, ...
localizer's user avatar
1 vote
2 answers
1k views

Convergence of eigenvectors

Let $T$ be a compact operator on $l^2$. Let $T_n$ be finite rank operators and $T_n \to T$ in the operator norm. Is it true that the eigenvalues and eigenvectors of $T_n$ converge to eigenvalues and ...
Szopa's user avatar
  • 31
1 vote
2 answers
294 views

inequality of norms [closed]

Let $X$ and $Y$ be two Banach spaces with norms $\|\|_X$ and $\|\|_Y$ respectively. If $Z=X\times Y$ is also a Banach space with norm $\|\|_Z$ then what is the relation between $\|\|_X,\:\|\|_Y$ and $\...
Sanket A. A. Tikare's user avatar
2 votes
0 answers
520 views

Eigenvector of infinite matrix

I consider the system of reaction-diffusion PDEs in a ball with Robin boundary condition. It is a Steklov eigenvalue problem (see G Auchmuty (2004) "Steklov eigenproblems and the representation of ...
Szopa's user avatar
  • 31
12 votes
3 answers
16k views

Dual space of $\ell^\infty$

Why can the elements of the dual space of $\ell^\infty(\mathbb N)$ be represented as sums of elements of $\ell^1(\mathbb N)$ and Null$(c_0)$? <hr: EDIT: As confirmed in the comments, the OP ...
Ravil Mudarisov's user avatar

1
189 190
191
192 193
201