All Questions
12,935 questions
0
votes
2
answers
337
views
Is there a general notion of entropy for the states of a C*algebra?
I've seen some definition of the relative entropy between two states of a C*algebra. However this definitions work only for finite dimensional C*algebras and I don't know if there is a correspondent ...
2
votes
0
answers
104
views
Analyticity of one-dimensional PDE solutions with respect to the space variable
Let $n>1$ and $u$ be a solution of a linear PDE with constant coefficients
$$
u_t-\sum_{k=0}^n a_k \partial_x^k u=0,\quad a_k\in \mathbb C,\quad a_n\ne0,
$$
in some neighborhood of a point $(x_0,...
- 2,715
0
votes
0
answers
160
views
Is this function in the weighted Sobolev space $H^{2,-s}$?
I have the function $$f(x)=\frac{e^{iz|x-y|}}{4\pi|x-y|}$$ with $y\in\mathbb{R}^3$ and $\Im z>0$. Let $s>\frac{1}{2}$. Clearly it is not in $H^{2,-s}(\mathbb{R}^3)$ for the singularity of order $...
- 1
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
2
votes
1
answer
257
views
Regularity of harmonic functions with robin data up to the boundary
I want to prove that if $u$ is a solution of
$\Delta u = 0$ in $\Omega$ with Robin boundary conditions $\frac{\partial u}{\partial n} = \lambda u$, where $\Omega \subset \mathbb{R}^n$ has analytic ...
- 31
0
votes
0
answers
436
views
cokernels of semi-Fredholm operators
I did not find a reference for the following question, so I will pose it here. I think the answer should be elementary.
Let $F:X\rightarrow Y$ be a semi-Fredholm operator between Banach spaces, i.e. $...
- 2,935
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
21
votes
0
answers
876
views
Are the eigenvalues of the Laplacian of a generic Kähler metric simple?
It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...
- 6,247
2
votes
1
answer
214
views
union of Stone-Cech remainders
Can anyone point me to a reference or further information on the following construction? Let $X$ be a compact metric space such as $[0,1]$. Let $A$ be the commutative pre-C*-algebra consisting of [...
- 607
7
votes
1
answer
362
views
Nonexpansive multi-valued maps in $\ell^2$
Let $C$ be a nonempty bounded closed convex subset, say the unit ball, of $\ell^2(\mathbb{N})$. Let $T: C\to 2^C$ be a map such that $T(x)$ is nonempty closed for each $x$, and that $$D(Tx,Ty)\le \|x-...
- 744
2
votes
1
answer
123
views
Boundedness of a given boundary value problem.
I've been given the following BVP:
\begin{align*}
-\Delta u = u- u^3,\: x\in \Omega
\end{align*}\begin{align}
u = 0,\: x\in \partial \Omega
\end{align}
where $\Omega\subset \mathbb{R}^N$ is bounded.
...
- 23
2
votes
0
answers
424
views
A free boundary problem by finite difference method
I wanna discretize the following free boundary problem
Find $u$ and $\Omega$ such that $\Delta u=1-\delta_0$ in $\Omega$ with the conditions $u=|\nabla u|=0$ on $\partial \Omega$.
I apply finite ...
- 93
1
vote
0
answers
126
views
Is scalarwise measurability determined by the strong dual?
Since this question has not received an answer so far, I try to reformulate the question in a simpler manner as follows: Do there exist $E,F,\ell,f$ such that
$E$ and $F$ are separable (real) Banach ...
- 3,584
1
vote
2
answers
515
views
continuity of extension of maps along curves
Let $a\le b$ and $k\ge 0$ be given and fixed. Let furthermore $x$ and $y$ denote two different elements of a Hilbert space $H$. Suppose $u:\mathbb{R}\rightarrow H$ is a $C^k$-embedding connecting $x$ ...
- 2,935
1
vote
1
answer
706
views
Plancherel-Polya Type Inequality for non-compactly Fourier-supported Functions??
Hi!
The Plancerel-Polya inequality can be stated as follows:
Let $0 < p\le \infty$ and $ \nu \in \mathbb{Z}$. Suppose that $g$ is a (smooth) function satisfying $\mbox{supp }\hat g \subset \...
- 979
1
vote
1
answer
663
views
What are conditions to make f(x) defined by f(x)=f(x-1)*x + 1/e unique(for instance convex)?
[Background:]
Looking at the powerseries for the gamma-function
$ \Gamma(1+x) = 1 + a_1 x + a_2 x^2 - a_3 * x^3 + ... $
then we can arrive at a decomposition
$ \Gamma(1+x) = r(x) + g(x) $
...
- 5,342
0
votes
0
answers
37
views
Any reference in absorbing boundary conditions for non-abelian gauge fields?
Is there any paper on absorbing boundary conditions for non-abelian gauge fields?
Currently I only saw some on elastic wave equations and some on EM fields.
- 1
2
votes
1
answer
263
views
Convergence of elliptic operators
Let $A_t$ be family of second order, positive, elliptic differential operator mapping Sobolev $H^2$ of a compact smooth manifold (or bounded domain) to L^2. Suppose that the coefficients of $A_t$ ...
- 494
2
votes
1
answer
230
views
Completing The Space Sections in a Vectorbundle
Hi there.
Assume $(M,g)$ is a Riemanian manifold and $E\to M$ is a
vector bundle with a bundle metric $\langle\cdot,\cdot\rangle$. We then have the pre-Hilbert space $H_0:=\Gamma_c^\infty(E)$ of ...
- 23
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
1
vote
0
answers
305
views
Strong minimum principle for maximal plurisubharmonic functions
Suppose $u$ is a bounded maximal plurisubharmonic function in a bounded domain $D \in \Bbb C^n$. If $u$ is $C^2$ one can see that $u$ cannot have a local strict minimum inside $D$. Is there an analog ...
- 1,211
1
vote
0
answers
368
views
Definition of spectral gradient
Consider this differential operator
$$
\mathcal{H}(\phi(\mathbf{x})) = -\triangle + V(\mathbf{x})H_\epsilon (\phi(\mathbf{x}))
$$
where $\mathbf{x} \in \mathbb{R}^2$, $\phi : \mathbb{R}^2 \rightarrow \...
- 817
0
votes
0
answers
183
views
Continuity of the Shadow of a Nondecreasing Function
So I'm working a lot with monotone nondecreasing functions $f : [0,1] \rightarrow [0,1]$, and I'm defining a certain discrete dynamics on them. Here nondecreasing means $x < y \Rightarrow f(x) \leq ...
- 485
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 ...
- 31
0
votes
1
answer
177
views
Laurent series with analytic coefficients
Let $A=H(D(0,1))$ the ring of holomorphic functions on the open unity disc.
I consider the function $f$:
$$f (t)=\sum f_{i}t^{i} \in A[[t]]$$
I suppose that the $t$-adic valuation of it is less or ...
- 3,472
1
vote
0
answers
133
views
nodal lines in the dirichlet problem
In the Dirichlet problem if nodal lines do not touch $\partial\Omega$ (unit disk), what happens to the eigenvalues?
Thanks for help.
- 11
0
votes
1
answer
592
views
Delta notation used for describing numerical stencil
While reading some papers translated from the Russian literature, I've noticed that a delta symbol can be used to denote a FDTD stencil that discretizes a PDE. For example, in [1], a fourth order ...
- 157
2
votes
0
answers
88
views
System of 2 linear q-difference equations with singular matrix
I would like to solve the following algebraic linear system of q-difference functional equations:
\begin{cases}
a_{11}\left(x\right)f\left(x\right)+a_{12}\left(x\right)g\left(x\right)=f\left(qx\right)...
- 133
1
vote
1
answer
434
views
Intersection of ideals in C*-algebra or even rings in general
Dear all,
here is a question that has been bothering me. It goes without saying that I would appreciate any help in answering it.
Let {I_k} be a countable sequence of two sided closed ideals in a C*-...
4
votes
1
answer
230
views
A convergence problem about integral operator in the space of representations
This would be a basic problem in representation theory.
Let $G$ be a unimodular real Lie group, $(\pi,V)$ a smooth representation of $G$ in a Frechet space $V$. Let $f$ be a smooth function on $G$. ...
- 2,709
0
votes
0
answers
227
views
Hermite function expansion
Let $f$ be a continuous function on $\mathbb{R}$ with compact support and unique maximum. Form the functions
$$
F_{n,k}(x)=f^n\left(x-\frac{k}{2^n}\right), k \in Z, n>0
$$
I am wondering if one ...
- 71
0
votes
0
answers
60
views
Why Does a quadratic phase term in BNLS causes collapse?
I've heard a couple of times that in the Biharmonic Nonlinear Schrodinger Equation,
$i\psi_z + \Delta ^2 \psi + |\psi | ^{2\sigma } \psi =0 $, $\psi (x, 0) = \psi _0 (x) \in H^2( \mathbb{R} ^d ) $
...
- 3,574
2
votes
1
answer
205
views
Do unitary bijections act invariantly on irreducible representations?
Let $\mathcal{A}$ be a $C^*$ algebra. Let $(\pi, \mathcal{H})$ be a faithful, irreducible, unitary, Hilbert space representation of $\mathcal{A}$; i.e., $\pi:\mathcal{A}\rightarrow\mathcal{B}(\mathcal{...
- 657
0
votes
2
answers
225
views
Codimension of $J(\omega_1)$ in its bidual
I am reading the paper
G. A. Edgar, A long James space, in: Measure Theory, Oberwolfach 1979, Lectures Notes in Math. 794, Springer-Verlag (1980) pp. 31-37.
and I am pretty confused by the remarks ...
- 3
1
vote
0
answers
318
views
Fourier series/transform of an amplitude-limited sinusoid
I am trying to estimate the amplitude of an original unlimited sine wave from a measurement of the power spectral density (PSD) of an amplitude-limited version. I expect that I may be able to do so ...
- 11
3
votes
0
answers
353
views
Best Poincare constants on the surface of a ball
I'm considering specifically functions $\xi:\partial B(0,1) \to \partial B(0,1)$ in $\mathbb{R}^2$ and $\mathbb{R}^3$ satisfying $\int_{\partial B(0,1)} \xi(y) dS(y) = 0$. I would like to know first ...
- 2,641
7
votes
1
answer
571
views
Categorical duals in Banach spaces
Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".
Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of ...
- 25.2k
0
votes
0
answers
215
views
Coupled system of linear parabolic PDEs
Hi,
Are there any existence results for the coupled system of linear parabolic PDEs:
$$u_t - a_1u_{xx} - a_2u_x - a_3u = f_1$$
$$v_t - a_3u_{xx} - a_4u_x - a_5u - a_6v_{xx} - a_7v_x - a_8v = f_2$$
...
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
0
votes
0
answers
74
views
Weak convergence of 4-th degrees
Good day!
We have an equation $y'+Ay=Bu$ where $y=\{\theta,\varphi\}$, $A, B$ are nonlinear operators.
$u \in L^\infty(\Gamma)$, $\theta, \varphi \in W = \{y \in L^2(0,T;V) : y'\in L^2(0,T;V')\}$, $...
- 243
7
votes
0
answers
266
views
Problem with Shelah and Stern's paper on the Hanf number of the theory of Banach spaces
I have been trying to understand "The Hanf number of the first order theory of Banach spaces" by Shelah and Stern (Trans. AMS 244 (1978) 147-241). They construct a normed space $M$ from a Hilbert ...
- 879
2
votes
1
answer
580
views
Entropy of Markov processes
Consider a Markov process $X_t$ with generator $L$ and invariant distribution $\pi$, whose distribution at time $t$ is given by $\pi(t,dx)=\phi(t,x) \pi(dx)$ - in other word, $\phi(t,x)$ is the ...
- 2,133
0
votes
1
answer
340
views
Reference for spectral theory of group of linear operators
It is not hard to find the spectral theory of a single unitary operator $U$. This is the spectral theory for a $\mathbb{Z}$-action because we consider $U^n$ for $n\in\mathbb{Z}$. This is clear with ...
- 163
2
votes
0
answers
105
views
Fourier multiplier with a singularity on a convex curve
Let $h$ be a strictly convex function such that $h(0) = h'(0)=0$. Let $\Phi: \mathbb{R}^2 \to \mathbb{R}$ be a $C^{\infty}$-function with compact support (say, $\Phi$ is supported on $[-1,1]\times[-1,...
2
votes
0
answers
122
views
A parametrix for the $\bar\partial$ operator adapted to a holomorphic foliation
Let $X$ be a compact complex manifold with (regular) holomorphic foliation given by a holomorphic subbundle $\mathcal F$ of the tangent bundle. The foliation induces a filtration on differential forms....
- 51
1
vote
1
answer
190
views
cardinality of discontinuity curves of BV function
If the function $f:R\to R$ is of BV class then it has at most countably many discontinuity points (since it can be represented as a sum of two monotonic function).
I am interested to know whether the ...
- 13
0
votes
1
answer
126
views
Integral of a harmonic function on a manifold with two non-parabolic ends
Let M be a complete Riemannian manifold.Suppose there are two non-parabolic ends on M with respect to $M\backslash {B_p}\left( {{R_0}} \right)$Then there is a harmonic function f on M.Is it right that ...
- 689
0
votes
0
answers
186
views
Properties of Eigenfunctions of a Kernel
I'm a newbie and may be this question is bit simple for you but pardon me if it's too simple and provide me some references.
I've and Kernel function $K(x,y)$
$f(x)=(Kg)(x)=\int_{\Omega}K(x,y)g(y)dy$...
- 17
2
votes
0
answers
202
views
Frames and reproducing kernels
Hello MathOverFlow
I have some questions about frames and reproducing kernels and here they are:
For a Hilbert space $H$ spanned by a frame $\lbrace f_n \rbrace$ there exists a reproducing kernel $K(...
- 21
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