All Questions
4,339 questions with no upvoted or accepted answers
0
votes
0
answers
63
views
Coarea-like formula for BV functions (not their derivative)
Let $\Omega \subset \mathbb R^N$ and $f \in BV(\Omega)$. The coarea formula states that
$$Df = \int_{\mathbb R} D \chi_{\{f >h\}} \, dh.$$
Unfortunately, the formula
$$f = \int_{\mathbb R} \...
- 839
0
votes
0
answers
153
views
Equivalent Definitions of Gaussian Process?
The Gaussian process $\{X_t\}_{t \in T}$ ($T=[0,1]$ for example) is usually defined using its finite-dimensional distribution. I came across this statement many times: linear operator (not necessarily ...
- 103
0
votes
0
answers
109
views
Elliptic equation with Neumann boundary condition: RHS in $L^2$ implies solution in $L^\infty$?
Consider the homogeneous Neumann problem $$-\Delta u + ku = f$$ $$\partial_\nu u = 0$$
on a smooth, bounded domain $\Omega$.
If $f \in L^2(\Omega)$, do we obtain the regularity $u \in L^\infty(\...
0
votes
0
answers
43
views
integrating multivariable rational function over a product of disks
Suppose I have a rational function of $k$ complex variables:
$$ R(x_1,...,x_k) = P(x_1,...,x_k)/Q(x_1,...,x_k) $$
where $P$ and $Q$ are polynomials. Now I'd like to compute the integral of this ...
- 169
0
votes
0
answers
326
views
Measurability of the heat semigroup in $L^\infty$
Let $S(t)$ be the $C_0$-semigroup generated by the Laplacian operator with Dirichlet boundary condition in $L^2(\Omega)$, where $\Omega$ is a bounded open subset of $R^n$.
It is known that $S(t)$ ...
- 1
0
votes
0
answers
156
views
Function classes with high Rademacher complexity
My question is two fold,
Is there any general understanding of what makes a function class have high Rademacher complexity? (Sudakov minoration would say that one sufficient condition for a class of ...
- 2,246
0
votes
0
answers
172
views
Compact operator
Let $k:[0,1]^2 \to [0,1]$ be a measurable function. Define $K:L^2([0,1])\to L^2([0,1])$ to be the operator:
$$
(Kf)(x) = \int_0^1\int_0^1 f(z) k(x,y) \mathbf{1}_{x\leq z\leq y} \ \mathrm{d}z \mathrm{d}...
- 31
0
votes
0
answers
56
views
linear functions/hyperplanes vs. convex functions/convex sets in Hilbert space
The simplest Hahn-Banach extension theorem in Hilbert space $X$ avoids the use of the axiom of choice by virtue of the Riesz representation theorem. But what about the version of the theorem where the ...
- 1,461
0
votes
0
answers
105
views
Spectrum of Dirac sequences
Let $\delta_n\in C^0_c(\mathbb{R})$ be a Dirac sequence approximating the Dirac delta "function" $\delta$ with support in $0\in \mathbb{R}$. Then, for each $n$ we have a compact operator $K_n:L^2(\...
- 99
0
votes
0
answers
63
views
Feller semigroups and fractional operators
Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
user60665
0
votes
0
answers
273
views
Local "boundary comparison principle" for harmonic functions
Let $u$ be a positive solution of the elliptic equation $\mathcal Lu = 0$ on $B^+_1 \subset \mathbb{R}^n$ such that $u$ vanishes continuously on $\{x_n = 0\}$. To fix ideas, we may take $\mathcal L = ...
user123456
0
votes
0
answers
117
views
Harnack Inequality for uniformly elliptic PDE via constructing a singularity
I am trying to prove a Harnack inequality for a nonnegative subsolution $u \in H^1(B_2)$ to the PDE $\text{div}(A Du) \ge 0$, where $A = A(x)$ is uniformly elliptic. The proof outline I am following ...
- 1
0
votes
0
answers
170
views
Strong continuity (weak to strong) of $\langle Au,v\rangle=\int u^3 v dx$
I am currently trying to figure out the following. If I consider the Sobolev space $W^{1,p}_0$ is it possible to show that the operator given by
$$\langle Au,v\rangle=\int u^3 v dx$$
is strongly (weak ...
- 101
0
votes
0
answers
115
views
If two spheres are isometric, does there exist a bijective isometry $T:S\to S$ with $\|Tu-\alpha Tv\|_Y \leq \|u-\alpha v\|_X$ for all $\alpha>0?$
Let
$$(S,\|\cdot\|) = \{(x,y)\in \mathbb{R}^2: \|(x,y)\| =1\},$$
that is, $S$ is the collection of all norm one vectors in $\mathbb{R}^2$ with respect to the norm $\|\cdot\|.$
Question: Let $\|\...
- 623
0
votes
0
answers
119
views
Holder-Sobolev type inequality
Let $U$ be a bounded subset of $\mathbb{R}^n$. Let $p>n$. Let $W^{2,1}(U_T)$ be the Banach space of functions $u:U\times[0,T]\rightarrow\mathbb{R}$ with the norm $\|u\|_{W^{2,1}(U_T)}=\sum_{2s+|\...
- 307
0
votes
0
answers
113
views
Conditions for the embedding of the space $L^\infty(I, W^{1,2}(U))$ into $L^\infty(I \times U)$
Let $I$ be a compact interval of $\mathbb{R}$ and $U$ be a bounded subset of $\mathbb{R}^2$.
If $f \in L^\infty(I, W^{1,2}(U))$, what (non-trivial) condition ($L^p$-estimate on $f$ or decay-like ...
user123457
0
votes
0
answers
169
views
Is there an option to handle Neumann-series when it diverges? (using infinite-sized Carleman matrices)
(I asked this in MSE but did not find resonance, there is also a relation to an older discussion here on summability see here and a followup formulating an $\text{ais}()$ already here)
...
- 5,342
0
votes
0
answers
171
views
What functions can one try employing to fit an apparently doubly-periodic real function over $[0,1]$?
I have a cosine-like data curve over $x \in [0,1]$ that I can rather well-fit by
a function of the form $a \cos{2 \pi x} +b$. Although good, the fit is still lacking,
in that the residuals from the ...
- 723
0
votes
0
answers
101
views
Reference Request: Egoroff Theorem for nets
Does there exist a generalization of Egoroff theorem for nets instead of sequences of functions?
- 5,405
0
votes
0
answers
75
views
Dense Egoroff theorem
Suppose that $f_n:X\rightarrow V$ is a sequence of continuous functions from a compact metric space $X$ to a Banach space $V$ and let $\mu$ be a Radon measure on $X$ and $\epsilon>0$ be given.
...
- 5,405
0
votes
0
answers
79
views
Iterative methods for minimizing sequences
Let $\mathbb{X}$ be a Banach space equipped with some norm $||\cdot||_\mathbb{X}$ and $F:\mathbb{X}\to\mathbb{R}$ be some linear functional. Suppose we are given a set $A\subseteq\mathbb{X}$ which is ...
- 364
0
votes
0
answers
87
views
Uniform convergence in Hadamard derivatives
Let $T\colon X \to Y$ be a nonlinear operator between Hilbert spaces which is Lipschitz and is Hadamard differentiable. It satisfies
$$T(x+th)=T(x) + tT'(x)(h) + r(t)$$
where $r(t)=r(t,x,h)$ is the ...
- 73
0
votes
0
answers
421
views
What can be said about the level set of the real part of an analytic function?
I am cross-listing this question from math.stackexchange since I did not find a satisfactory answer there. This is my first time posting a question on MO, so if this is not the appropriate community I ...
- 109
0
votes
0
answers
186
views
Upper bound on the modulus of a power series and concentration inequalities for empirical processes
This is a research question I encountered when I as studying solutions of
Lebesgue-Stieltjes integral equations. It is related to a new statistical
method I am developing (which I cannot expose now) ...
- 984
0
votes
0
answers
237
views
Spectrum of a Hamiltonian on the real line
Consider the following linear (Hamiltonian) operator on functions on the real line $\mathbb{R}$
$$H\psi(x)=-\frac{d^2}{dx^2}\psi(x)+V(x)\psi(x).$$
Assume that $V$ is a smooth function and $V(x)\to +\...
- 21.8k
0
votes
0
answers
248
views
Upper bound of $n$th derivative of reciprocal of $\zeta$
Is there any bound or asymptotic available for:
$$\sum\limits_{n=1}^{\infty} \frac{\mu(n)}{n^s} \log^k{n}$$
when $\Re(s) > 1$ and $k \to \infty$ ?
References are welcome.
- 129
0
votes
0
answers
72
views
weakly amenable weighted sequence algebras
Let $v=(v_n)_{n\in\mathbb{N}}$ be a positive weight with $\inf_nv_n>0$ (for convenience we may take $v_n\geqslant1$). Then $\ell_{\infty}(v)$ is a Banach algebra with coordinate-wise multiplication....
- 375
0
votes
0
answers
161
views
Topologies corresponding to norm, SOT and WOT under duality
This is a question from MSE which has not received any attention so far.
Let $X$ be a Banach space with norm dual $X'$. (I am mostly interested in the case $X = \ell^1$.)
For a linear mapping $T : X \...
- 1,773
0
votes
0
answers
158
views
On reasonable asymptotic estimates for some integral involving the logarithm of the Riemann zeta function
Let
$$I(T) = \int_{-T}^{T} \frac{\log|\zeta(\frac{1}{2} + it|)|}{\frac{1}{4}+t^2}\mathrm{d}t$$
where $\zeta$ denotes the Riemann zeta function.
What are the reasonable asymptotic estimates for $I(T)...
user123416
0
votes
0
answers
194
views
Section of a holomorphic line bundle with given differential at a zero
Let $X$ be a compact Kähler manifold of dimension $n$ with a given Kähler metric $\omega$. Let $L$ be a hermitian holomorphic line bundle on $X$ whose metric is positive. Let $x_0\in X$.
I would ...
- 404
0
votes
0
answers
60
views
Solution of a functional equation with cosine transform
What are the functions verifying:
$$\int_0^{\infty} f(t) \cos(2\pi xt)=\lambda \frac{1}{x} f(\frac{1}{x})$$
With $\lambda$ a constant ?
(Functions $x^{-\alpha}$ with $0<\alpha<1$ are solutions ...
- 1,199
0
votes
0
answers
324
views
Adjoint of differential equation
Motivation: Consider the ODE
$$y'(t)=Ay(t)$$ then it is true that the flow satisfies $\Phi(t)y_0=e^{tA}y_0$ and the adjoint of the flow is a solution to the adjoint equation
$$y'(t)=A^*y(t).$$
I ...
- 83
0
votes
0
answers
70
views
A question about an irreducible ultra-power
Let $A$ be a Banach algebra and $E$ be an irreducible Banach $A$-module. Is there a countably incomplete ultra filter $\mathcal U$ on $\mathbb N$, the set of natural numbers, such that the ultra power ...
- 2,118
0
votes
0
answers
299
views
When convolution with exponential kernel is bounded
Let $g(t)=e^{-\omega t}$, $\omega>0$. What is, in terms of well-known function spaces, the space $X$, $L_{loc}^2(0,\infty)\subset X$, of all functions $f:\mathbb{R}^+\to \mathbb{R}^+$, satisfying
$...
- 395
0
votes
0
answers
55
views
Continuity of a composite function
Let $n=2$ or 3 and let $\Omega$ be a bounded domain of $\mathbb{R}^n$. Let $T>0$ and $f \in L^2([0,T],H^1(\mathbb{R}^n))$.
Is the mapping
\begin{equation}
\begin{array}{rcl}
C^0([0,T],C^1(\bar{\...
- 143
0
votes
0
answers
58
views
Dense integer translates of a real-valued function with unequal limits at infinity
This is a follow up on a Previous question. Let $W$ be the space of continuous functions $f:\mathbb{R} \rightarrow \mathbb{R}$ such that $$\lim_{x\rightarrow \infty} f(x)=0~\mbox{and}~\lim_{x\...
- 537
0
votes
0
answers
194
views
Estimate of a Sobolev function after a change of variables
Let $n>0$ and $\Omega$ be a bounded domain of $\mathbb{R}^n$. Consider a smooth enough mapping $\Phi$, from $\Omega$ into $\Phi(\Omega)\subset\mathbb{R}^n$, that is orientation-preserving and ...
- 143
0
votes
0
answers
57
views
Questions on the behaviour of functions of exponential type 1
I am interested in understanding the properties of entire functions of exponential type 1. I have few questions about their growth.
How many sectors can a function of exponential type have, in which ...
- 503
0
votes
0
answers
89
views
Hausdorff methods of summation
From the book of Boss "Classical and modern methods in summability":
"The class of Hausdorff methods includes the Hölder, Cesaro and Euler methods. A large number of other matrix methods which play ...
- 109
0
votes
0
answers
83
views
Countable dense subset of functions of exponential type 1 that decay along the positive real axis
I am interested in the space of all holomorphic function of exponential type one, that decay exponentially along the positive real axis. I tried to define it as follows.
Let
$$\|f\|_n = \sup_{z\in\...
- 503
0
votes
0
answers
90
views
criterions for polar set of Feller processes
Suppose $X_t$ is the solution to
$$
d X_t=b(X_t)dt+dL_t,\quad X_0=x.
$$
where $L$ is a rotational symmetric $\alpha-$stable process with $\alpha\in (0,1]$, $b$ is Lipchitz.
Assume $\Gamma\subseteq ...
- 515
0
votes
0
answers
65
views
Does $\{ x^* \circ \psi_t:x^*\in ext(E^*), t\in K \}\subset ext(X^*)$ hold?
Notations: Let $K$ be a locally compact Hausdorff space and $E$ be a real normed linear space.
Recall that $C_0(K,E)$ is the set of $E$-valued continuous functions $f$ on $K$ such that $f$ vanishes at ...
- 623
0
votes
0
answers
57
views
A question on order unbounded sequences in Banach lattices
Let $E$ be a Banach lattice. It is well-known that every norm convergent sequence in $E$ admits an order convergent subsequence and hence admits an order bounded subsequence. But it seems that a norm ...
- 3,343
0
votes
0
answers
298
views
Generalization of the Chinese remainder theorem
Let $A$ be a Banach algebra and $\{I_{\alpha}\}_{\alpha}$ be a collection of closed two-sided pairwise coprime ideals of $A$. Is the Chinese remainder theorem true for $A$ and $\{I_{\alpha}\}_{\alpha}$...
- 565
0
votes
0
answers
467
views
Intersection of two subspaces of a Hilbert space
Background:
Let $D$ be a Klein Four group and consider free product $Z/2Z\star D=<a,b,c,d|a^{2}=b^{2}=c^{2}=d^{2}=bcd=1>$. Now we consider group algebra generated by $Z/2Z\star D$ with inner ...
- 407
0
votes
0
answers
56
views
Existence of a couple of functions solution of a differential equation (with additional constraint)
I would like to know if we can find a real function $v(x)$ and a complex function $f(x)$, such that they solve the following differential equation (with $\alpha$ a complex, $0<Re(\alpha)<1$):
$$...
- 1,199
0
votes
0
answers
152
views
Continuity under various topologies for positive linear functionals
It is known that if $\mathcal A$ is a unital $\mathbb C$-$*$-algebra and $A$ is a unital subalgebra closed under $*$, and if $f : A \to \mathbb C$ is linear, then $f$ is positive if and only if $f$ is ...
- 5,407
0
votes
0
answers
227
views
Negative Sobolev norm of non-zero mean non-periodic function on bounded space
The usual formulation of $H^{-1}$ norm for a zero-mean periodic function on some domain $\Omega\in\mathbb{R}$ is as follows:
$\|f\|^2_{H^{-1}}=\sum\limits_{k\in Z, k\neq 0}\dfrac{\hat{f}^2_k}{k^2}$, ...
- 318
0
votes
0
answers
243
views
Sequence of analytic functions
Let $f_k$ be a sequence of rational functions analytic in the discs $\{ |z| < 1 + \epsilon_k\}$ (with some $\epsilon_k > 0$), which converge to an analytic function $f$ in every point $|z| < ...
- 163
0
votes
0
answers
90
views
Discrete approximations to $\nabla^2$
I found this formula in an engineering textbook (image processing). It is an approximation of the Laplacian on flat space $\mathbb{R}^2$.
\begin{eqnarray*} \nabla^2 f &\approx& -20 f(\vec{x})...
- 22.8k