All Questions
12,935 questions
1
vote
0
answers
65
views
Request for reference about bound on zeroes of the Laguerre polynomials
Consider the sequence of polynomials given as, $p^{a}_k (x) = (1 - a \frac{d}{dx})^k x^n $ for some parameter $a>0$ and $k$ being a positive integer. For any positive integer $d$ it seems to be ...
- 617
16
votes
0
answers
1k
views
Finite Rank Commutators
My former student Detelin Dosev and I are interested in classifying the commutators in $L(X)$, the bounded linear operators on the Banach space $X$ (see our joint paper on my home page or the ArXiv ...
- 31.5k
0
votes
1
answer
236
views
Brezis-Nirenberg result compared to abstract bifurcation theory
Dear Mathoverflow'ers,
I am interested in the following equation:
$-\Delta u = u^{p-1} + \lambda u$ in $ \Omega$ with $ u=0 $ on $ \partial \Omega$.
1) My question is related to the Brezis-...
- 13
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,...
- 23
1
vote
1
answer
164
views
Maximum number of orthonormal vectors contained in an open cone
Let $H$ be a separable Hilbert space, $\Pi:H\to L$ the orthogonal projection to a linear subspace of finite dimension $p$, and $U$ the open cone of vectors $u\in H$ such that $\langle u,\Pi u\rangle&...
- 329
3
votes
0
answers
183
views
Is the construction of ring C*-algebra functorial?
Cunz and Li defined defined C*-algebras for arbitrary rings with of course some condition. One can look at their article (http://arxiv.org/abs/0905.4861). My question: is the construction functorial? ...
- 95
0
votes
1
answer
179
views
Reference: DaPrato and Grisvard parabolic PDEs.
Has anyone read G. DaPrato and P. Grisvard Equations d'evolution abstraites nonlineaires de type parabolique?
It's not available in my library. I am wondering if it's worth me acquiring it: is it ...
- 45
0
votes
0
answers
166
views
Harnack's Inequality and (hypo)elliptic PDE
Background: I am aware of the Harnack's Inequality for linear elliptic equations.
My questions are:
(a) Is there a version of Harnack's Inequality for nonlinear elliptic equations, say, of the form ...
- 1
4
votes
0
answers
55
views
On a continuous extension of a linear 2nd order PDE
Consider an elliptic (hyperbolic) equation
$A(x,y) u_{xx} + 2B(x,y) u_{xy} + C(x,y) u_{yy} = 0$
in a bounded open plane set $D$, with real-valued functions $A$, $B$, and $C$. Is it true that at least ...
0
votes
2
answers
444
views
Sobolev space: probably simple ode....
I am trying to solve for $y(x)$ in terms of $f(x)$ in a convenient space (eg. $\dot{H}^2(\mathbb{T})$-zero mean). Here is the ode:
$y(x)+y(x)y'(x)=f(x)$.
I think a contraction mapping argument will ...
- 9
8
votes
1
answer
381
views
Estimating flat norm distance from a planar disc
Let $D\subset\mathbb R^2\subset\mathbb R^n$ be a unit planar disc in $\mathbb R^n$. Let $S$ be an orientable two-dimensional surface in $\mathbb R^n$ such that $\partial S=\partial D$. Of course, we ...
- 32.4k
4
votes
0
answers
59
views
Behaviour of Markov type under uniform homeomorphism of spheres
A metric space $(X,d_X)$ has Markov type $p$ (with $p \in [1,2]$), if, for every stationary Markov chain $\{Z_n\}_{n=0}^\infty$ on $Y$ (a finite space) and every mapping $f:Y \to X$, one has
$$
\...
- 4,432
0
votes
0
answers
152
views
Need help determining whether a certain map is a $C^\ast$ homomorphism
Hello, I need help determining whether the map I defined between two algebras is a well-defined homomorphism of $C^\ast$-algebras. I ran into this problem while trying to define a "rotation map" ...
- 365
0
votes
2
answers
415
views
Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$
A $\star$-ring is a ring with an involutive anti-automorphism. The simplest example of a noncommutative $\star$-ring is perhaps $B(l^2)$, the ring of bounded linear functions on the sequence space $l^...
user2529
2
votes
2
answers
354
views
A bound on linear functionals over cotype 2 spaces
This is a modification of the somewhat naive question that I asked below.
Suppose $X$ is a real Banach space of cotype-2, and $u_1, u_2, ... u_n$ are unit vectors in this space. For $\gamma = ((\...
- 2,151
0
votes
1
answer
330
views
Convex sets and projections
Hello!
I recently started (it's purely self-education) reading a "Mathematical programming and optimizations" book, did a vast part of the exercises related to the theoretical part and at one moment ...
1
vote
1
answer
635
views
Closed range for a continuous linear transformation
I have a Banach space $B$ and a continuous linear transformation $F:B \rightarrow B\times B$. One of the induced transformations $F(1):B \rightarrow B$ and $F(2):B \rightarrow B$ into the factors of ...
- 549
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 $\...
4
votes
0
answers
282
views
Pitfalls when generalizing the heat kernel of a Riemannian metric
Suppose $M$ is a Riemannian manifold with some compact quotient under isometries.
Associated with the Riemannian metric one has the Laplace-Beltrami operator $\Delta$ and the heat kernel $p(t,x,y)$ ...
- 4,304
2
votes
0
answers
117
views
Maximum Principle with Banach Control Space
This is a problem that seems very natural to me, but I couldn't find any formal statement in the literature for some time now. I am basically considering an autonomous optimal control problem in which,...
- 197
0
votes
0
answers
146
views
How to bound Haar coefficients in terms of total variation?
I'm trying to get the basic idea behind the proof of Theorem 8.1 of this paper, but I'm having difficulty. Specifically, it says:
We shall show that there is a set $\Lambda_n\subset\mathcal{D}$ such ...
- 7,633
1
vote
0
answers
204
views
Spectrum of Combinatorial Laplacian
The spectrum of the combinatorial laplacian is well understood for a square lattice. What about for other lattices?
In particular:
Let $ f: \mathbb{Z}^2 \rightarrow \mathbb{R} $. The usual ...
- 11
1
vote
0
answers
155
views
About definition of weak derivative in abstract PDE problems
I'm confused about weak derivative definition.
$u \in L^2(0,T;V)$ has weak derivative $u'\in L^2(0,T;V')$ iff
$$\int_0^T u(t)\varphi'(t) = -\int_0^T u'(t)\varphi(t)$$
holds for all $\varphi \in C_0^...
- 11
1
vote
1
answer
353
views
Separability of the space of bounded continuous maps
Let $O$ be an open subset of the separable Hilbert space H and $k\geq0$ . Consider $C_b^k(O, Sym(H))$, the space of k-times continuously differentiable maps with values in the bounded symmetric ...
- 2,935
3
votes
0
answers
488
views
kernel of the conformal Laplacian
Let $M$ be a smooth, closed manifold of dimension $n>2$. Let $L_g$ be the conformal Laplacian of the metric $g$. That is, $L_g=-\Delta_g + \frac{n-2}{4(n-1)}R_g$, where $R_g$ is the scalar ...
- 1,701
0
votes
1
answer
396
views
Characterization of Measureable Sets [closed]
Every countable union of rectangles in R2 is a Lebesgue measurable set. Is the converse true, too?
Specifically, I wonder whether the following statement is true:
Let A be a set in the unit square ...
- 99
2
votes
2
answers
181
views
convergence of the coefficients of lacunary series
I just want to find some standard reference to the following result: let $(a_k)_k$ be the sequence of coefficients of a lacunary Fourier series which converges to an $L_1(T)$ function in the sense of ...
2
votes
0
answers
104
views
Existence of harmonic maps between loops
Given a Riemannian manifold $M$ and two smooth loops $\gamma_0, \gamma_1: S^1 \longrightarrow M$ in it, I am looking for maps $\phi: [0, T] \times S^1 \longrightarrow M$ which minimize the energy
$$E[\...
- 9,853
6
votes
0
answers
257
views
What is the intersection of the closures of left invertible operators and right invertible operators?
From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that
$$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = \...
- 515
5
votes
0
answers
240
views
Linear ODEs in a locally convex vector space
Let $X$ be a complete, locally convex, Hausdorff topological vector space over $\mathbb{C}$. Let $J \subset \mathbb{R}$ be an open interval. Consider the space $M = C^\infty(J,X)$ of smooth ...
- 235
6
votes
0
answers
422
views
How to estimate isoperimetric constant?
Suppose $(X^m, g)$ is a closed Riemannian manifold of dimension $m$ with the following properties,
There is a constant $\kappa$ such that $\kappa r^m \leq Vol(B(x, r)) \leq \kappa^{-1} r^m$
for every ...
- 93
0
votes
0
answers
272
views
L_2-norm representation
Let
$$
f^{\alpha}_+(x)=\frac{1}{\Gamma(\alpha+1)}\sum_{k\ge 0}(-1)^k{\alpha+1 \choose k}(x-k)^{\alpha}_+,
$$
where $\alpha > -\frac 12$.
I am wondering if one can get nice representation of $L^2$-...
- 71
3
votes
0
answers
113
views
inifinite tensor product algebra representation
For a finite integer $N$, let $A_n = \bigotimes^n M_N(\mathbb{C})$. $A_n$ embeds in $A_{n+1}$. Let $A_\infty = \cup A_n$. Are the (complex) irreducible representations of $A_\infty$ known? It is ...
- 103
0
votes
0
answers
205
views
damped wave equation
For $t>0$, $x$ in a compact Riemannian manifold $(M,g)$, and $a\in C^\infty(M)$, $a\geq0$, $(\partial_t^2+a\partial_t-\Delta_g)u=0$ is called the damped wave equation.
My question is...why is the ...
- 115
1
vote
2
answers
288
views
Is it possible that the intersection of two nest algebras contains only scalars?
Dear all, I really want to know the answer of the following question. I would
appreciate any help.
Assume H is a separable Hilbert space, is it possible to find two nests N1, N2
such that the ...
- 61
1
vote
1
answer
226
views
How are real-analytic functions encoded in computer algebra?
I would like to know how are encoded the real-analytic functions on the interval by the computers. When I think in a real-analytic function I just think in a composition of the ''typical'' analytic ...
- 105
0
votes
0
answers
150
views
$n$-th derivative of the prolate spheroidal function
For a given real number $c>0$ define functions $\left(\psi_{k,c}(\cdot)\right)_{k\ge0}$, as an eigenfunctions of the Sturm-Liouville operators $L_c$ defined
$$
L_c(\psi)=(1-x^2)\frac{d^2\psi}{dx^2}...
- 71
3
votes
0
answers
498
views
PDES - from Vector fields whose inner product with their vector Laplacian equals norm of the vector field
Let $g(x_{1},........,x_{n}) = \sum_{i=1}^{n}g_{i}(x_{1},\cdots,x_{n})e_{i}$ be a function in $\mathbb{C}^n$ ($e_{i}$ are the standard bases).
Let $\nabla^{2}$ be the vector Laplacian. Let $<\cdot,...
- 800
1
vote
2
answers
504
views
Do all graphs of C1 functions have Hausdorff dimension 1?
Suppose f is a real-valued function of one variable, and suppose f is of differentiability class C1. My question is, if $\Gamma$ is the graph of f, then must $\dim_H(\Gamma)=1$? If anyone knows of a ...
1
vote
0
answers
84
views
Parabolic partial differential equation, initial conditions
Let $U\subset\mathbb{R}^n$ be open bounded, $T>0$.
Given the parabolic PDE $$\partial_tf+a\partial_xf+b\partial_{xx}f = g \qquad (1)$$ I'm interested in the initial and boundary conditions that ...
- 11
0
votes
1
answer
503
views
When are operators extended by linearity bounded?
Greetings.
Suppose that $H$ is a separable infinite-dimensional Hilbert space and that $M$ is an infinite
dimensional closed subspace of $H$. Suppose that {$v_{n}: n\ge 1$} is an infinite linearly ...
- 129
0
votes
0
answers
83
views
Comparison between operators
I have found the following two concepts:
$\bullet$ Let $L$ be a linear operator in a Hilbert space $H$. The
operator $B$ is said to be $L$-compact if $D(L)\subset D(B)$
and for any $\varepsilon>0$,...
1
vote
0
answers
486
views
Maximum principle for heat eq. with boundary conditions on derivatives
The Maximum principle for parabolic eq. is based on the fact that the boundary conditions are given on u.
How can this Maximum principle be used, when having boundary conditions including derivatives....
- 11
1
vote
1
answer
367
views
An integral which is related to Biharmonic extension
In my research, I need to evaluate an integral:
$$\int_{R^{3}}\frac{y^{3}}{(|x-\xi|^{2}+y^{2})^{3}}\log(|\xi^{2}|+\frac{1}{4})d\xi$$
where $x\in R^{3}$, $y\geq0$. Moreover, I want to see whether it ...
- 11
1
vote
1
answer
318
views
convergence of metrics
Hi, I have the following question: take a Riemannian manifold M, with a family of smooth metrics $g(t)$ in $[0,T)$, call $D_0$ the Levi-Civita connection of $g(0)$ and assume that for every $m\geq 0$
$...
- 21
5
votes
1
answer
514
views
Request for reference: Banach-type spaces as algebraic theories.
Sparked by Yemon Choi's answer to Is the category of Banach spaces with contractions an algebraic theory? I've just spent a merry time reading and doing a bit of reference chasing. Imagine my delight ...
- 26.8k
1
vote
1
answer
53
views
Point moving inside smooth domain?
Let $U \subset \mathbb{R}^2$ be a domain im $\mathbb{R}^3$ with smooth boundary. Let a point move inside $\mathbb{R}^3$ along the smooth curve $x(t)$. We denote by $\mbox{dist}(x(t), \partial U)$ the ...
- 13
1
vote
0
answers
153
views
Functional Analysis Generalizations: indeterminated inner product and functions over manifolds
There are books or articles that deal with generalizations of functional analysis in the sense that the inner product need not be positive-definite or that works with functions over manifolds?
- 11
3
votes
0
answers
302
views
Dense subalgebras of von Neumann algebras and increasing nets
[Question previously asked on Math.SE]
Let $N$ be a von Neumann algebra, and $A$ be a dense $∗$-subalgebra of $N$ (in the ultraweak topology) with $A''=N$. Is it true that:
For any $x∈N^+$, there ...
- 33
1
vote
0
answers
149
views
(localized) L^2 norm of quasimode for Laplacian
Lately I've been thinking about the following distribution on the flat torus $\mathbb{T}^2$:
$u_k=\frac{1}{\sqrt{2\lfloor k^{0.99}\rfloor+1}}\sum_{|l|\leq k^{0.99}}e^{ikx}e^{ily}=\frac{1}{\sqrt{2\...
- 11