Dejemos que $p: \mathbb{R}^2 \to \mathbb{R} $ sea una función polinómica de dos variables reales. Supongamos que
(P) $\; \; \; \; \; \; p(x,y) \ge 0, \; \; \forall \; (x,y) \in \mathbb{R}^2 $
1: Demostrar que si $p$ es de grado dos, tiene un minimizador sobre $\mathbb{R}$ .
2: Demostrar que si una función polinómica $p$ verifica la propiedad (P) su grado es necesariamente par.
3: Supongamos que el grado $p=2n$ con $n \gt 1 $ . ¿Implica la propiedad (P) la existencia de un minimizador para $p$ en $\mathbb{R}$ ? $$\\ \\$$
Mis ideas:
Desde $f(x,y)$ es un polinomio de grado dos, sería de la forma $$ f(x,y) = ax^2 +by^2 + cx + dy + kxy + l $$
Tomando todas las segundas derivadas para calcular el hessiano se obtiene:
$$\left\lbrack \matrix{2a & k\cr k & 2b} \right\rbrack$$
Mi corazonada es que como la función tiene que ser igual o mayor que cero, $a, b$ y $k$ tiene que ser no negativo, lo que significaría que el hessiano es siempre no negativo, lo que creo que significaría que tiene que haber un minimizador.
No estoy muy seguro de las otras partes, pero creo que la respuesta a la parte "3" es SÍ. Al menos un minimizador local creo