Non-symmetric polarization

详细信息查看全文

文摘

Let P be an m-homogeneous polynomial in n -complex variables x₁,…,x_n

x_{1}, \dots, x_{n}

. Clearly, P has a unique representation in the form

P (x) = \sum_{1 \leq j_{1} \leq \dots \leq j_{m} \leq n} c_{(j_{1}, \dots, j_{m})} x_{j_{1}} \dots x_{j_{m}},

and the m-form

L_{P} (x^{(1)}, \dots, x^{(m)}) = \sum_{1 \leq j_{1} \leq \dots \leq j_{m} \leq n} c_{(j_{1}, \dots, j_{m})} x_{j_{1}}^{(1)} \dots x_{j_{m}}^{(m)}

satisfies L_P(x,…,x)=P(x)

L_{P} (x, \dots, x) = P (x)

for every e450d0fc0c78a333a7a" title="Click to view the MathML source">x∈Cⁿ

x \in C^{n}

. We show that, although L_P

L_{P}

in general is non-symmetric, for a large class of reasonable norms

‖ \cdot ‖

on Cⁿ

C^{n}

the norm of L_P

L_{P}

(C^{n}, ‖ \cdot {‖)}^{m}

up to a logarithmic term (clog⁡n)^m²

{(c \log n)}^{m^{2}}

can be estimated by the norm of P on

(C^{n}, ‖ \cdot ‖)

; here e45a204f058" title="Click to view the MathML source">c≥1

c \geq 1

denotes a universal constant. Moreover, for the ℓ_p

ℓ_{p}

{‖ \cdot ‖}_{p}

, 050fe22260" title="Click to view the MathML source">1≤p<2

1 \leq p < 2

the logarithmic term in the number n of variables is even superfluous.

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700