All Questions
12,936 questions
1
vote
0
answers
119
views
Boundedness of Riesz transforms.
The Riesz $R_i$ transform on $\mathbb{R}^n$ is defined by
$$ R_if(x)= \int_{\mathbb{R}^n} \frac{t_i-x_i}{\vert x-t \vert^{n+1}}f(t) dt$$
for a Schwartz function $f$ on $\mathbb{R}^n$. Can you please ...
- 583
1
vote
1
answer
359
views
Convergence of operators to the identity on Banach spaces
Let $U_\infty$ be a compact space, and let $U_r$ be an increasing family of compact subspaces whose closure is all of $U_\infty$. That is, $U_r \subseteq U_{r'}$ if $r \le r'$ and $U_\infty = \...
- 8,512
5
votes
0
answers
200
views
Diffusion processes in wide generality
It is common knowledge among schoolchildren that one may define jump diffusion processes in wide generality.
Hard question: What are the most general structures on which one may define something ...
- 8,512
1
vote
1
answer
285
views
Sobolev imbedding failure due to a kink in the domain
I'm looking for a simple example where an inequality of the form $||u||_{L^q} \leq C||u||_{W^{1,p}}$ fails for some $1 \leq q \leq p^*$ (ie. within the acceptable range for which the bound should ...
- 2,641
0
votes
0
answers
93
views
Infinite limit in all points
Do there exist a Banach space (possibly nonseparable) $X$ and a mapping $F: X\to X$ such that
$$
\lim_{x\to a} \|F(x)\| = +\infty \quad \forall a\in X\quad?
$$
0
votes
1
answer
222
views
Bounding near the boundary for a Sobolev function.
Let $f: \Omega\rightarrow \mathbb{R}$ where $\Omega\subset\mathbb{R}^d$ is bounded with lipschitz smooth boundary. Further suppose that $f\in\mathcal{H}^{\tau}(\Omega)$, $\tau>\frac{d}{2}$ (i.e. $f$...
- 3,217
1
vote
0
answers
266
views
Geometric description of Jacobi's theorem on complete integrals of HJ eqn.
I am not sure if this question is adapted to this site, if it is not, then I will delete it.
The Hamilton--Jacobi theory is about the connection between:
the solutions of an Hamilton--Jacobi ...
- 4,306
4
votes
0
answers
94
views
Algebraic conditions of separability
Let $X$ be a real vector space (without any norm), and $Y$ be a convex subset of $X$, $0\notin Y$. The goal is to find a hyperplane $L$ passing through 0 such that $Y$ lies in a closed halfspace ...
- 109k
1
vote
0
answers
180
views
iterated traces for sobolev functions
It is well known that if $M$ is a smooth $(n-1)$-dimensional surface in $\mathbb R^n$ (e.g. a subspace) then there is a continuous trace operator $W^{s,p}(\mathbb R^n)\to W^{s-1/p,p}(M)$. Now suppose ...
- 2,041
1
vote
0
answers
102
views
Orthogonal projection of discontinuous piecewise polynomial space in energy scalar product
Let $I = [0,1]$ be the unit interval Let $I$ be partioned into $n$ closed subintervals $(I_j)_J$, each of length $1/n$.
Let $X_{DC} = \{ v \in L^2[0,1] | 1 \leq j \leq n : v_{|I_j} \in \mathcal P_1( ...
- 5,327
1
vote
1
answer
397
views
Partial $L^2$ control on (part of) the Hessian of a harmonic function.
I have a simple little analysis question that I'm hoping is well known.
Suppose $D=\lbrace(x,y): x^2+y^2<1\rbrace$ is the unit disk and that $u$ is a harmonic function on $D$. Suppose in addition ...
- 2,299
9
votes
1
answer
395
views
Is there a coalgebraic characterisation of the hyperfinite II_1 factor?
Peter Freyd showed that the real interval [0, 1] is a final coalgebra for a functor on sets equipped with two points, which sends such a set to the 'wedge' of two copies of itself, identifying the ...
- 5,094
1
vote
0
answers
178
views
Inequalities between self-adjoint operators
Let $T_s$ ($s\ge0$) be a smooth family of non-negative self-adjoint operators in a separable Hilbert space $H$. Suppose that, for some $C'>C>0$, we have $T_0+Cs^2\le T_s\le T_0+C's^2$ for all $s$...
- 329
1
vote
1
answer
111
views
Log-nonexpansive functions: terminology and references
During my recent work in the optimization of positive valued functions, the following class of functions proved to be exceptionally important.
(Defn.). Let $h: (0,\infty) \to (0,\infty)$ be ...
- 28.6k
3
votes
0
answers
188
views
Does the existence of an asymtpotic density imply the existence of a measure on infinite dimensional (path) space?
This question is related to the following question
Question about a Limit of Gaussian Integrals and how it relates to Path Integration (if at all)?
A couple of authors have observed that composing a ...
- 265
6
votes
0
answers
430
views
A non-elliptic PDE
I wish to know if this PDE can be solved (for a real smooth function $\rho$) on a compact complex surface X :
$\bar{\partial}\partial \rho \wedge \bar{\partial}\partial \rho + \bar{\partial}\partial \...
- 3,383
2
votes
0
answers
53
views
Topology of fibers of operators under C^{\infty} convergence
A smooth family of maps $f_t : L^2 (\mathbb{R}) \rightarrow \mathbb{R}^{n}$ is given, with $t \in (0,1]$. Suppose that when $t \rightarrow 0$ the family restricted to balls of given radius converges ...
1
vote
1
answer
138
views
Estimating norms of derivatives
Let $(M,g)$ be a closed, compact Riemannian manifold. Let $u$ be a smooth function. Let $H^{-k}(M)$,, $k$ is a positive integer, be the dual Hilbert space of $H^{k}(M)$. Does it follow that $|| |\...
- 1,701
2
votes
2
answers
317
views
Bibliography for topologies defined by a family of seminorms
Hello
I am trying to learn more about Fréchet spaces (in order to study the theory of distributions) and was wondering what people thought was the best resource.
Thank you very much.
- 143
6
votes
0
answers
639
views
Hilbert subspaces of indefinite inner product spaces
Let $E$ be a real linear space, endowed with a non-degenerate symmetric
bilinear form $(.,.)$.
Suppose that the [indefinite] inner product space $(E,(.,.))$
satisfies the following [sequential] ...
- 4,060
0
votes
1
answer
234
views
A property of "Schwartz" quadratic forms
Consider $K(x, y)$, $f(x)$ Schwartz functions and $g(y)$ a tempered distribution. Suppose $$K(x, y) = K(y, x)$$ Define
$$h(t) = \int f(x - t) K(x, y) g(y - t) dx dy$$
It appears to me $h(t)$ is a ...
- 1,368
1
vote
0
answers
463
views
Splitting wave equation for application of CPML
A recent paper (Roden and Gedney, 2000) proposed the application of a Convolutional Perfectly Matched Layer (CPML) to approximate free-field conditions for Finite-Difference Time-Domain (FDTD) ...
- 157
2
votes
0
answers
176
views
A limit involving a regularizing kernel
I am studying the following article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/#
...
- 2,222
0
votes
0
answers
68
views
can we say fixed point existance of a set valued map over a compact set is homotopy invariant?
Consider two set valued maps over different compact sets as $F(\mathbf{x}):D\rightarrow\rightarrow D$, $G(\mathbf{x}):E\rightarrow\rightarrow E$ where $D,R\subset Y$. Assume there is a homotopy pair $(...
- 383
1
vote
1
answer
254
views
Extending linear operators to multi-linear ones
Suppose we are given a linear operator $L$ on a Banach space $X$. Is there any way to extend $L$ to a multi-linear operator $\mathcal{L}$ in such a way that
$$\mathcal{L}(x_1, x_2^*, \ldots, x_n^*) = ...
user7807
0
votes
1
answer
221
views
Sort-of extension of Young inequality to arbitrary measures
Hello folks,
Suppose we're working in ${\mathbb T}^q$, the $q$-times Cartesian product of $[-\pi,\pi]$ with the endpoints identified. So, $ L^p := L^p({\mathbb T}^q) $.
The Young inequality may be ...
- 1
1
vote
0
answers
215
views
Classification of Self similar sets
I am looking at self similar sets in $\mathbb{C}$ defined as the fixed set or a sequence of contractions or an iterated function system. I am currently trying to classify these sets by how they are ...
- 11
0
votes
0
answers
184
views
Extension of closed linear functionals...
If f is a closed linear functional defined on a dense subspace of a Banach space X, and, consider f1 which is an extension of f to X, is there a way to show that f1 is also closed without invoking the ...
- 55
1
vote
0
answers
153
views
The existence of the solution of the perturbed KdV Equation(semi-group operator)
Consider the perturbed KdV Equation$$u_t-6uu_x+u_{xxx}=\epsilon u,u(x,0)=f(x)$$where $f(x)=v(x,0)$，$v(x,t)$ is a soliton solution.$u$ satisfies the condition$u\to 0 $when $|x|\to\infty$
I want to use ...
- 61
1
vote
0
answers
29
views
Counting variables to look for invariances/range conditions
A while back, I asked this question on m.se. I wasn't terribly happy with the answer, and when someone asked a very similar question which isn't getting any action, it got me thinking again. Let me ...
- 203
2
votes
0
answers
291
views
Can the solution manifold for an exterior differential system be represented using alternating multivectors?
Differential equations can be written as an ideal of n-forms. Solutions are manifolds where the forms pull back to zero. Is it possible, or useful, to represent the solution by multivectors? For ...
- 773
2
votes
1
answer
376
views
Asymptotic behaviour near the boundary in the Dirichlet problem for the Laplacian.
Perturbative behaviour of solutions of the solutions of the Dirichlet problem for the Laplacian:
Lets consider $ B = B(0, 1) \in \mathbb{R}^2$ be the unit circle with center at $0\in\mathbb{R}^2$. ...
- 85
10
votes
0
answers
609
views
Asymptotic non-distortion of the separable Hilbert space
By the work of E. Odell and Th. Schlumprecht, we know that the
separable Hilbert space $\ell_2$ is arbitrarily distortable. But
I don't know if an "asymptotic" version of their result is true.
To ...
- 576
2
votes
0
answers
320
views
Poisson problem with a "scaled" Laplacian.
Let $d_1$ and $d_2$ be positive constants. I'm considering a 2D Poisson-like problem of the form
$$ d_1\frac{\partial^2 u}{\partial x_1^2} + d_2\frac{\partial^2 u}{\partial x_2^2} = f$$ in the ...
- 617
8
votes
0
answers
196
views
Parametrizing derivations from the algebra of smooth functions on a manifold to its dual
$\newcommand{\Der}{\operatorname{Der}}$
$\newcommand{\Real}{{\mathbb R}}$
(Disclaimer: I fear this question may be a bit too basic for MO, but in my defence I have essentially zero differential ...
- 25.8k
0
votes
0
answers
143
views
description of a convex set of functions
Hi everyone,
I have a question about the characterization of a set of functions.
Let $\Phi$ a set containing all the functions $\phi(x): \mathbb{R}_+\rightarrow \mathbb{R}_{+}$ that satisfy the ...
- 69
3
votes
1
answer
186
views
question about mixed spectrum of a linear operator $\mathcal{L}$
Suppose $\mathcal{L}$ is a bounded linear operator and I have the solution to Eigenvalue problem
$\mathcal{L} \phi + \lambda \phi = 0$
wish to solve the following PDE
$\left(-\partial_t + \mathcal{...
- 351
7
votes
1
answer
286
views
a.e. convergence of the powers of an operator built from rotations
Consider two numbers $a,b\in R/Z$ and some integer $p\geq 1$. Let $T:L^p(R/Z)\rightarrow L^p(R/Z)$ be the operator given by
$$T(f)(x)=1/2(f(x+a)+f(x+b))$$
For which values of $a,b$ do we have almost ...
- 18.7k
4
votes
0
answers
487
views
Convolutions and Toeplitz Operators
Let be $d>0$ an integer number and consider the Cartesian product $\mathbb Z^d$ as metric space, with the distance between $x,y\in\mathbb Z^d$ given by $\|x-y\|_1=\sum_{j=0}^d|x_j-y_j|$.
Let be $...
- 2,044
8
votes
0
answers
605
views
convergence rate in Wiener's approximation theorem
Wiener has the following fantastic results about approximations using translation families:
Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in \mathbb{...
- 1,839
0
votes
0
answers
301
views
Lifting of product of a Banach algebra
Let $A$ be a non unital Banach algebra. The product induces a bounded linear map $T:A \otimes_{\gamma} A\to A$ where $\otimes_\gamma$ denotes the Banach projective tensor product.
A lifting of $T$ is ...
- 1,222
2
votes
1
answer
218
views
optimality of energy estimates for non smooth metric
Consider the linear (geometric) wave equation in dimension (3+1) with non smooth background metric $g$ say $g \in L^\infty_t H^3_x$ and $\partial_t g \in L^\infty H^2_x$, then energy estimates enable ...
- 55
3
votes
0
answers
318
views
Controlling the Second Eigenvalue of a Schrödinger Operator
Consider a bounded domain $\Omega$ (with smooth boundary) in some Riemannian $n$-manifold $M^n$.
Let $L$ be the operator
$$
L=\Delta+V
$$
where $\Delta$ is the Laplace-beltrami operator on $M$ (so is ...
- 2,299
3
votes
0
answers
84
views
Application and relevance of Sobolev gradients
The Sobolev gradient concept has been developed in the 1970s, with a first publication in 1985, and an introduction can be found at: Ranka
I would like to learn how strong the impact of Sobolev ...
- 5,327
4
votes
0
answers
166
views
Relationship between sequential compactness of a convex set and its extremal points
Suppose that $X$ is a compact convex subset of a topological vector space. Suppose also that the extremal points of $X$ have the additional property that any sequence $x_n$ of extremal points has a ...
- 93
0
votes
1
answer
297
views
Continuity of cylindrical functions.
Let $C_c^\infty(\mathbb R^n)$ be the functions from $\mathbb R^n$ to $\mathbb R$ with compact support, further let $X$ be a separable Hilbert space with a fixed orthonormal basis $(e_n)_n$. Define the ...
- 455
4
votes
1
answer
221
views
existence of charaterization of amenable groups by complementation?
Recall that we say that a closed space $F$ of a Banach space $E$ is complemented if there exists a contractive projection $P$ from $E$ onto $F$.
Do you know a charaterization of discrete amenable ...
- 1,222
11
votes
0
answers
310
views
Combinatorial Hilbert spaces
Any closed subspace $V\subset {\ell}^2(\omega)$ has associated to it a subset ${\cal S}_V$ of ${\cal P}(\omega)$, call it a combinatorial Hilbert space, namely the set of all supports of all vectors ...
- 17.6k
2
votes
0
answers
104
views
Quantitative Weierstrass Approximation and Paley-Wiener for the Laplace Transform II
This is a modification of a previous question.
Question: Suppose $a(s)\in C^\infty([0,1])$ and $H(s,x)\in C^\infty([0,1]\times [0,1])$ with $H(s,x)>0$, $\forall s,x\in [0,1]$. Suppose,
$$\sup_{\...
- 468
1
vote
0
answers
76
views
h-oscillating function
I need help understanding the following condition:
$u_h\in L^2(\mathbb{T}^d)$, $\|u_h\|_{L^2(\mathbb{T}^d)}=1$, where $h$ is the semiclassical parameter and $\mathbb{T}^d$ is the flat torus, is ...
- 11