Multi-linear forms, structure of graphs and Lebesgue spaces

Abstract

Consider the operator $$T_Kf(x)=\int_{{\mathbb R}^d} K(x,y) f(y) dy,$$ where $K$ is a locally integrable function or a measure. The purpose of this paper is to study the multi-linear form $$ Λ^K_G(f_1, \dots, f_n)=\int \dots \int \prod_{ \{(i,j): 1 \leq i<j \leq n; E(i,j)=1 \} } K(x^i,x^j) \prod_{i=1}^n f_i(x^i) dx^i, $$ where $G$ is a connected graph on $n$ vertices, $E$ is the edge map on $G$, i.e $E(i,j)=1$ if and only if the $i$'th and $j$'th vertices are connected by an edge, $K$ is the aforementioned kernel, and $f_i: {\mathbb R}^d \to {\mathbb R}$, measurable. This paper establishes multi-linear inequalities of the form $$ Λ^K_G(f_1,f_2, \dots,f_n) \leq C {||f_1||}_{L^{p_1}({\mathbb R}^d)} {||f_2||}_{L^{p_2}({\mathbb R}^d)} \dots {||f_n||}_{L^{p_n}({\mathbb R}^d)}$$ and determines how the exponents depend on the structure of the kernel $K$ and the graph $G$.

Figures (7)

• Figure 1: A rhombus and a rhombus with an extra edge
• Figure 2: Tree graphs
• Figure 3: Triangle with a tree added on
• Figure 4: Two connected graphs with a common vertex $x_4$
• Figure 5: Complete graph on three vertices

Theorems & Definitions (40)

• Definition 1.1
• Definition 1.2
• Definition 1.3
• Definition 1.4
• Definition 1.5
• Theorem 1.6
• Definition 1.7
• Theorem 1.8
• Definition 1.9
• Theorem 1.10