Skip to main content
edited body
Source Link
BaoLing
  • 329
  • 1
  • 8

Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like

$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$

Assume that $K\in C^{\text{bounded}}(\mathbb{R}^n \times \mathbb{R}^n)$ has the following properties. $S$$K$ is symmetric, positive and $K(0,\cdot) \in L^r(\mathbb{R}^n)$ for all $r>2.$

Also $K$ is monotone in the sense that $\left\lVert (x,y) \right\rVert>\left\lVert (x',y') \right\rVert$ then $K(x,y)< K(x',y').$

Then I define the sequence of operators $$(S_nf)(x)=\int_{\mathbb{R}^n}1_{B(0,n)^C\times B(0,n)^C}(x,y) K(x,y)f(y) dy.$$

So the same operator as $S$ but now we throw away everything that is supported close the origin of the kernel.

Obviously $(S_n)$ has the property that $\left\lVert S_n \right\rVert \le \left\lVert S \right\rVert$ and one also checks that $(S_nf) \rightarrow 0$ as $n \rightarrow \infty$ (check this on $C_c^{\infty}$ functions for example.)

I would like to know: Does it follow that $\left\lVert S_n \right\rVert \rightarrow 0$ ? So does pointwise convergence imply uniform convergene in this example?

Edit: It may also be interesting, and for some people maybe more convenient, to look at the analogous problem in $\ell^2(\mathbb{Z}^n),$ so having an operator $$(Tx)(z)= \sum_{y \in \mathbb{Z}^n} L(z,y)x(y)$$ and so on...

Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like

$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$

Assume that $K\in C^{\text{bounded}}(\mathbb{R}^n \times \mathbb{R}^n)$ has the following properties. $S$ is symmetric, positive and $K(0,\cdot) \in L^r(\mathbb{R}^n)$ for all $r>2.$

Also $K$ is monotone in the sense that $\left\lVert (x,y) \right\rVert>\left\lVert (x',y') \right\rVert$ then $K(x,y)< K(x',y').$

Then I define the sequence of operators $$(S_nf)(x)=\int_{\mathbb{R}^n}1_{B(0,n)^C\times B(0,n)^C}(x,y) K(x,y)f(y) dy.$$

So the same operator as $S$ but now we throw away everything that is supported close the origin of the kernel.

Obviously $(S_n)$ has the property that $\left\lVert S_n \right\rVert \le \left\lVert S \right\rVert$ and one also checks that $(S_nf) \rightarrow 0$ as $n \rightarrow \infty$ (check this on $C_c^{\infty}$ functions for example.)

I would like to know: Does it follow that $\left\lVert S_n \right\rVert \rightarrow 0$ ? So does pointwise convergence imply uniform convergene in this example?

Edit: It may also be interesting, and for some people maybe more convenient, to look at the analogous problem in $\ell^2(\mathbb{Z}^n),$ so having an operator $$(Tx)(z)= \sum_{y \in \mathbb{Z}^n} L(z,y)x(y)$$ and so on...

Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like

$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$

Assume that $K\in C^{\text{bounded}}(\mathbb{R}^n \times \mathbb{R}^n)$ has the following properties. $K$ is symmetric, positive and $K(0,\cdot) \in L^r(\mathbb{R}^n)$ for all $r>2.$

Also $K$ is monotone in the sense that $\left\lVert (x,y) \right\rVert>\left\lVert (x',y') \right\rVert$ then $K(x,y)< K(x',y').$

Then I define the sequence of operators $$(S_nf)(x)=\int_{\mathbb{R}^n}1_{B(0,n)^C\times B(0,n)^C}(x,y) K(x,y)f(y) dy.$$

So the same operator as $S$ but now we throw away everything that is supported close the origin of the kernel.

Obviously $(S_n)$ has the property that $\left\lVert S_n \right\rVert \le \left\lVert S \right\rVert$ and one also checks that $(S_nf) \rightarrow 0$ as $n \rightarrow \infty$ (check this on $C_c^{\infty}$ functions for example.)

I would like to know: Does it follow that $\left\lVert S_n \right\rVert \rightarrow 0$ ? So does pointwise convergence imply uniform convergene in this example?

Edit: It may also be interesting, and for some people maybe more convenient, to look at the analogous problem in $\ell^2(\mathbb{Z}^n),$ so having an operator $$(Tx)(z)= \sum_{y \in \mathbb{Z}^n} L(z,y)x(y)$$ and so on...

added 229 characters in body
Source Link
BaoLing
  • 329
  • 1
  • 8

Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like

$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$

Assume that $K\in C^{\text{bounded}}(\mathbb{R}^n \times \mathbb{R}^n)$ has the following properties. $S$ is symmetric, positive and $K(0,\cdot) \in L^r(\mathbb{R}^n)$ for all $r>2.$

Also $K$ is monotone in the sense that $\left\lVert (x,y) \right\rVert>\left\lVert (x',y') \right\rVert$ then $K(x,y)< K(x',y').$

Then I define the sequence of operators $$(S_nf)(x)=\int_{\mathbb{R}^n}1_{B(0,n)^C\times B(0,n)^C}(x,y) K(x,y)f(y) dy.$$

So the same operator as $S$ but now we throw away everything that is supported close the origin of the kernel.

Obviously $(S_n)$ has the property that $\left\lVert S_n \right\rVert \le \left\lVert S \right\rVert$ and one also checks that $(S_nf) \rightarrow 0$ as $n \rightarrow \infty$ (check this on $C_c^{\infty}$ functions for example.)

I would like to know: Does it follow that $\left\lVert S_n \right\rVert \rightarrow 0$ ? So does pointwise convergence imply uniform convergene in this example?

Edit: It may also be interesting, and for some people maybe more convenient, to look at the analogous problem in $\ell^2(\mathbb{Z}^n),$ so having an operator $$(Tx)(z)= \sum_{y \in \mathbb{Z}^n} L(z,y)x(y)$$ and so on...

Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like

$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$

Assume that $K\in C^{\text{bounded}}(\mathbb{R}^n \times \mathbb{R}^n)$ has the following properties. $S$ is symmetric, positive and $K(0,\cdot) \in L^r(\mathbb{R}^n)$ for all $r>2.$

Also $K$ is monotone in the sense that $\left\lVert (x,y) \right\rVert>\left\lVert (x',y') \right\rVert$ then $K(x,y)< K(x',y').$

Then I define the sequence of operators $$(S_nf)(x)=\int_{\mathbb{R}^n}1_{B(0,n)^C\times B(0,n)^C}(x,y) K(x,y)f(y) dy.$$

So the same operator as $S$ but now we throw away everything that is supported close the origin of the kernel.

Obviously $(S_n)$ has the property that $\left\lVert S_n \right\rVert \le \left\lVert S \right\rVert$ and one also checks that $(S_nf) \rightarrow 0$ as $n \rightarrow \infty$ (check this on $C_c^{\infty}$ functions for example.)

I would like to know: Does it follow that $\left\lVert S_n \right\rVert \rightarrow 0$ ? So does pointwise convergence imply uniform convergene in this example?

Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like

$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$

Assume that $K\in C^{\text{bounded}}(\mathbb{R}^n \times \mathbb{R}^n)$ has the following properties. $S$ is symmetric, positive and $K(0,\cdot) \in L^r(\mathbb{R}^n)$ for all $r>2.$

Also $K$ is monotone in the sense that $\left\lVert (x,y) \right\rVert>\left\lVert (x',y') \right\rVert$ then $K(x,y)< K(x',y').$

Then I define the sequence of operators $$(S_nf)(x)=\int_{\mathbb{R}^n}1_{B(0,n)^C\times B(0,n)^C}(x,y) K(x,y)f(y) dy.$$

So the same operator as $S$ but now we throw away everything that is supported close the origin of the kernel.

Obviously $(S_n)$ has the property that $\left\lVert S_n \right\rVert \le \left\lVert S \right\rVert$ and one also checks that $(S_nf) \rightarrow 0$ as $n \rightarrow \infty$ (check this on $C_c^{\infty}$ functions for example.)

I would like to know: Does it follow that $\left\lVert S_n \right\rVert \rightarrow 0$ ? So does pointwise convergence imply uniform convergene in this example?

Edit: It may also be interesting, and for some people maybe more convenient, to look at the analogous problem in $\ell^2(\mathbb{Z}^n),$ so having an operator $$(Tx)(z)= \sum_{y \in \mathbb{Z}^n} L(z,y)x(y)$$ and so on...

Source Link
BaoLing
  • 329
  • 1
  • 8

Pointwise convergence implies uniform convergence?

Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like

$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$

Assume that $K\in C^{\text{bounded}}(\mathbb{R}^n \times \mathbb{R}^n)$ has the following properties. $S$ is symmetric, positive and $K(0,\cdot) \in L^r(\mathbb{R}^n)$ for all $r>2.$

Also $K$ is monotone in the sense that $\left\lVert (x,y) \right\rVert>\left\lVert (x',y') \right\rVert$ then $K(x,y)< K(x',y').$

Then I define the sequence of operators $$(S_nf)(x)=\int_{\mathbb{R}^n}1_{B(0,n)^C\times B(0,n)^C}(x,y) K(x,y)f(y) dy.$$

So the same operator as $S$ but now we throw away everything that is supported close the origin of the kernel.

Obviously $(S_n)$ has the property that $\left\lVert S_n \right\rVert \le \left\lVert S \right\rVert$ and one also checks that $(S_nf) \rightarrow 0$ as $n \rightarrow \infty$ (check this on $C_c^{\infty}$ functions for example.)

I would like to know: Does it follow that $\left\lVert S_n \right\rVert \rightarrow 0$ ? So does pointwise convergence imply uniform convergene in this example?