All Questions
12,823 questions
3
votes
2
answers
3k
views
Eigenvalues convolution-type operator
Let $J_1$ be the Bessel function of the first kind and let $H_1(x) = \frac{J_1(|x|)}{|x|}$ for $n = 1$. Define the operator $Tf(x) = (f * H_1)(x)$ from $L^2$ to $L^2$.
Since the $H_1$-function is the ...
- 455
0
votes
1
answer
4k
views
1
vote
1
answer
506
views
Bessel sequence, uniformly minimal, separated
Is every unit norm Bessel sequence in a Hilbert space a finite union of separated ones? Is every unit norm separated sequence a finite union of uniformly minimal (minimal with uniformly bounded ...
- 11
2
votes
1
answer
1k
views
Green's function for wave equations in R² or R³
Hello,
For almost one year, I am searching for the Green's function for wave equation in R² or R³ with some boundary conditions. As far as I know, when the boundaries permit the method of images, we ...
- 1,649
1
vote
2
answers
11k
views
Borel Sets on $\mathbb{R}^n$ [closed]
Define the Borel sigma-algebra on $\mathbb{R}^n$ as the smallest sigma-algebra containing all $n$-rectangles
$(a_1, b_1) \times \cdots \times (a_n, b_n)$.
Is it true that the Borel sigma algebra ...
- 1,101
22
votes
5
answers
3k
views
Is $L^p(\mathbb{R})$ minus the zero function contractible?
Is $L^p(\mathbb{R}) \setminus 0$ contractible? My intuition says that the answer is yes, but I'm afraid that this is based on thinking of this as somehow similar to a limit of $\mathbb{R}^n \setminus ...
- 433
25
votes
3
answers
7k
views
Analysis from a categorical perspective
I have not studied category theory in extreme depth, so perhaps this question is a little naive, but I have always wondered if analysis could be taught naturally using categories. I ask this because ...
- 5,759
21
votes
3
answers
9k
views
A Hölder continuous function which does not belong to any Sobolev space
I'm seeking a function which is Hölder continuous but does not belong to any Sobolev space.
Question: More precisely, I'm searching for a function $u$ which is in $C^{0,\gamma}(\Omega)$ for $\gamma \...
- 2,641
0
votes
3
answers
1k
views
Sobolev norm and Beppo-Levi norm
I've asked this question on math.stackexchange.com but I'm not satisfied by the answers I got, so I've decided to ask here instead. As always I apologize if my notation is not precise enough. I am a ...
- 661
2
votes
1
answer
303
views
Proper sobolev spaces invariant under no-linearities
Let $f:H^s\to H^s$ at least continuous and not necesarily linear. Is there some kind of criterion or condition over $f$ that lets to ensure that $f({H^{s+k}})\subseteq H^{s+k}$?
- 151
1
vote
1
answer
630
views
Stuck on a convergence argument in $H_0^1(\Omega)$.
I'm trying to verify that a functional I have satisfies the Palais Smale condition for appliction of the Mountain Pass lemma.
However I've encountered this step along the way which seems clear to me ...
- 2,641
3
votes
1
answer
2k
views
fourier transform of radon measure
hi,
assume that I have a function $q$ which is a Fourier Multiplier of order zero, i.e.
$$
\left|\left( \frac{d}{dx}\right)^nq(x)\right|\lesssim \left(\frac{1}{1+|x|}\right)^n\quad \mbox{for all ...
- 979
3
votes
1
answer
427
views
Spectral Galerkin method for a semi-linear parabolic PDE
I'm trying to understand how to apply the Galerkin method to $u_t - \Delta u = u^3$. I understand how to obtain all of the a-priori estimates using Sobolev embeddings and such but my question concerns ...
- 2,641
3
votes
2
answers
657
views
A function in $W^{1,p}(\Omega)$ for $1 < p < n$ which is not differentiable a.e
I'm seeking a function which belongs to $W^{1,p}(\Omega)$ for $p < n$ which is not differentiable a.e. There is a standard theorem which shows that if $p > n$ then in fact any function in $W^{1,...
- 2,641
1
vote
3
answers
753
views
Do boundary conditions for elliptic PDE need to be homogenous to use spectral theory?
Question 1: It appears that when studying an elliptic equation $Lu=f$ in $\Omega$ with $u = g$ on $\partial \Omega$ we need to have $g=0$ in order that the inverse operator, $K=L^{-1}$ is linear. ...
- 2,641
9
votes
3
answers
2k
views
A simple example where elliptic boundary regularity fails due to a kink in the domain
I'm seeking a simple example of where elliptic (preferably linear) boundary regularity fails due to a simple kink in the domain.
So far my gueses were to look at $-\Delta u = f$ on $[0,2\pi] \times [...
- 2,641
38
votes
2
answers
13k
views
What, exactly, has Louis de Branges proved about the Riemann Hypothesis?
I know this is a dangerous topic which could attract many cranks and nutters, but:
According to Wikipedia [and probably his own website, but I have a hard time seeing exactly what he's claiming] Louis ...
- 1,990
28
votes
2
answers
5k
views
Zeros of Gradient of Positive Polynomials.
It was asked in the Putnam exam of 1969, to list all sets which can be the range of polynomials in two variables with real coefficients. Surprisingly, the set $(0,\infty )$ can be the range of such ...
- 413
7
votes
3
answers
1k
views
Index of an Operator
I've been working through the heat-equation proof of the Atiyah-Singer index theorem. My question is what is the motivation for the definition of the index of an operator? I know there is the ...
- 205
0
votes
0
answers
362
views
Gradient of the energy functional in $H^{1,2}$-norm
I have to use estimates for the gradient of the energy functional on the free loop space of a fixed compact manifold $Q$. As such, one considers $H^{1,2}$-maps of the circle into $Q$. The energy ...
- 2,935
53
votes
15
answers
22k
views
What is the Implicit Function Theorem good for?
What are some applications of the Implicit Function Theorem in calculus? The only applications I can think of are:
the result that the solution space of a non-degenerate system of equations ...
- 3,284
11
votes
2
answers
1k
views
Is it a coincidence that the universal parabolic constant shows up in the solution to square point picking?
The expected distance $d$ of randomly selected points within a unit square to the square's center is
$d = \frac{1}{6} P$
where P is the universal parabolic constant
$P = \sqrt{2} + \ln{\left(1+\...
- 1,571
4
votes
1
answer
6k
views
Inverse of a function defined by an integral
Hi, I have a function defined by an integral as follows.
$$
z=f(w) = \int_0^w \frac{(\zeta-a_1)^{\alpha_1}(\zeta-a_2)^{\alpha_2}...}{(\zeta-b_1)^{\beta_1}(\zeta-b_2)^{\beta_2}...}\ d\zeta
$$
where $w$ ...
- 167
6
votes
6
answers
2k
views
Application of bounded spectral theory.
I'm trying to gain some intuition for the usefullness of the spectral theory for bounded self adjoint operators. I work in PDE and any interesting applications/examples I've ever encountered are ...
- 2,641
4
votes
0
answers
312
views
Transforming a multivariable integral to make it separable
In the following I will omit requirements of smoothness, extent of domain, finiteness, etc, both to simplify the exposition and because I don't know exactly what the requirements are. Please imagine ...
- 37.7k
1
vote
2
answers
360
views
Inf of a mutivariate function
Let $f(x_1,\ldots , x_n) = \frac{x_1}{x_2+x_3} + \frac{x_2}{x_3+x_4} + \cdots + \frac{x_n}{x_1+x_2}$, defined for $x_i>0$.
Is there $(x_1, \ldots ,x_n)\in {\mathbb{R}^*_+}^n$ such that $f(x_1,\...
- 2,829
6
votes
2
answers
1k
views
An element of $(L^{\infty})^*$ which does not seem to be a finitely additive abs. cont. measure.
Hi everyone,
I have a question which I am quite stumped on. Consider the linear functional $l(f) = f(0)$ defined on $C([-1,1])$. By Hahn-Banach this linear functional can be extended to one on all ...
- 2,641
4
votes
2
answers
4k
views
Embedding of $BV$ and $L^p$ spaces
An elementary question about Sobolev spaces:
Is there some explicit theorem about embedding relation between spaces $BV(\Omega)$ and $L^p(\Omega)$?
Formulated otherwise: is $BV$ a subset of $L^2$ (i....
- 53
4
votes
1
answer
474
views
Are these operators defined on 2D surfaces self-adjoint?
My research group finds/proposes a fundamental operator in quantum mechanics, the Cartesian momentum as I called (I think for mathematician the ref. 2007 is sufficient). However, I do not know whether ...
- 199
11
votes
2
answers
2k
views
Wasserstein distance in R^d from one dimensional marginals
This question occurred to me while I was reading Klartag's papers on central limit theorems for convex bodies.
Given probability measures $\mu$, $\nu$ on (the Borel $\sigma$-field of) $R^d$ with ...
4
votes
0
answers
363
views
inverse Laplace transform of $\delta_1(\cdot)$
Let's try to find a function $\psi(x)$ such that for Laplace transform $\tilde{f}(p)=\int_0^{\infty} f(y) e^{-py} dy$ one has $f(x)=\int_0^{\infty} \tilde{f}(p)\psi(px)dp$ (here we do not specify ...
- 109k
17
votes
5
answers
7k
views
A counter example to Hahn-Banach separation theorem of convex sets.
I'm trying to understand the necessity for the assumption in the Hahn-Banach theorem for one of the convex sets to have an interior point. The other way I've seen the theorem stated, one set is closed ...
- 2,641
2
votes
2
answers
602
views
Reference for weak*-semigroup
Let $X$ a dual Banach space (there exists a Banach space $Y$ such that $X=Y'$).
A weak* semigroup on $X$ is a semigroup $(T_t)_{\geq 0}$ on $X$ such that, for all $x\in X$, we have $T_tx\to x$ in the ...
- 1,222
5
votes
1
answer
2k
views
Maximum on unit ball (James' theorem).
James' theorem states that a Banach space $B$ is reflexive iff every bounded linear functional on $B$ attains its maximum on the closed unit ball in $B$.
Now I wonder if I can drop the constraint ...
- 455
2
votes
2
answers
1k
views
description of functions of conditionally negative type on a group
Recall that a kernel conditionaly of negative type on a set $X$ is a map $\psi:X\times X\rightarrow\mathbb{R}$ with the following properties:
1) $\psi(x,x)=0$
2) $\psi(y,x)=\psi(x,y)$
3) for any ...
- 1,222
2
votes
2
answers
303
views
Characterisation of positive elements in l¹(Z)
Consider the Banach $^* $-algebra $\ell^1(\mathbb Z)$ with multiplication given by convolution and involution given by $a^*(n)=\overline{a(-n)}$.
I would like to find nice necessary and sufficient ...
- 3,184
3
votes
1
answer
235
views
Odd element of L^1 group algebra of the integers
Giving some motivation is hard here, so I'll just ask the question. I want an element $a=(a_n)\in\ell^1(\mathbb Z)$ such that:
$\|a\|>1$
a is power bounded (turn $\ell^1(\mathbb Z)$ into a Banach ...
- 18.7k
16
votes
3
answers
791
views
Random products of projections: bounds on convergence rate?
The von Neumann-Halperin [vN,H] theorem shows that iterating a fixed product of projection operators converges to the projector onto the intersection subspace of the individual projectors. A good ...
- 181
2
votes
4
answers
222
views
How to compare finite point sets in normed spaces?
I want to define a "distance" between two subsets $A, B$ of a normed space $(V, \|\cdot\|)$ both with (at most) $n$ elements. A straightforward way for me to do this would be to define
$$ d(A, B) := \...
- 21
8
votes
2
answers
1k
views
What is the smallest $C^*$-algebra containing the "standard" pseudodifferential operators?
Is $\Psi^0(\mathbb{R})$ (pseudodifferential operators with symbols obeying
$
|\partial^\alpha_x \partial^\beta_\xi a(x,\xi)| \leq C_{\alpha,\beta} (1+|\xi|)^{-|\beta|}
$
) a $C^*$-algebra?
In other ...
- 7,197
6
votes
0
answers
354
views
Ordering of completely bounded maps
Let A be a C*-algebra, let H be a Hilbert space, and let $T:A\rightarrow B(H)$ be a completely bounded (cb) map (that is, the dilations to maps $M_n(A)\rightarrow M_n(B(H))$ are uniformly bounded). ...
- 18.7k
2
votes
1
answer
1k
views
Elliptic regularity on bounded domains
I'm concerned with a generic uniformly elliptic operator $L$ on $\mathbb{R}^n$. If $L$ is uniformly elliptic and I am studying the equation $Lu=f$ then the way I can deduce regularity on $\mathbb{R}^n$...
- 2,641
7
votes
2
answers
1k
views
Unusual space-filling curve
Around 1998, I encountered a (forgotten) reference to a particularly strange space-filling curve.
Consider a foliation as a collection of continuous nonintersecting curves that start at $(0,0)$ and ...
- 1,089
7
votes
2
answers
286
views
accelerated convergence to the mean using quadratic weights
If the sequence $x_1,x_2,\dots$ is periodic, the unweighted averages $(\sum_{i=1}^n x_i)/n$ converge to the asymptotic average of the $x_n$'s with error $O(1/n)$, but the weighted averages $(\sum_{i=1}...
- 19.7k
18
votes
11
answers
5k
views
Applications of measure, integration and Banach spaces to combinatorics
I'm going to be teaching a Master's level analysis course (measure theory, Lebesgue integration, Banach and Hilbert spaces, and if there's time, some spectral or PDE stuff) in the fall. My problem is ...
- 1,665
16
votes
5
answers
3k
views
Are there alternative proofs for existence/uniqueness of ODE solutions?
Consider the differential equation $\dot x = f(x)$. The standard proofs are
The Picard iteration based proof of existence/uniqueness for Lipschitz $f$.
The Peano existence theorem for continuous $f$...
- 851
10
votes
5
answers
4k
views
Orthonormal basis for non-separable inner-product space
Suppose X is an inner product space, with Hilbert space completion H (actually, I'm interested in the real scalar case, but I doubt there's any difference). If H is separable, then so is X, and I can ...
- 18.7k
0
votes
0
answers
320
views
A result about Fredholm operator
When I read the article "Index Theory" in Handbook of global analysis, I meet a result as below(Corollary 2.13):
If every $F_0\in \mathcal {F}(H_1,H_2)$, there is an open neighborhood $U_0\subseteq \...
- 381
13
votes
3
answers
891
views
Effective algorithm to test positivity
Let $f(x_1,\ldots, x_n)$ be a real polynomial in several variables. Is there an effective algorithm to test whether $f$ is positive (or nonnegative) on the whole of ${\mathbb{R}}^n$?
user2529
3
votes
2
answers
6k
views
Need help understanding Riesz representation theorem for Reproducing Kernel Hilbert Spaces
I'd like some help understanding any of the following proofs of Riesz representation theorem -- whichever is simpler -- or in fact any proof of the theorem.
Proof 1: http://nfist.pt/~edgarc/wiki/...
- 661