All Questions
12,936 questions
1
vote
0
answers
91
views
Bound for $\Vert g\Vert_r$ when $ \Vert g-f\Vert_2<\varepsilon$
Let $f\in L^2(\mathbb{R}^n)$, $\varepsilon>0$ and $r\in[1,2)$. Define
$$ L_{r,\epsilon}:=\inf{\{\Vert g\Vert_r}:g\in L^1(\mathbb{R}^n)\cap L^2(\mathbb{R}^n),\, \Vert g-f\Vert_2<\varepsilon\}$$
...
- 21
0
votes
0
answers
388
views
Global index of convexity/concavity of a function
We are looking for a global index of the convexity/concavity of a function.
For concreteness, how can I formalize the intuitive notion that a function $f$ is more convex than $g$ where $f,g:[0,1]\...
- 111
1
vote
0
answers
92
views
Scattering solutions for $L_2$ potentials
Consider the equation
$$
Lu = -\Delta u+v(x)u = Eu, \tag{1}
$$
where $x = (x_1,x_2) \in \mathbb R^2$, $v \in L_2(\mathbb R^2)$, $E>0$. Is it known that for almost any $E>0$ and for any fixed $...
- 1,329
3
votes
0
answers
145
views
Growth of inner functions on the disk
Recall that an inner function on the disk $D$ is a bounded analytic function on $D$ having radial limits of modulus one almost everywhere.
There has been many works on the growth of the inner ...
- 769
1
vote
0
answers
123
views
Checking initial condition of PDE is satisfied in Galerkin method
I asked this question here: https://math.stackexchange.com/questions/416885/checking-initial-condition-of-pde-is-satisfied-in-galerkin-method
But I did not receive the solution so I post it here.
...
- 21
5
votes
0
answers
616
views
Lebesgue measure on Frechet space?
It is well known that there are no Lebesgue measures on infinite-dimensional Banach spaces (see e.g. http://en.wikipedia.org/wiki/There_is_no_infinite-dimensional_Lebesgue_measure). However, I couldn'...
- 1,368
1
vote
0
answers
74
views
Closed for the motion of an interacting particle system
I am dealing with interacting particle systems approximately in the sense of http://www.math.vu.nl/~rmeester/onderwijs/Interacting_Particle_Systems/liggett.pdf p. 5 except I am reading a book by the ...
- 277
1
vote
0
answers
123
views
null controllability of linear wave equation
Consider the linear wave equation :
$$z_{tt}=\Delta z + k(x) z + h(t) , \; in \; \Omega\times (0,T)$$
Are there sufficient conditions on the functions $k(x)$ and $h(t)$ for which $(z,z_t)$ vanish ...
- 51
5
votes
0
answers
488
views
Any similar inequality in literature?
I got the following inequality:
$B_{4}$ is the unit ball in $R^{4}$, $\partial B_{4}$ is its boundary.
$(\int_{B_{4}}e^{4u}dx)^{\frac{1}{4}} \leq S(\int_{\partial B_{4}}e^{3u}d\xi)^{\frac{1}{3}}$,
...
- 215
1
vote
0
answers
83
views
Topologies on spaces of linear sections
Let $X$ and $Y$ be topological linear spaces which are complete & Hausdorff, and admit dual spaces which separate points. Suppose the topologies are non-separable and non-metrizable.
Let $f : X \...
- 8,512
4
votes
0
answers
158
views
Does this construction yield an injective hull ?
Let $K$ be an object of $\mathbf{CHaus}$, the category of compact Hausdorff spaces, and $K \xrightarrow{\ \ \sigma \ \ } K$ be an involutory morphism without fixed points. Define $C^{\sigma}(K)$ as ...
- 7,249
0
votes
1
answer
156
views
Does homeomorphism preserves the family of cones?
Let me state my problem. Suppose we have a ball $B$ in standard $\mathbb{R}^3$, that is a $\varepsilon$-neighbourhood of $0$ point. Suppose we have a family of cones $X_C = \lbrace C > 0 \vert x^2 +...
- 165
0
votes
0
answers
113
views
Reference Search for a Functional Minimization Problem
Let $u(x) \ge 0$ be a non-negative, piecewise-differentiable function on the real line. Moreover, let $u(x)$ be integrable with fixed positive mass, that is
$$M \equiv\int_{x=-\infty}^\infty u(x) ~ ...
- 151
1
vote
0
answers
258
views
Is this Stefan-type problem an open problem?
I am looking for a weak-formulation that would give me an existence and uniqueness of a solution of a Stefan-type problem. It is basically a 2-phase Stefan problem in 2D except that the free-boundary ...
1
vote
0
answers
477
views
A norm ratio inequality
Let $y,z\in(0,1)^n$ satisfy $||y||_1 = ||z||_1=1$.
Then
$$
\frac{||z||_3}{||z||_2} \le
K_n
||z/y||_\infty
\frac{||y||_3}{||y||_2}
$$
where $z/y\in\mathbb R^n$ is the coordinate-wise quotient of $z$ ...
- 6,541
0
votes
0
answers
100
views
Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$
Let ${\mathcal S}'$ be the set of all distributions.
Denote by ${\mathcal P}$ the set of all polynomials,
which is embedded into ${\mathcal S}'$ as a closed subspace.
Equip ${\mathcal S'}/{\mathcal P}$...
3
votes
0
answers
163
views
Isometric automorphism of $c_0$ different than coordinate permutation
Does there exist an isometric automorphism of $c_0$ which is not a permutation of coordinates?
- 311
2
votes
0
answers
86
views
Terminology and reference question
I am working on a problem involving bilinear forms over complex Hilbert spaces, and in my case it is not natural to make the forms sesquilinear, i.e., $a(u,v)$ is linear in both complex arguments. ...
- 143
1
vote
1
answer
312
views
Invertibility of frame/sampling operator on Bargmann-Fock spaces
Let $F_\alpha ^p (\mathbb{C}^n)$ for $1 < p < \infty$ and $\alpha > 0$ be the Bargmann-Fock space defined as the Banach space of entire functions $f$ such that $f(\cdot) e^{- \frac{\alpha}{2} ...
1
vote
2
answers
177
views
Restriction on the coefficients for an operator in the free group factor $ L(\mathbb{F}_2) $
Let $\mathbb{F}_2$ denotes the free group generated by a,b, denote this group by $G$. Then consider the von Neumann algebra $L(G)$ generated by the family
$\{L_{x_g} : g \in G\}$, here, with $g \in G$...
- 1,528
1
vote
0
answers
103
views
Kernel of perturbation of biharmonic operator
Suppose we have a linear fourth order operator defined on $\mathbb{R}^{2n}$ with $n\geq2$ of the form:
$$\mathcal{L}(f)=\Delta^{2}f+\sum_{i,j=1}^{2n}P_{ij}(x)\partial_{i}\partial_{j}f$$
with $P_{ij}(x)...
- 149
3
votes
1
answer
914
views
Range of a Certain Linear Operator
Consider the following hermitian form on the sobolev space H^1(I), of an interval I:
g(u,v):= \int_I (du/dt dv/dt - \rho(t) u v)dt, where \rho is a nice bounded function on I.
Riesz representation ...
- 31
1
vote
0
answers
154
views
two polynomial equations
Let $f:\mathbb R^2\rightarrow\mathbb R$ be a smooth function such that for every point $(x,y)\in\mathbb R^2$ the system
$$f_{11}+2tf_{12}+t^2f_{22}=0$$
$$f_{111}+3tf_{112}+3t^2f_{122}+t^3f_{222}=0$$
...
- 1,359
2
votes
0
answers
109
views
Regularity of solution of nonlinear equation
Hi!
Let $L$ be a linear elliptic operator of order $4$ with smooth and bounded coefficients on the ball
$B_1$ of $R^{2n}$ and let $N\in C_{loc}^{0,\alpha}(R^{3})$.
Let $f\in C^{0,\alpha}(B_1)$ ...
- 1,727
1
vote
1
answer
244
views
Oscillatory integral decay & sublevel set growth
I am trying to understand how estimates on sublevel integrals imply estimates on oscillatory integrals. Specifically in this article by M. Greenblatt it says on page 7:
By well-known methods ...
- 93
1
vote
1
answer
142
views
Linear Maps between $L^1$-spaces of singular measures
I posted the following question also here, but thought that I can get more answers in MO.
Let $(\Omega,\Sigma)$ be a measurable space and $\nu_1$, $\nu_2$ two probability measures on it. For $i=1,2$, ...
- 13
0
votes
1
answer
288
views
The Quantum Operations On The Bipartite Systems
Given two distinct and noninteracting quantum mechanical
systems $\mathfrak{S}\_1$ and $\mathfrak{S}\_2$ with state spaces
$\mathcal H\_1$ and $\mathcal H\_2$, respectively, the state space
of the ...
- 1
1
vote
2
answers
139
views
Given f(t) = \sum_k C_k exp(2 pi i w_k t ) + noise. Need to estimate C_k and w_k .
Simpliefied setup.
Assume I am given some function f(t).
I know that it is constructed as $f(t) = \sum_{k=1...M} C_k exp(2 \pi~ i~ w_k t ) + noise(t)$.
where $noise(t)$ is some random set of numbers ...
- 24.9k
2
votes
0
answers
176
views
Banach Algebras and the peripheral spectrum
Here is a little theorem that I'm trying to prove. I haven't seen it in literature before, but I think the applications will be quite useful, particularly in the context of Banach algebras.
Denote ...
- 21
1
vote
1
answer
220
views
A variational problem involving a negative fractional Soboblev norm.
I've run into the problem of trying to evaluate the following:
$\max_{ \xi} \iint_{\partial B \times \partial B} \xi(x) \Phi(|x-y|) \xi(y) dS(x)dS(y)$
subject to $\int_{\partial B} \xi(y)dS(y) = 0$ ...
- 2,641
3
votes
1
answer
362
views
Cartesian product of test function spaces
Mini introduction
Suppose $U \subset \mathbb R^n, V \subset \mathbb R^m$ are two open sets. If we take http://en.wikipedia.org/wiki/Distributions_space#Test_function_space">test functions $f_i \in \...
5
votes
1
answer
403
views
Local form of a real-analytic function taking values in a Banach space
Let $B$ be an infinite-dimensional Banach space, and let $M\subset\mathbb{R}^n$ be a neighborhood of the origin in $\mathbb{R}^n$.
Suppose that $I:M\to B$ is a real-analytic function with $I(0)=0$ ...
- 6,548
2
votes
0
answers
64
views
Almost-Monotone Kernels - Examples and/or Covering Theorems
I am looking for examples (or, if it exists, a theory) of almost-monotone kernels. First, a bit of notation.
Recall that if $(\leq, \Omega)$ is a partially ordered set, then the set of measures $\...
- 81
0
votes
1
answer
204
views
Seeking scalar functions in n>=2 variables (preferably as solution to PDE) with limited regularity.
I have bumped into a phenomenon in the geometry of jet space $J^r(\mathbb{R}^n,\mathbb{R})$ for $r,n\geq 2$ that I think might help one measure and understand the failure of regularity of functions, ...
1
vote
0
answers
378
views
Adjoint operators in LCS
Before my main question let me start with the following notions.
Let $X$ and $Y$ be locally convex spaces and let $T \colon X \rightarrow Y$ be a linear mapping. The adjoint of $T$ is an operator
$T^...
- 145
4
votes
0
answers
109
views
How fast is discrete-time diffusion on a continuous set?
This question is inspired by Joseph O'Rourke's beautiful answer to my previous question.
Let $\mathbb{S}^{d\times n}$ denote the set of real $d\times n$ matrices whose columns have unit norm and sum ...
- 7,633
2
votes
1
answer
208
views
Is there an elementary proof for preserving inequalities under the change of l_p metrics?
Here is what I mean exactly:
Let $A=(a_1,a_2)$ and $B=(b_1,b_2)$ be two points in the real plane (for simplicity, but general finite dimensions would also be nice), and define the $\ell_p$-metric as ...
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
5
votes
0
answers
157
views
Containment of an element to an operator system
This question will probably appeal to people in operator systems theory as it is very much related. However, I'm interested in down-to-earth concrete systems with finite dimensional Hilbert space ...
- 315
2
votes
1
answer
125
views
Is $C_c(\mathbb{R}^2,\mathbb{R}^2)$ dense in the irrotational square integrable functions?
Let $L_D(\mathbb{R}^n)^n$ be the set of square integrable functions which are the weak derivative of a locally square integrable function. That is
$$L_D(\mathbb{R}^n)^n=\{Du\colon u\in H^1_{loc}(\...
- 53
8
votes
0
answers
349
views
Finding a dimension-free bound for a certain multiplier on Euclidean space
The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
- 141
1
vote
0
answers
171
views
Compactness of solutions of elliptic equation
Consider the following nonlinear elliptic equation
$$
-\triangle u + u + u^3 = g, \quad x \in R^3.
$$
If $g \in L^2(R^3)$, then the set $Q$ of solutions of above equation is bounded in $H^2(R^3)$, and ...
- 425
2
votes
0
answers
327
views
Generalizations of Kato-Rosenblum theorem?
The Kato-Rosenblum theorem says that if $H_0, H$ are self-adjoint operators on a Hilbert space such that the difference $H-H_0$ belongs to the trace class, then the strong limit of $\exp(itH)\exp(-...
- 21
2
votes
1
answer
272
views
Contractions and spaces
Suppose $X$ is a closed subspace of an $L^{1}$-space and $X$ is isometric to another $L^{1}$-space. Then we know that $X$ is in the range of a contractive projection on the $L^{1}$-space. Is there any ...
- 95
2
votes
0
answers
611
views
Compatibility conditions for parabolic regularity
I'm trying to understand the compatibility conditions for regularity of second order parabolic equations.
Let's consider the equation $u_t - Lu = f$ with $u(0)=g$ on $\Omega \times [0,T)$ with $u = 0$ ...
- 2,641
1
vote
0
answers
369
views
Infinite internal direct sums of subspaces
Given a compact Hausdorff space $K$ such that $C(K)$ is of density $\omega_1$. Suppose that every copy of $c_0(\omega_1)$ in $C(K)$ is complemented. Let $\{Y_\alpha\colon\alpha<\omega_1\}$ be a ...
1
vote
0
answers
187
views
Injective modules over Fourier algebra
Is there any article on injective modules over Fourier Algebras?
Do we have anything about injectivity of $A(G)$ as a $A(G)$-bimodule?
- 71
0
votes
0
answers
100
views
Parabolic PDE; uniform bound on approximations $u'_n$ in $L^2(0,T;V^*)$ without using orthogonal basis?
Let $V \subset H \subset V^*$ be a Gelfand triple, all Hilbert and separable spaces.
I consider the PDE with weak form: find $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V')$ such that
$$\langle u'(t), v(...
- 405
2
votes
1
answer
412
views
General Sobolev Inequalities
In Partial Differential Equation by Lawerence Evan p284 there is this theorem stated:
Let $U$ be a bounded open subset of $\mathbb{R}^n$ with $C^1$ boundary. Suppose $u\in W^{k,p}$ then if $k>n/p$ ...
- 3,217
6
votes
0
answers
344
views
Dirichlet-to-Neumann map on $C^{k,1}$ domains
I am interested in the mapping properties of the Dirichlet-to-Neumann map (also called the Poincare-Steklov operator) for $C^{k,1}$ domains, between Sobolev spaces on the boundary. What I know is in ...
- 3,322