Si el máximo existe, entonces las derivadas parciales deben ser todas iguales al máximo. De lo contrario, podríamos quitar un pequeño [math] \ epsilon [/ math] de una variable, y agregar la misma cantidad a otra variable, y alcanzar un óptimo más alto. (Tenga en cuenta que este razonamiento no sería cierto si agregamos una restricción de no negatividad, y también depende de que la función objetivo sea continua).
Tenemos:
[matemáticas] \ begin {align} [/ math]
- ¿Cómo se compara Terrence Tao con Ramanujan en habilidad matemática?
- ¿Las matemáticas pueden ser hermosas?
- ¿Cuáles son algunos de los objetos físicos más interesantes que interesan a los matemáticos?
- ¿Qué son los espacios de Banach?
- Como estudiante de segundo año, estaba fuera de cirugía y, por lo tanto, me perdí las pruebas de AMCA y B. Llegué a la USAMO en mi primer año. ¿Puedo llegar a la OMI (o al Black MOP) en este momento, si trabajo muy duro en mi tercer y último año? ¿Se ha hecho esto alguna vez?
[matemática] \ frac {\ parcial f} {\ parcial x} & = 1 = \\ [/ matemática]
[matemática] \ frac {\ parcial f} {\ parcial y} & = 3 + 2x – w \\ [/ matemática]
[matemática] \ frac {\ parcial f} {\ parcial w} & = 4 – y [/ matemática]
[matemáticas] \ end {alinear} [/ matemáticas]
La primera y la tercera ecuaciones nos dan [matemáticas] y = 3 [/ matemáticas]. Para obtener x y w, necesitamos usar el hecho de que [matemática] x + y + w = 10. [/ matemática] Sustituyendo [matemática] x = 7 – w [/ matemática] en la segunda ecuación nos da [matemática] 3 + 2 (7 – w) – w = 17 – 3w = 1 [/ matemáticas], lo que implica que [matemáticas] w = \ frac {16} {3} [/ matemáticas] y [matemáticas] x = \ frac {5 } {3} [/ matemáticas]. Por lo tanto, si la función tiene un óptimo, este es.
Al evaluar la función en este punto, obtenemos 58. Sin embargo, si intentamos x [matemática] = 6, y = 4, w = 0 [/ matemática], obtenemos [matemática] 6 + 3 (4) + 2 (6 ) (4) = 6 + 12 + 48 = 66> 58 [/ matemáticas]. (Utilicé la función FindInstance de Mathematica para obtener este contraejemplo). Entonces, (5 / 3,3,16 / 3) no es un máximo global, pero podría ser un máximo local, un mínimo (local) o una silla de montar punto.
Supongo que querías incluir una restricción de no negatividad [matemática] x, y, z \ geq 0 [/ matemática]. Si ese es el caso, tome el siguiente enfoque: Para cada variable [matemáticas] x_i \ in \ {x, y, z \} [/ matemáticas] al menos una de las siguientes dos condiciones debe cumplir:
- [math] \ frac {\ partial f} {\ partial x_i} = \ lambda [/ math]
- [matemática] \ frac {\ parcial f} {\ parcial x_i} <\ lambda [/ matemática] Y [matemática] x_i = 0 [/ matemática].
para alguna constante [matemáticas] \ lambda [/ matemáticas]. Ya hemos descartado el caso donde todas las derivadas parciales son iguales a lambda, por lo que debe ser que una o dos variables sean iguales a cero en el óptimo. Esto le da solo unos pocos casos para verificar, lo que requerirá menos álgebra que la anterior. Si aún no puede resolverlo, puedo volver a esta respuesta más tarde.