Skip to main content

All Questions

3,859 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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}...
Samovem's user avatar
  • 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 ...
5th decile's user avatar
  • 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(\...
ernest's user avatar
  • 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 ...
user avatar
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 = ...
user avatar
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 ...
David's user avatar
  • 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 ...
Bennibenben's user avatar
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 $\|\...
Idonknow's user avatar
  • 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+|\...
Truong's user avatar
  • 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 ...
user avatar
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) ...
Gottfried Helms's user avatar
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 ...
Paul B. Slater's user avatar
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?
ABIM's user avatar
  • 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. ...
ABIM's user avatar
  • 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 ...
Arian's user avatar
  • 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 ...
M.L's user avatar
  • 73
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 +\...
asv's user avatar
  • 21.8k
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....
Krzysztof's user avatar
  • 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 \...
yada's user avatar
  • 1,773
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 ...
Bertrand's user avatar
  • 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 ...
Umberto's user avatar
  • 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 ...
MSMalekan's user avatar
  • 2,118
0 votes
0 answers
467 views

Is the product of two Sobolev functions in L^p?

Assume that $f\in W^{\alpha-1,p}(R^n)$ with $0<\alpha<1$ and $p>2n/\alpha$. Given another function $ g\in W^{\beta,p}(R^n)$ with $\beta>0$. Under what conditions on $\beta$ can we get ...
Wenguang Zhao's user avatar
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 $...
Saj_Eda's user avatar
  • 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{\...
PeteAgor's user avatar
  • 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\...
Marco's user avatar
  • 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 ...
PeteAgor's user avatar
  • 143
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 ...
Raio's user avatar
  • 109
0 votes
0 answers
76 views

An ideal in Fourier–Stieltjes algebras $B(G)$

Let $G$ be a locally compact group and $R$ be any family of representations of $G$. Let $A_R(G)$ be the closed linear span in Fourier–Stieltjes algebras $B(G)$ of the coefficient functions of all ...
Albert harold's user avatar
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 ...
Guohuan Zhao's user avatar
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 ...
Idonknow's user avatar
  • 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 ...
Dongyang Chen's user avatar
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}$...
Albert harold's user avatar
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 ...
Jack's user avatar
  • 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$): $$...
Bertrand's user avatar
  • 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 ...
Alex M.'s user avatar
  • 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}$, ...
mystupid_acct's user avatar
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})...
john mangual's user avatar
  • 22.8k
0 votes
0 answers
266 views

Embedding for the Bourgain spaces $X^{s,b}$

Where can I find embedding results for the Bourgain spaces $X^{s,b}$ (for a definition see the bottom of page 2 here). In particular, I'd like to know if, for $s$ sufficiently large, it is contained ...
user avatar
0 votes
0 answers
84 views

Consequence of John and Nirenberg's lemma?

The lemma I'm referring to in the title is the following: John and Nirenberg's lemma: Let $C_0 \subset \mathbf{R}^n$ a finite cube. Let $u \in L^1(C_0)$ and assume there exists a constant $k$ such ...
jJjjJ's user avatar
  • 109
0 votes
0 answers
72 views

Sobolev embedding for a specific family of weighted Sobolev spaces

Consider the weighted Sobolev-type space $$ W_\alpha:=\{f\in L^2(0,\infty):\hbox{id}^\alpha\cdot f'\in L^2(0,\infty)\}. $$ Are there any known embeddings? Ideally, I am looking for an embedding of the ...
Delio Mugnolo's user avatar
0 votes
0 answers
124 views

Reference for the Hardy maximal function on the torus

I am searching for a reference for the (sharp) Hardy maximal function on the torus $\mathbb{T}^2:=\mathbb{R^2}/\mathbb{Z}^2$, for instance I would need result result of the following type : if $g\in H^...
Ayman Moussa's user avatar
  • 3,425
0 votes
0 answers
96 views

Does adding a compact operator change the symbol of a pseudodifferential operator?

Suppose $X$ is a non-compact manifold. Let $P$ be an order-$0$ pseudodifferential operator on $X$ and $f:L^2(X)\rightarrow L^2(X)$ a compact operator. I'm wondering: 1) Is $P + f$ always a ...
geometricK's user avatar
  • 1,903
0 votes
0 answers
81 views

Differential operator and equivalence

Here is the problem: I have a certain PDE and there is the nonlinear terme $h$, I have as data: $f \in H_0^2(0,L)$,,,$g \in {H^1}(0,L)$ with ${g_x}(0) = {g_x}(L) = 0$ Now on consider the fnction $$h(...
Gustave's user avatar
  • 617
0 votes
0 answers
97 views

Is there any concise sufficient condition for the dual space to have Kadec property?

A normed space $E$ has a Kadec property if the norm- and weak topologies coincide on the unit sphere of $E$. Kadec-Klee property if any sequence on the unit sphere, that is weakly convergent is also ...
erz's user avatar
  • 5,529
0 votes
0 answers
308 views

Invertible operator

We consider the operator $$T=I + {{{\partial ^2}} \over {\partial {x^2}}}:{H^2}(0,L) \cap H_0^1(0,L) \to {L^2}(0,L)$$ We hope to prove that $T$ is invertible if and only if $L = n\pi $. and for this ...
Gustave's user avatar
  • 617
0 votes
0 answers
84 views

Under what conditions on $\mu^{\beta}$ we have $L_1(\beta X,\mu^{\beta})$ isometrically isomorphic to $L_1(X,\mu)$?

Let $X$ be a locally compact Hausdorff space, $\beta X$ its Stone-Cech compactification and $\Delta: X\to\beta X$ the inclusion map. Given a Borel probability measure $\mu^{\beta}$ over $\beta X$, is ...
Leandro's user avatar
  • 2,044
0 votes
0 answers
59 views

Differential operator

One define the operator $T$ as :$$T: = (I - {{{\partial ^2}} \over {\partial {x^2}}}):H_0^1(0,L) \cap {H^2}(0,L) \to {L^2}(0,L) $$ let $f \in H_0^2(0,L) \cap {H^4}(0,L)$. What can we say about ${T^{ - ...
Gustave's user avatar
  • 617
0 votes
0 answers
58 views

in search of convergent daughter sequences

Let $\{f_n\}\subset L^1(\Omega,\mu)$, where $\mu$ is the Lebesgue measure, and $\Vert f_n\Vert_1\leq M$ and $\Vert Df_n\Vert_{1/2}\leq C$ uniformly in $n$. Question. Is there a subsequence $\{f_{...
T. Amdeberhan's user avatar
0 votes
0 answers
263 views

Does AX+XA=0 have any non-trivial solutions?

Let $X$ be a continuous linear self-adjoint operator on some Hilbert space $H$ and for arbitrary compact operators $A$ we have: $XA+AX=0.$ Does this imply that $X=0$ or can there be non-trivial ...
Kinzlin's user avatar
  • 305

1
72 73
74
75 76
78