y=max⁡(sin⁡x, cos⁡x)y = \max(\sin x,\, \cos x)

Gráfica de la función y=max⁡(sin⁡x, cos⁡x)y = \max(\sin x,\, \cos x)

y=max⁡(sin⁡x, cos⁡x)y = \max(\sin x,\, \cos x) elige el mayor de entre el seno y el coseno. Se superponen dos ondas suaves y se sigue solo la de arriba, así que aparece un pico allí donde se cruzan. Es un buen sitio para ver qué le hace a una gráfica tomar un máximo.

Cuál queda arriba

Las dos coinciden cuando sin⁡x=cos⁡x\sin x = \cos x, es decir, tan⁡x=1\tan x = 1, en x=π4+nπx = \dfrac{\pi}{4} + n\pi. En esos puntos se intercambian los papeles.

IntervaloFunción elegida
−3π4<x<π4-\dfrac{3\pi}{4} < x < \dfrac{\pi}{4}cos⁡x\cos x
π4<x<5π4\dfrac{\pi}{4} < x < \dfrac{5\pi}{4}sin⁡x\sin x

Esto se repite cada 2π2\pi, así que el período es 2π2\pi.

Rango

El valor máximo es 11, alcanzado dos veces por período: en x=2nπx = 2n\pi, donde cos⁡x=1\cos x = 1, y en x=π2+2nπx = \dfrac{\pi}{2} + 2n\pi, donde sin⁡x=1\sin x = 1. El mínimo es el más bajo de los cruces, a saber, −22≈−0.707-\dfrac{\sqrt{2}}{2} \approx -0.707 en x=5π4+2nπx = \dfrac{5\pi}{4} + 2n\pi.

El rango es, por tanto, −22≤y≤1-\dfrac{\sqrt{2}}{2} \leq y \leq 1. El valor no baja nunca a −1-1, que las dos funciones de partida sí alcanzan, porque siempre que una de ellas vale −1-1 la otra vale 00.

Picos y crestas

En un cruce, las pendientes laterales no coinciden.

En x=π4x = \dfrac{\pi}{4}Pendiente
cos⁡x\cos x llegando por la izquierda−22-\dfrac{\sqrt{2}}{2}
sin⁡x\sin x continuando hacia la derecha22\dfrac{\sqrt{2}}{2}

El resultado es un pico que apunta hacia abajo, y lo mismo ocurre en x=5π4x = \dfrac{5\pi}{4}. Las crestas, en cambio, son los máximos genuinos de la función elegida en cada tramo, así que son suaves. En cada período aparecen dos picos y dos crestas suaves.

En términos de valores absolutos

Con la fórmula max⁡(a,b)=a+b+∣a−b∣2\max(a, b) = \dfrac{a + b + |a-b|}{2} la función puede escribirse así.

max⁡(sin⁡x, cos⁡x)=22(sin⁡(x+π4)+∣sin⁡(x−π4)∣)\max(\sin x,\, \cos x) = \frac{\sqrt{2}}{2}\left(\sin\left(x+\frac{\pi}{4}\right) + \left|\sin\left(x-\frac{\pi}{4}\right)\right|\right)

Se sigue de sustituir sin⁡x+cos⁡x=2sin⁡(x+π4)\sin x + \cos x = \sqrt{2}\sin\left( x+\dfrac{\pi}{4} \right) y sin⁡x−cos⁡x=2sin⁡(x−π4)\sin x - \cos x = \sqrt{2}\sin\left( x-\dfrac{\pi}{4} \right). La función es, pues, una onda sinusoidal suave más el valor absoluto de otra, y los picos vienen enteramente del segundo término, heredados de los picos de ∣sin⁡x∣|\sin x|.

Qué le hace a una función tomar el máximo

Una función construida con max⁡\max deja de ser derivable, por lo general, allí donde se cruzan sus ingredientes, por suaves que estos sean. La función rampa max⁡(0,x)\max(0, x) se dobla en el origen por la misma razón, y es el caso en el que uno de los ingredientes es la constante 00.

Tomar el mínimo traza en cambio la envolvente inferior, y las dos están ligadas así.

min⁡(sin⁡x, cos⁡x)=sin⁡x+cos⁡x−max⁡(sin⁡x, cos⁡x)\min(\sin x,\, \cos x) = \sin x + \cos x - \max(\sin x,\, \cos x)

Aplicaciones

Un circuito que selecciona la más fuerte de dos señales, o un diseño en el que manda la más estricta de varias restricciones, tiene una respuesta de esta forma. En optimización, minimizar el máximo de varias expresiones lineales es un problema habitual, y también allí la cuestión central es cómo manejar una función con picos1.

  1. Convex optimization, Wikipedia