---
title: Limiting Normal Cone in Variational Analysis
url: https://www.emergentmind.com/topics/limiting-normal-cone
type: topic
---

# Limiting Normal Cone in Variational Analysis

A limiting normal cone, also called the Mordukhovich normal cone, is a foundational object in modern variational analysis and nonsmooth optimization. It generalizes the classical concept of a normal vector at smooth boundary points to arbitrary closed sets, supporting precise formulations of stationarity, stability, and sensitivity in settings far beyond convexity. The Mordukhovich limiting normal cone is central to deriving necessary optimality conditions in nonconvex, nonpolyhedral, and variational-inequality-constrained optimization, and it underpins key developments in coderivative calculus, subdifferential theory, and nonsmooth analysis.

## 1. Preliminaries: Tangent and Normal Cones

Given a closed set $C \subseteq \mathbb{R}^n$ and a point $\bar x \in C$, several notions of tangent and normal cones arise:

- **Tangent (contingent) cone**: 
  \[
  T_C(\bar x) := \left\{ u \in \mathbb{R}^n \;\middle|\; \exists t_k \downarrow 0,\, u_k \to u,\, \bar x + t_k u_k \in C \right\}.
  \]
- **Fréchet (regular) normal cone**: 
  \[
  \widehat{N}_C(\bar x) := \left\{ v \in \mathbb{R}^n \;\middle|\; \limsup_{x \to \bar x,\, x \in C} \frac{\langle v, x - \bar x\rangle}{\|x - \bar x\|} \leq 0 \right\}.
  \]
  This is always a closed convex cone.

- **Limiting (Mordukhovich) normal cone**: 
  \[
  N_C(\bar x) := \limsup_{x_k \to \bar x,\, x_k \in C} \widehat{N}_C(x_k) = \left\{ v = \lim_{k \to \infty} v_k \;\middle|\; v_k \in \widehat{N}_C(x_k),\, x_k \to \bar x \right\}.
  \]
  $N_C(\bar x)$ is closed but need not be convex. If $C$ is convex, all three cones coincide and equal the classical convex-analytic normal cone $[T_C(\bar x)]^\circ$ [1712.04704], [1910.13309].

## 2. Definition and Construction of the Limiting Normal Cone

The limiting normal cone captures normal vectors not only at $\bar x$ but also those "arising as limits" from sequences of regular normal vectors at nearby points. This nonlocality allows $N_C(\bar x)$ to encode geometry not visible to the Fréchet cone. In practical definitions, it is usually formulated as the Painlevé–Kuratowski outer limit of the regular normal cones:
\[
N_C(\bar x) = \limsup_{x \to \bar x,\, x \in C} \widehat{N}_C(x).
\]
Analogous definitions hold in infinite dimensions, with appropriate weak* closure [1710.10187]. For epigraphs of convex functions or sublevel sets, normal cone descriptions in terms of (sub)differentials and multipliers are standard [1710.10187].

The limiting normal cone reduces to the convex-analytic normal cone in the convex setting, but, crucially, may be nonconvex or even set-valued in nonconvex or composite structures [1607.04826].

## 3. Calculus Rules and Directional Refinements

A fundamental advantage of the limiting normal cone is its amenability to generalized calculus rules—chain rules, sum rules, and intersection rules—that extend classical variational analysis to nonconvex regimes.

- **Pre-image (chain) rule**: For $C = g^{-1}(Q)$ with $g: \mathbb{R}^n \to \mathbb{R}^m$ smooth and $Q \subseteq \mathbb{R}^m$ closed, 
  \[
  N_C(\bar x) \subseteq \nabla g(\bar x)^T N_Q\bigl( g(\bar x) \bigr),
  \]
  with equality under metric subregularity or related constraint qualifications [1910.13309], [1712.04704]. Under weaker conditions, only inclusion holds.

- **Intersection rule**: For $C = C_1 \cap C_2$ and suitable regularity,
  \[
  N_C(\bar x) \subseteq N_{C_1}(\bar x) + N_{C_2}(\bar x),
  \]
  with equality in the convex case. For nonconvex sets, additional qualification conditions such as transversality or metric regularity are required [1712.04704].

- **Directionally limiting normal cone**: To further weaken qualification requirements or to analyze "one-sided" sensitivity, the *directional limiting normal cone* $N_C(\bar x; d)$ is defined for a fixed $d \in \mathbb{R}^n$ as the set of limits of normals at points approaching $\bar x$ along $d$. Calculus rules for directional cones enable finer sensitivity analysis and have weaker (directional) metric subregularity requirements [1712.04704].

## 4. Exact Formulas in Key Applications

The power of the limiting normal cone is revealed by explicit formulas for critical sets in optimization and variational inequalities:

- **Second-Order Cone Complementarity Set**: For 
  \[
  \Omega := \{ (x, y) \in K \times K \mid x^T y = 0 \},
  \]
  where $K$ is the Lorentz cone, Ye and Zhou provide an exhaustive casewise formula for $N_\Omega(x, y)$ distinguishing interior, boundary, and zero cases. Each geometric region has an explicit representation, e.g., for $x \in \mathrm{int}\, K$, $y = 0$,
  \[
  N_\Omega(x, 0) = \{ (0, v) \mid v \in \mathbb{R}^m \},
  \]
  and for $x, y \in \operatorname{bd} K \setminus \{0\}$, $x^T y = 0$,
  \[
  N_\Omega(x, y) = \left\{ (u, v) \mid u \perp x,\; v \perp y,\; x_1u + y_1v \in \mathbb{R}x \right\}
  \]
  [1605.07293].

- **Graph of the Subdifferential of the Nuclear Norm**: For the set $\operatorname{gph}(\partial\|\cdot\|_*)$, Liu and Pan construct an explicit decomposition involving singular value structure, block partitions, and divided-difference matrices, capturing the difference between regular and limiting cones in the presence of multiplicity at spectral norm thresholds [1607.04826].

- **Intersection of Convex Sublevel Sets**: The limiting normal cone to a polyhedral or intersection of convex sublevel sets admits a multiplier–subgradient representation, only involving active indices:
  \[
  N_C(\bar x) = \left\{ \sum_{i \in I_0} \lambda_i v_i \,\middle|\, v_i \in \partial f_i(\bar x),\, \lambda_i \ge 0 \right\}
  \]
  with $I_0 = \{ i \mid f_i(\bar x) = \alpha_i \}$ [1710.10187].

- **Normal Cone Mapping for Inequality Constraints**: For $\Gamma = \{ y \mid q(y) \leq 0 \}$, coderivative inclusions and explicit formulas involving multipliers, critical cones, and tangent sets detail the construction of $N_{\gph \hat N_\Gamma}(\bar y, \bar y^*)$ and related coderivatives [1611.08236].

## 5. Restricted, Directional, and Parameterized Variants

- **Restricted Limiting Normal Cone**: Given sets $A, B \subset X$ and $a \in A$, the restricted normal cone $N_A^B(a)$ modifies the construction to only consider sequences from $B$. This generalization captures "one-sided" geometry, essential to sharp regularity and convergence results for algorithms such as alternating projections [1205.0318]. The following containment always holds:
  \[
  N_A^B(a) \subset N_A(a)
  \]
  and for convex $A$, all constructions coincide with the classical cone.

- **Directional Limiting Normal Cone**: Specifies limiting normals along a prescribed direction, improving calculus rules for nonconvex feasible sets and enabling directional sensitivity analysis (see properties and sum/intersection/chain rules in [1712.04704]).

- **Parameter-Dependent Systems**: Limiting normal cones and their coderivatives provide the fundamental tools for verifying the Aubin property (pseudo-Lipschitz continuity) and tilt stability of solution maps to parameterized variational inequalities, generalized equations, and equilibrium problems [1910.13309], [1611.08236].

## 6. Role in Optimization, Sensitivity, and Variational Analysis

The limiting normal cone is essential in the following domains:

- **First-Order and Second-Order Optimality**: Necessary conditions (Mordukhovich/M-stationarity, S-stationarity) in mathematical programs with constraints articulated through normal cones—especially for sets with complex structure such as second-order cone complementarity or nuclear norm constraints—are only derivable via $N_C$ [1605.07293], [1607.04826].

- **Sensitivity and Stability**: Properties such as the Aubin property and tilt stability for solution maps are characterized using coderivatives of set-valued maps built from limiting normal cones. Exact formulas greatly aid verifiability [1910.13309], [1611.08236].

- **Regularity and Constraint Qualification**: Calculation of limiting normal cones is closely intertwined with notions of metric subregularity, constraint qualification (such as 2-regularity, 2-LICQ, or superregularity), and directional metric subregularity, which modulate the sharpness of calculus rules and characterization of stability [1611.08236], [1205.0318], [1712.04704].

- **Algorithmic Implications**: Restricted and directional cones have been employed to formulate new, sharper convergence results for projection methods and to enable semismooth Newton methods for generalized equations [1205.0318], [1910.13309].

## 7. Illustrative Examples and Special Cases

Several explicit examples highlight the computational and conceptual role of the limiting normal cone:
- Convex polyhedral sets, where the limiting and regular cones coincide, and explicit formulas are available.
- Epigraphs of nonsmooth functions, where the directional normal cone distinguishes approaching from interior versus tangential directions.
- Second-order cone complementarity sets, where all possible limiting cases, including degenerate and regular situations, are partitioned and classified [1605.07293].
- Pairs of lines or spheres, where restricted normal cones quantify angles of intersection or break classical symmetries [1205.0318].
- Systems with nonunique multipliers or degenerate tangent directions, where only the limiting construction produces a nontrivial normal [1607.04826], [1611.08236].

---

The limiting normal cone, in its various incarnations—classical, directional, restricted, parameter-dependent—provides a profound unifying framework for nonsmooth analysis, supporting both deep theoretical understanding and explicit computation in optimization, variational inequalities, and modern approaches to stability and sensitivity in mathematical programming.

Source: https://www.emergentmind.com/topics/limiting-normal-cone