Generic trilinear multipliers associated to degenerate simplexes (Q1736931)

Let \(W_p(\mathbb{R})\) be the subspace of \(L^p(\mathbb{R})\) defined for \(1\leq p \leq \infty\) as \(W_p(\mathbb{R}):=\{f\in L^p(\mathbb{R}), \ \hat{f}\in L^{p'}(\mathbb{R})\}\) and equipped with the norm \(\|f\|_{W_p(\mathbb{R})}=\|\hat{f}\|_{L_{p'}(\mathbb{R})}\). The main result of the paper consist of proving the following boundedness associated to degenerate simplex multipliers. Suppose \(a_1,a_2:\mathbb{R}^2\longrightarrow \mathbb{C}\) satisfy the condition that for all \(\alpha \in \mathbb{Z}_{\geq 0}^2\) there is \(C_{\alpha, a_1, a_2}>0\) such that for \(\Gamma=\{\zeta_1+\zeta_2=0\}\subset \mathbb{R}^2\) and for all \(\zeta \in \mathbb{R}^2\) and \(j\in \{1,2\}\), \(|\partial^{\alpha} a_j(\zeta)|\leq \frac{C_{\alpha, a_1, a_2}}{\text{dist}(\zeta, \Gamma)^|\alpha|}\). Then, the trilinear multiplier operator defined on \( \mathcal{S}(\mathbb{R})\times \mathcal{S}(\mathbb{R})\times\mathcal{S}(\mathbb{R})\) by \[B[a_1,a_2]: (f_1,f_2,f_3) \longrightarrow \int_{\mathbb{R}^3} a_1(\zeta_1,\zeta_2) a_2(\zeta_2,\zeta_3) \left[\Pi_{j=1}^3 \hat{f_j}(\zeta_j) e^{2\pi i x \zeta_j} \right] d\zeta_1 d\zeta_2 d\zeta_3 \] extends to a bounded map from \(L^{p_1}(\mathbb{R})\times W^{p_2}(\mathbb{R})\times W^{p_3}(\mathbb{R})\) into \(L^{\frac{1}{1/p_1+1/p_2+1/p_3}}(\mathbb{R})\) provided \( 1< p_1, p_3 <\infty, \ \frac{1}{p_1}+\frac{1}{p_2}<1, \ \frac{1}{p_2}+\frac{1}{p_3}<1, 2< p_2< \infty.\) The work is centered in these \(L\times W \times L\)-type mixed estimates for \(B[a_1,a_2]\) because they are more involved than the \(W\times L \times W\), \(L\times W \times W\), \(W\times W \times L\) and \(W\times W \times W\)-type variants. In own words of the author, one can show a variety of mixed estimates for \(B[a_1,a_2]\) by adapting the ideas already developed in [\textit{R. Kesler}, J. Math. Anal. Appl. 424, No. 1, 344--360 (2015; Zbl 1305.47031)].