Direcciones de aproximación · Tema 11

Derivadas laterales y extremos del dominio

Aprendé a calcular pendientes desde la izquierda y desde la derecha, decidir cuándo forman una única derivada y trabajar correctamente en puntos donde el dominio solo continúa hacia un lado.

01 · Separar las direcciones

Dos caminos hacia el mismo punto

La definición bilateral de derivada utiliza incrementos h positivos y negativos. En un punto interior del dominio podemos estudiar cada conjunto por separado:

Desde la izquierda

h → 0⁻

El punto móvil a + h toma valores menores que a.

Desde la derecha

h → 0⁺

El punto móvil a + h toma valores mayores que a.

Cada dirección produce una derivada lateral. Compararlas permite detectar esquinas y también trabajar en extremos donde solo existen entradas vecinas de un lado.

02 · Definiciones formales

Derivada izquierda y derivada derecha

La derivada por izquierda de f en a es:

La derivada por derecha es:

También pueden escribirse usando un punto móvil x:

f′(a) = limx → a⁻ [f(x) − f(a)]/(x − a)
f′+(a) = limx → a⁺ [f(x) − f(a)]/(x − a)

Los subíndices y + indican el lado de aproximación, no el signo que tendrá la pendiente.

03 · Criterio bilateral

Cuándo se forma una única derivada

En un punto interior del dominio:

f′(a) existe   ⇔   f′(a) y f′+(a) existen, son finitas y coinciden
Posibles resultados de la comparación lateral.
Lado izquierdoLado derechoConclusión
33f′(a) = 3
−11No existe la derivada bilateral
No existe2No existe la derivada bilateral
Sin cotaSin cotaNo existe una derivada real finita

La igualdad debe ser exacta a nivel de límites. En una exploración numérica veremos aproximaciones cercanas, no necesariamente números idénticos.

04 · Una esquina

Derivadas laterales de |x| en cero

Para f(x) = |x| y a = 0, el cociente incremental es |h|/h.

h negativo

f′(0) = −1

Si h < 0, entonces |h| = −h y el cociente vale −1.

h positivo

f′+(0) = 1

Si h > 0, entonces |h| = h y el cociente vale 1.

Las dos derivadas laterales existen y son finitas, pero no coinciden. Por eso f′(0) no existe. Geométricamente, cada lado de la esquina tiene una dirección diferente.

05 · Punto de unión

Usar la fórmula correspondiente a cada lado

Consideremos la función continua:

f(x) = x² si x ≤ 0;    f(x) = x si x > 0

Como f(0) = 0, analizamos:

Cocientes laterales en el punto de unión.
LadoFórmula activaCocienteLímite
Izquierdof(h) = h²h²/h = h0
Derechof(h) = hh/h = 11

La función es continua en cero, pero las pendientes laterales difieren. Este análisis confirma que continuidad no basta para derivabilidad.

06 · Dominios cerrados o acotados

Qué ocurre en un extremo

Supongamos que f está definida en el intervalo cerrado [a, b]. En el extremo izquierdo a no hay entradas del dominio inmediatamente a la izquierda; en el extremo derecho b no las hay a la derecha.

Extremo izquierdo a

Solo f′+(a)

El cociente se estudia con puntos del dominio mayores que a.

Extremo derecho b

Solo f′(b)

El cociente se estudia con puntos del dominio menores que b.

Por ejemplo, si f(x) = x² está restringida a [0, 3], entonces:

f′+(0) = 0     y     f′(3) = 6

No exigimos lados que no pertenecen al dominio. Las derivadas laterales describen el comportamiento accesible desde el interior del intervalo.

07 · Convenciones de vocabulario

¿Es derivable en el extremo?

Existen dos convenciones habituales:

Convención bilateral estricta
La palabra «derivada» se reserva para puntos interiores; en los extremos solo se habla de derivada lateral.
Derivabilidad relativa al dominio
Una función puede llamarse derivable en un extremo si existe la derivada desde el único lado disponible.

En este curso escribiremos explícitamente derivada derecha en el extremo izquierdo y derivada izquierda en el extremo derecho. Así evitamos ambigüedades y dejamos claro qué límite se calculó.

08 · Un extremo con pendiente sin cota

La raíz cuadrada en cero

La función f(x) = √x tiene dominio [0, ∞). En el extremo izquierdo solo podemos calcular el cociente derecho:

[√(0 + h) − √0] / h = √h / h = 1/√h,    h > 0

Cuando h → 0⁺, el cociente crece sin cota. El gráfico tiene una tangente vertical en el origen, pero no existe una derivada lateral real finita.

Esto muestra que disponer de un solo lado no garantiza automáticamente una derivada lateral: el límite correspondiente todavía debe existir como número finito.

09 · Puntos sin vecinos continuos

El dominio debe permitir aproximaciones

La derivada requiere entradas del dominio arbitrariamente cercanas al punto. Si una función solo está definida en números enteros, no podemos hacer h → 0 conservando a + h en el dominio, salvo usando finalmente h = 0, que está prohibido.

f : ℤ → ℝ    no posee derivada ordinaria basada en h → 0

En datos discretos podemos calcular diferencias entre muestras, pero esas diferencias no son derivadas en el sentido continuo. Esta distinción es importante al modelar arreglos, secuencias temporales muestreadas o índices enteros.

Dominio continuo

h puede tender a cero

Hay puntos del dominio tan cercanos como necesitemos.

Dominio aislado

Existe un salto mínimo

Calculamos diferencias finitas, no un límite diferencial.

10 · Ejemplo para programadores

La función ReLU y su esquina

La unidad lineal rectificada, utilizada en redes neuronales, se define por:

ReLU(x) = max(0, x)

Equivale a 0 para x ≤ 0 y a x para x > 0. En cero:

ReLU′(0) = 0     ReLU′+(0) = 1

La derivada bilateral no existe. En implementaciones de aprendizaje automático suele elegirse por convención un valor como 0 en ese punto para continuar el algoritmo. Esa elección computacional no cambia el hecho matemático de que las derivadas laterales difieren.

const relu = x => Math.max(0, x);

function derivadaReluConvencional(x) {
  if (x < 0) return 0;
  if (x > 0) return 1;
  return 0; // Convención del programa, no derivada bilateral
}

console.log(relu(-2), relu(0), relu(3));

11 · Exploración interactiva

Laboratorio: disponibilidad y coincidencia lateral

Elegí un modelo y reducí |h|. El laboratorio distingue lados ausentes del dominio, pendientes laterales finitas y tendencias sin cota.

EXPERIMENTO 11

Derivar desde cada lado

f(x) = |x|, a = 0

Los resultados numéricos aparecen debajo.
Derivada izquierdaf′₋(0) = −1
Derivada derechaf′₊(0) = 1
Dominio localAmbos lados
ConclusiónNo derivable en 0

Las derivadas laterales existen, pero no coinciden.

La secante violeta utiliza puntos de la izquierda y la coral puntos de la derecha. Un lado no se dibuja cuando no pertenece al dominio.

Preguntas para explorar

  1. En |x|, verificá que reducir |h| no cambia las pendientes.
  2. En , observá cómo las pendientes laterales se aproximan al mismo valor.
  3. En la función por partes, compará las dos fórmulas activas cerca del punto.
  4. En los modelos con dominio x ≥ 0, explicá por qué no aparece el lado izquierdo.
  5. Compará el extremo lineal con la raíz cuadrada: tener un lado disponible no garantiza un límite finito.

12 · Implementación

Explorar un lado sin inventar el otro

Una función puede recibir el lado de aproximación y comprobar si las evaluaciones pertenecen al dominio:

function cocienteLateral(f, perteneceAlDominio, a, h, lado) {
  if (h <= 0) throw new Error("h debe ser positivo");
  if (!perteneceAlDominio(a)) return null;

  const incremento = lado === "derecha" ? h : -h;
  const vecino = a + incremento;

  if (!perteneceAlDominio(vecino)) return null;

  return (f(vecino) - f(a)) / incremento;
}

const raiz = x => Math.sqrt(x);
const dominioRaiz = x => x >= 0;

console.log(cocienteLateral(raiz, dominioRaiz, 0, 0.01, "izquierda")); // null
console.log(cocienteLateral(raiz, dominioRaiz, 0, 0.01, "derecha"));   // 10

Comparar resultados estructurados

function compararLaterales(izquierda, derecha, tolerancia = 1e-6) {
  if (izquierda === null || derecha === null) {
    return { bilateral: false, motivo: "un lado no está disponible" };
  }

  const coinciden = Math.abs(izquierda - derecha) <= tolerancia;
  return {
    bilateral: coinciden,
    motivo: coinciden ? "pendientes compatibles" : "pendientes diferentes"
  };
}

console.log(compararLaterales(-1, 1));
console.log(compararLaterales(2.0000001, 1.9999999));

13 · Comprensión

Confusiones frecuentes

«El signo + significa que la pendiente es positiva»

En f′₊(a), el signo indica aproximación desde la derecha. El valor obtenido puede ser negativo, cero o positivo.

«Si existen ambas derivadas laterales, existe f′(a)»

También deben ser finitas e iguales. En |x| existen, pero valen números diferentes.

«En un extremo debo calcular ambos lados»

Solo se analiza el lado que contiene puntos del dominio. El otro límite lateral no está disponible.

«Una pendiente lateral sin cota es una derivada infinita»

No es una derivada real finita. Puede describir una dirección vertical, pero no un número pendiente.

«Una convención de software crea una derivada»

Asignar un valor a ReLU en cero permite ejecutar un algoritmo, pero las derivadas matemáticas laterales siguen siendo distintas.

«Una diferencia entre índices es una derivada lateral»

En un dominio discreto no podemos hacer tender el incremento a cero. Obtenemos diferencias finitas.

14 · Práctica guiada

Ejercicios de aplicación

Ejercicio 1: comparar lados

Una función tiene f′₋(2) = 5 y f′₊(2) = 5. Ambas son finitas. ¿Qué podés concluir?

Ver solución razonada

La derivada bilateral existe y f′(2) = 5.

Ejercicio 2: detectar una esquina

En un punto interior, la derivada izquierda vale −2 y la derecha 3. Interpretá el resultado.

Ver solución

Ambos lados tienen direcciones finitas, pero diferentes. No existe una única derivada; el gráfico presenta una esquina en el punto.

Ejercicio 3: extremo de un intervalo

La función f(x) = 2x + 4 está restringida a [1, 5]. Calculá las derivadas laterales pertinentes en los extremos.

Ver solución

En x = 1 existe la derivada derecha y vale 2. En x = 5 existe la derivada izquierda y también vale 2.

Ejercicio 4: unión por partes

Una función vale 2x para x ≤ 0 y para x > 0. Analizá continuidad y derivabilidad en cero.

Ver solución paso a paso

Ambas ramas y el valor puntual coinciden en 0, por lo que es continua. La derivada izquierda es 2 y la derecha es 0. No es derivable en cero.

Ejercicio 5: representar un lado ausente

Completá la función para que no confunda un lado ausente con pendiente cero.

function pendienteDisponible(valor, disponible) {
  if (!disponible) return null; // conservar ausencia
  return valor;
}

const izquierda = pendienteDisponible(0, false);
const derecha = pendienteDisponible(3, true);

console.log({ izquierda, derecha });
Ver interpretación

El resultado es { izquierda: null, derecha: 3 }. El valor null indica que el lado izquierdo no puede estudiarse dentro del dominio; no afirma que su pendiente sea cero.

15 · Síntesis

Ideas para recordar

  • f′₋(a) usa incrementos negativos y f′₊(a) incrementos positivos.
  • En un punto interior, la derivada existe si ambos límites laterales son finitos e iguales.
  • Una esquina aparece cuando las pendientes laterales existen pero no coinciden.
  • En un extremo del dominio solo se estudia el lado disponible.
  • Una pendiente lateral que crece sin cota no es una derivada real finita.
  • Los dominios discretos permiten diferencias, pero no derivadas ordinarias.
  • Las convenciones de software deben distinguirse de la definición matemática.

En el próximo tema reuniremos los distintos mecanismos que hacen que una función no sea derivable: discontinuidades, esquinas, cúspides, tangentes verticales y oscilaciones.