Skip to main content

Questions tagged [interpolation-theory]

For questions about interpolation of operators. This includes: real and complex interpolation, interpolation estimates, interpolation spaces. Questions about the estimation of a function from a given input should be asked under the [interpolation] tag instead.

1 vote
1 answer
90 views

I want to show that the fractional Sobolev space $H^\frac{1}{2}$ is equal to the interpolation space $(L^2,H^1)_{\frac{1}{2},2;K}$. In particular I would like to use the K-method as described in the ...
Skepex's user avatar
  • 113
7 votes
1 answer
188 views

I'm currently studying interpolation spaces, but I'm struggling to understand some of the intuition behind real interpolation. There are two equivalent methods to define the real interpolation functor,...
kalkuluss's user avatar
  • 102
5 votes
0 answers
246 views

I am studying Theorem X.36' (Nelson's Commutator Theorem) on Reed-Simon vol II, here is a short resume: Let $N \geq I$ a self-adjoint operator on a complex Hilbert Space $H$. Suppose we have a ...
Ker's user avatar
  • 404
1 vote
0 answers
83 views

I am interested in the specific embedding constant of the Lions-Magenes lemma. In particular, let $V \subset H \subset V'$ be a Gelfand triple, where the embeddings are compact. Furthermore, we define ...
bheinzek's user avatar
2 votes
3 answers
100 views

I am stuck with this problem since a week, if someone could help me that would be amazing. Considering, a smooth 2d map on a closed domain let's take the unit square: $$\begin{cases}\phi : [0,1] \...
Andrea Combette's user avatar
2 votes
0 answers
155 views

Setting Consider the following setting: Let $d \in \mathbb{N}$. Lorentz space: $L^{p,q} = L^{p,q}(\mathbb{R}^d; \mathbb{R})$, $1<p<\infty$, $1\leq q \leq \infty$ (I assume familiarity with ...
Sebastien B's user avatar
1 vote
0 answers
163 views

Let $M$ be a closed manifold, and $\Omega\subseteq M$ an open subset. For $s\geq 0$ let $H^s_\bar{\Omega}(M)$ denote the subset of the Sobolev space $H^s(M)$ containing all functions with (...
Matti Lyko's user avatar
1 vote
0 answers
50 views

There are two types of boundedness for operators that are commonly used as endpoints in interpolation theory: Weak-type $(1,1)$ boundedness; Hardy space $H^1$ boundedness. Both of these serve as ...
xxxg's user avatar
  • 513
1 vote
1 answer
173 views

Below, every function space is on the domain $\mathbb{R}^N$ for some $N \in \mathbb{N}$, $W^{m,p}$ denotes the classical Sobolev spaces (i.e., having $L^p$ weak derivatives), and $B^{s,p}_q$ denotes ...
Miru's user avatar
  • 13
2 votes
1 answer
92 views

Suppose we are given a sequence $a_{0}, a_{1}, a_{2}, \ldots$ of real numbers and we define $F:\mathbb{N}\times[0, \infty)\rightarrow\mathbb{R}$ by $$ F(k, \alpha) = \sum_{n=0}^{\infty} \frac{\alpha^{\...
MaximusIdeal's user avatar
  • 3,057
7 votes
1 answer
356 views

Consider a convex and smooth (or at least $C^2$) function $f$ such that: $f(x)>0$ for $x\in (a,b)$ $f'(x)>0$ for $x\in (a,b)$ $f''(x)>0$ for $x\in (a,b)$ Now, we are given an interval $[...
Quillo's user avatar
  • 2,270
1 vote
1 answer
77 views

It is in the proof of the Riesz interpolation theorem in Chapter 2 section 2, page 56. I formulate it as follows. If $f\in L^p(X)$, write $f^U= f \chi_E$ and $f^L=f-f^U$, where $E=\{x\in X: |f(x)|\geq ...
J.Li's user avatar
  • 563
0 votes
2 answers
147 views

Consider two non-constant real polynomials $f(x)$ and $g(x)$: $$f=f_0 + f_1 (x-x_0) +...+f_N(x-x_0)^N $$ $$g=g_0 + g_1(x-x_1) +...+g_M(x-x_1)^M $$ where $f_0...f_N,g_0...g_M,x,x_0,x_1 \in \mathbb{R}$ ...
Quillo's user avatar
  • 2,270
2 votes
1 answer
182 views

Let consider $N$ points in Euclidean space of dimension $n$, $\boldsymbol{r}_i \in \mathbb{R}^n$. Then, consider a polynomial $P(X_1,\dots,X_n)$ of $n$ variables vanishing at those $N$ points: i.e. $P(...
Davius's user avatar
  • 1,005
1 vote
1 answer
65 views

I have the question "Find the "natural" cubic spline, the one satisfying $s''(x_{0})=s''(x_{n})=0$ that passes through $$ (x_{i},y_{i})= (0,0), (1,2),(2,1) \text{ and } (3,0 ) $$ <\...
cb123's user avatar
  • 13

15 30 50 per page
1
2 3 4 5
11