The Central Idea

Suppose a model has inputs

\[ \mathbf{x}=(x_1,x_2,\ldots,x_p) \]

and output

\[ y=f(\mathbf{x}). \]

Sensitivity analysis asks how the output changes when one or more components of \(\mathbf{x}\) change. Uncertainty quantification asks what values of \(y\) become plausible when the uncertain inputs vary according to specified ranges or probability models.

In compact form:

\[ \boxed{\text{sensitivity: input influence}} \] \[ \boxed{\text{uncertainty quantification: output uncertainty}}. \]

Why We Need Both

A wide output distribution tells us that the model result is uncertain, but it does not tell us which input is responsible. A large sensitivity measure tells us that an input can strongly affect the output, but it does not tell us how uncertain that input actually is.

An input may be highly influential but known very precisely. Another may be only moderately influential but poorly known. The second input can contribute more to overall output uncertainty.

For this reason, sensitivity and uncertainty should be interpreted together.

Local Sensitivity

A local sensitivity measures how the output changes near a particular operating point. For a differentiable model, the most direct local sensitivity of \(y\) to input \(x_i\) is

\[ \boxed{\frac{\partial y}{\partial x_i}}. \]

This derivative measures the instantaneous rate of change of the model output with respect to that input while the other inputs are held fixed.

Example: Local Sensitivity of Revenue

Suppose revenue is modeled by

\[ R=pq, \]

where \(p\) is price and \(q\) is quantity sold.

The local sensitivities are

\[ \frac{\partial R}{\partial p}=q \]

and

\[ \frac{\partial R}{\partial q}=p. \]

At \(p=40\) and \(q=500\),

\[ \frac{\partial R}{\partial p}=500, \qquad \frac{\partial R}{\partial q}=40. \]

Near that operating point, a one-unit increase in price changes revenue by about \(500\) units, while a one-unit increase in quantity changes revenue by about \(40\) units.

Raw Sensitivities Depend on Units

Raw derivatives can be difficult to compare because different inputs may use different units and scales. A derivative measured in dollars per degree is not directly comparable with one measured in dollars per kilogram.

This motivates normalized or dimensionless sensitivity measures.

Normalized Sensitivity

One common normalized sensitivity coefficient is

\[ \boxed{S_i=\frac{x_i}{y}\frac{\partial y}{\partial x_i}}. \]

This quantity measures the approximate percentage change in output associated with a one-percent change in the input.

It is often called an elasticity when used in economics, business, and related models.

Example: Elasticity in a Power Model

Consider

\[ y=ax^b. \]

Differentiate with respect to \(x\):

\[ \frac{\partial y}{\partial x}=abx^{b-1}. \]

The normalized sensitivity is

\[ \frac{x}{y}\frac{\partial y}{\partial x} =\frac{x}{ax^b}(abx^{b-1}) =\boxed{b}. \]

The exponent is therefore the elasticity of the output with respect to the input.

Finite-Difference Sensitivity

If a derivative is unavailable or inconvenient, sensitivity can be estimated numerically. A forward finite difference is

\[ \frac{\partial y}{\partial x_i} \approx \frac{f(x_i+h)-f(x_i)}{h}. \]

A centered finite difference often provides a better local approximation:

\[ \boxed{ \frac{\partial y}{\partial x_i} \approx \frac{f(x_i+h)-f(x_i-h)}{2h} }. \]

The Step Size Matters

In finite-difference calculations, the perturbation \(h\) should be small enough to represent local behavior but not so small that numerical roundoff or solver noise dominates the calculation.

A useful practice is to compute the sensitivity using several nearby step sizes and check whether the estimate remains reasonably stable.

One-at-a-Time Sensitivity

In one-at-a-time analysis, one input is varied while all others are held fixed at baseline values.

If the baseline is \(\mathbf{x}^{(0)}\), then the sensitivity of input \(x_i\) might be explored by evaluating

\[ f(x_1^{(0)},\ldots,x_i,\ldots,x_p^{(0)}) \]

over a selected range of \(x_i\).

This method is simple and interpretable, but it can miss interactions between inputs.

Tornado-Style Comparisons

A practical one-at-a-time method is to move each input from a low value to a high value while holding all other inputs at baseline levels. The resulting output range is recorded for every input.

Inputs can then be ranked by the width of the resulting output change. This produces the logic behind a tornado chart even when no chart is drawn.

The method is useful for screening, but the ranking depends on the chosen low and high input values.

Limits of Local Sensitivity

Local methods describe behavior near one point. They can be misleading when the model is strongly nonlinear, contains thresholds, changes regime, or has important interactions among inputs.

In such cases, sensitivity should be examined over the full uncertainty region rather than only near a single baseline.

Global Sensitivity Analysis

Global sensitivity analysis studies model behavior over the full range or probability distribution assigned to uncertain inputs.

Instead of asking only

What happens near the baseline?

it asks

Across all plausible input combinations, which inputs and interactions account for the variability in the output?

Forward Uncertainty Quantification

In forward uncertainty quantification, uncertainty in the inputs is specified first and propagated through the model.

If

\[ \mathbf{X}\sim p(\mathbf{x}) \]

and

\[ Y=f(\mathbf{X}), \]

then the goal is to characterize the induced distribution or range of \(Y\).

Typical output summaries include the mean, variance, quantiles, confidence or credible ranges, exceedance probabilities, and probabilities of failure.

Input Uncertainty Must Be Characterized First

Before propagating uncertainty, each uncertain input must be described in a way that matches the available information. An input may be represented by a fixed interval, an empirical distribution, a parametric probability distribution, or a set of competing assumptions.

The uncertainty model is part of the overall mathematical model. Poorly justified input distributions can create a false impression of rigor.

Aleatory and Epistemic Uncertainty

Two broad forms of uncertainty are often distinguished.

The distinction matters because the management response may differ. More data may reduce epistemic uncertainty, while inherent variability may remain even with perfect measurement.

First-Order Uncertainty Propagation

For a smooth model, uncertainty near a baseline can be approximated using a first-order Taylor expansion:

\[ Y\approx f(\boldsymbol{\mu})+ \nabla f(\boldsymbol{\mu})^{T}(\mathbf{X}-\boldsymbol{\mu}). \]

If the input covariance matrix is \(\Sigma\), then the output variance is approximately

\[ \boxed{ \operatorname{Var}(Y) \approx \nabla f(\boldsymbol{\mu})^{T} \Sigma \nabla f(\boldsymbol{\mu}) }. \]

This connects derivative-based sensitivity directly to uncertainty propagation.

Independent Inputs

If the uncertain inputs are independent, the covariance matrix is diagonal. The first-order variance approximation becomes

\[ \boxed{ \operatorname{Var}(Y) \approx \sum_{i=1}^{p} \left(\frac{\partial f}{\partial x_i}\right)^2 \operatorname{Var}(X_i) }. \]

Each term combines two pieces of information: how strongly the model responds to an input and how uncertain that input is.

Example: Sensitivity Is Not the Same as Uncertainty Contribution

Suppose

\[ Y=4X_1+X_2, \]

with independent inputs satisfying

\[ \sigma_{X_1}=1, \qquad \sigma_{X_2}=5. \]

The raw sensitivities are \(4\) and \(1\), so \(X_1\) is locally more influential per unit change. But the variance contributions are

\[ 4^2(1^2)=16 \]

and

\[ 1^2(5^2)=25. \]

Therefore, \(X_2\) contributes more to output variance because it is much more uncertain.

Dependence Between Inputs

If uncertain inputs are correlated, changing or sampling them independently can misrepresent the model. For two inputs, the first-order variance formula includes a covariance term:

\[ \operatorname{Var}(Y) \approx f_1^2\sigma_1^2+f_2^2\sigma_2^2 +2f_1f_2\operatorname{Cov}(X_1,X_2), \]

where

\[ f_i=\frac{\partial f}{\partial x_i}. \]

Positive dependence can increase uncertainty in some models, while negative dependence can reduce it.

Monte Carlo Uncertainty Quantification

For nonlinear models or complicated input distributions, Monte Carlo simulation provides a flexible propagation method.

  1. Specify uncertainty models for the inputs.
  2. Generate a joint sample \(\mathbf{x}^{(1)},\ldots,\mathbf{x}^{(N)}\).
  3. Evaluate \(y^{(j)}=f(\mathbf{x}^{(j)})\) for every sample.
  4. Summarize the empirical distribution of the outputs.

The resulting sample can estimate means, variances, quantiles, exceedance probabilities, and reliability measures.

Quantiles Often Communicate Uncertainty Better Than a Single Standard Deviation

If an output distribution is skewed or heavy-tailed, a mean and standard deviation may not summarize it well. Quantiles can be more informative.

For example, a central 90% simulation interval can be estimated using the empirical 5th and 95th percentiles:

\[ \boxed{[Q_{0.05},Q_{0.95}]}. \]

The interpretation should remain tied to the assumptions and probability model used to generate the simulation.

Exceedance Probabilities

A model may be used to estimate the probability that an uncertain output exceeds a threshold \(c\):

\[ P(Y>c). \]

From Monte Carlo output \(y^{(1)},\ldots,y^{(N)}\), the natural estimate is

\[ \boxed{ \widehat{P}(Y>c) =\frac{1}{N} \sum_{j=1}^{N}I(y^{(j)}>c) }. \]

This directly connects uncertainty quantification to risk and reliability analysis.

Variance Decomposition

One major goal of global sensitivity analysis is to decompose output variance into contributions from individual inputs and their interactions.

Conceptually,

\[ \operatorname{Var}(Y) =V_1+V_2+\cdots+V_{12}+V_{13}+\cdots, \]

where \(V_i\) represents the contribution associated with input \(X_i\), and terms such as \(V_{12}\) represent interactions between inputs.

First-Order Sobol Sensitivity

For independent uncertain inputs, a first-order Sobol index for \(X_i\) is

\[ \boxed{ S_i= \frac{ \operatorname{Var}\!\left(\mathbb{E}[Y\mid X_i]\right) }{ \operatorname{Var}(Y) } }. \]

It measures the fraction of output variance explained by varying \(X_i\) alone, averaged over the uncertainty in the other inputs.

Values near zero indicate little first-order influence. Larger values indicate a stronger direct contribution to output variance.

Total-Order Sobol Sensitivity

An input can matter through interactions even if its direct contribution is modest. The total-order Sobol index includes the main effect of \(X_i\) and every interaction involving \(X_i\).

One equivalent expression is

\[ \boxed{ S_{T_i} =1- \frac{ \operatorname{Var}\!\left(\mathbb{E}[Y\mid X_{-i}]\right) }{ \operatorname{Var}(Y) } }, \]

where \(X_{-i}\) denotes all inputs except \(X_i\).

Interactions Matter

Suppose

\[ Y=X_1X_2. \]

The effect of changing \(X_1\) depends on the value of \(X_2\). Likewise, the effect of changing \(X_2\) depends on \(X_1\).

This is an interaction. One-at-a-time methods can miss or understate such behavior because they hold the other inputs fixed.

Global methods are designed to capture these joint effects more systematically.

Screening Large Models

Some models contain dozens, hundreds, or thousands of uncertain inputs. A complete variance decomposition may be computationally expensive.

Screening methods identify inputs that are likely to be important and inputs that appear negligible. The modeler can then concentrate more expensive analysis on the smaller set of influential inputs.

Morris-Style Elementary Effects

One useful screening idea is to perturb an input at many locations in the uncertainty region and record the resulting elementary effect

\[ EE_i= \frac{f(\mathbf{x}+\Delta\mathbf{e}_i)-f(\mathbf{x})}{\Delta}. \]

Large average absolute effects suggest an influential input. Large variation among the elementary effects can indicate nonlinearity or interaction with other variables.

The purpose is usually screening rather than precise variance attribution.

Correlation-Based Sensitivity Measures

Correlation between an input and model output can provide a quick indication of monotonic influence. For linear relationships, Pearson correlation may be useful. For monotonic but nonlinear relationships, rank correlation can be more robust.

These measures are easy to compute from simulation samples, but they do not generally provide the same interpretation as variance-based global sensitivity indices.

Correlation Can Miss Nonmonotonic Influence

Consider

\[ Y=X^2 \]

with \(X\) symmetrically distributed around zero. Positive and negative values of \(X\) can produce the same value of \(Y\), so the ordinary correlation between \(X\) and \(Y\) may be near zero even though \(X\) completely determines \(Y\).

A small correlation therefore does not automatically imply a small global influence.

Derivative-Based Global Measures

Local derivatives can be extended into global summaries by averaging their magnitude over the uncertain input space. One example is

\[ \nu_i= \mathbb{E}\left[ \left(\frac{\partial f}{\partial x_i}\right)^2 \right]. \]

This measure is large when the model is frequently steep in the direction of \(x_i\). It can be useful when derivatives are inexpensive to compute.

Surrogate Models

If a full model is expensive to evaluate, uncertainty analysis may require a simpler approximation called a surrogate, metamodel, or response surface.

A surrogate is trained on selected evaluations of the original model and then used for large simulation or sensitivity studies.

Common surrogate forms include regression models, polynomial response surfaces, Gaussian-process models, neural approximations, and polynomial chaos expansions.

A Surrogate Adds Another Source of Error

The uncertainty analysis is only as reliable as the surrogate in the region where it is used. A fast approximation that is inaccurate in the tails can badly distort failure probabilities, extreme quantiles, or sensitivity rankings.

Surrogate validation should therefore be treated as part of the uncertainty analysis rather than as a separate optional step.

Uncertainty Budgets

An uncertainty budget organizes the major sources of output uncertainty and estimates how much each contributes.

For a nearly linear model with independent inputs, a contribution can be approximated by

\[ C_i= \left(\frac{\partial f}{\partial x_i}\right)^2 \sigma_i^2. \]

A normalized contribution is then

\[ \boxed{ w_i=\frac{C_i}{\sum_j C_j} }. \]

The values \(w_i\) approximately partition the modeled output variance.

Example: A Simple Uncertainty Budget

Suppose a first-order calculation gives variance contributions

\[ C_1=9, \qquad C_2=4, \qquad C_3=3. \]

The total is

\[ 9+4+3=16. \]

Therefore,

\[ w_1=\frac{9}{16}=56.25\%, \] \[ w_2=\frac{4}{16}=25\%, \]

and

\[ w_3=\frac{3}{16}=18.75\%. \]

Under the approximation, the first source is the largest contributor to output variance.

Which Uncertainty Should We Reduce?

A sensitivity study becomes operationally useful when it helps determine where better data, measurement, calibration, or model development would have the greatest value.

An input with both high uncertainty and high sensitivity is a natural target for improvement. Reducing uncertainty in an input that barely affects the model may produce little practical benefit.

Sensitivity and the Value of Information

Suppose a decision depends on an uncertain parameter. If better information about that parameter would rarely change the decision, collecting more data may have little operational value. If reducing uncertainty could frequently change the preferred action, the information may be much more valuable.

Sensitivity analysis therefore supports not only model diagnosis but also prioritization of data collection and research.

Sensitivity Is Not Identifiability

A parameter can strongly influence model output and still be difficult to estimate from available data. Conversely, a parameter may be precisely estimated but have little influence on the particular output or decision of interest.

Sensitivity concerns how output responds to a parameter. Identifiability concerns whether the parameter can be reliably inferred from observations.

Structural Uncertainty

Not all uncertainty can be represented by uncertain numerical parameters. Competing equations, boundary conditions, mechanisms, functional forms, or policy assumptions may define different model structures.

Structural uncertainty can be studied by comparing alternative model forms, scenario families, or model ensembles rather than by varying only the parameters of one fixed equation.

Model Ensembles

An ensemble evaluates multiple plausible models or multiple parameterized versions of a model. The spread of ensemble outputs can reveal sensitivity to structural choices that would be invisible inside a single specification.

Ensemble spread should not automatically be interpreted as a formal probability distribution unless the weighting and probabilistic assumptions justify that interpretation.

Sensitivity Rankings Can Change

There is no universal sensitivity ranking independent of modeling choices. Rankings can change when the operating point, uncertainty ranges, input distributions, dependence assumptions, output metric, or time horizon changes.

A good analysis therefore reports the conditions under which each ranking was obtained rather than presenting the ranking as an intrinsic property of the model.

Models Often Have Multiple Outputs

An input that strongly influences cost may have little effect on reliability. Another may dominate emissions but barely affect profit. Sensitivity should therefore be evaluated relative to the output or decision metric that matters.

For a vector output

\[ \mathbf{y}=\mathbf{f}(\mathbf{x}), \]

different components of \(\mathbf{y}\) can have different sensitivity structures.

Time-Dependent Sensitivity

In dynamic models, an input may matter strongly during one period and weakly during another. Sensitivity can therefore be treated as a function of time:

\[ S_i(t)=\frac{\partial y(t)}{\partial x_i}. \]

This is especially useful in differential-equation, reliability, ecological, financial, and control models.

Decision Sensitivity Can Differ from Output Sensitivity

Suppose a decision depends only on whether \(Y\) exceeds a threshold \(c\). Then the most important uncertainty may be the uncertainty that changes

\[ P(Y>c), \]

not necessarily the uncertainty that contributes most to \(\operatorname{Var}(Y)\).

Sensitivity analysis should therefore be aligned with the actual decision criterion whenever possible.

Uncertainty Estimates Have Sampling Error

Monte Carlo estimates of means, quantiles, failure probabilities, and global sensitivity indices are themselves uncertain because they are estimated from finite samples.

Increasing the simulation size generally improves precision, but convergence rates differ among statistics. Tail probabilities and high-order sensitivity measures may require much larger samples than the mean.

Assessing Stability

Repeated simulation runs, bootstrap resampling, confidence intervals for sensitivity indices, and convergence plots can help determine whether the reported uncertainty and ranking estimates are stable enough for the intended use.

Reporting a sensitivity coefficient to many decimal places is not meaningful when its simulation error is large.

A Practical Sensitivity and UQ Workflow

  1. Define the model output or decision metric of interest.
  2. Identify uncertain inputs, parameters, and structural assumptions.
  3. Specify ranges, distributions, and dependence relationships.
  4. Run a preliminary screening analysis if the input set is large.
  5. Propagate uncertainty through the model.
  6. Summarize the output distribution or uncertainty range.
  7. Estimate local or global sensitivity measures.
  8. Check interactions, nonlinearities, and threshold effects.
  9. Assess numerical and sampling convergence.
  10. Use the results to prioritize data, model refinement, and decisions.

Communicating Sensitivity Results

A useful report should state what was varied, over what range or distribution, what was held fixed, which dependence assumptions were used, what output was measured, and what sensitivity definition was applied.

Statements such as “input \(X_1\) is the most sensitive parameter” are incomplete unless the method and uncertainty domain are clear.

Communicating Uncertainty Quantification

Uncertainty should be reported with an interpretation that matches the method. A simulated 90% interval, a confidence interval, a Bayesian credible interval, and a scenario range are not interchangeable even if they happen to have similar endpoints.

The assumptions behind the uncertainty statement are part of the result.

Common Errors

Practice 1: Local Derivatives

Let

\[ y=3x_1^2+5x_2. \]

Find \(\partial y/\partial x_1\) and \(\partial y/\partial x_2\), then evaluate them at \(x_1=4\).

Practice 2: Normalized Sensitivity

Suppose

\[ y=2x^3. \]

Compute the normalized sensitivity

\[ S=\frac{x}{y}\frac{dy}{dx}. \]

Practice 3: Centered Finite Difference

A model gives

\[ f(9.9)=48.51, \qquad f(10.1)=50.51. \]

Estimate \(f'(10)\) using a centered finite difference.

Practice 4: First-Order Variance

Let

\[ Y=2X_1+3X_2, \]

where \(X_1\) and \(X_2\) are independent with

\[ \sigma_1=2, \qquad \sigma_2=1. \]

Find \(\operatorname{Var}(Y)\).

Practice 5: Uncertainty Contributions

Using Practice 4, determine the variance contribution from each input and the percentage of total variance attributable to each one.

Practice 6: Correlated Inputs

Suppose

\[ Y=X_1+X_2, \]

with

\[ \operatorname{Var}(X_1)=4, \qquad \operatorname{Var}(X_2)=9, \qquad \operatorname{Cov}(X_1,X_2)=2. \]

Find \(\operatorname{Var}(Y)\).

Practice 7: Monte Carlo Exceedance Probability

In a simulation of \(5000\) model runs, \(375\) outputs exceed a critical threshold. Estimate the exceedance probability.

Practice 8: Sobol Interpretation

A model has first-order Sobol index

\[ S_1=0.18 \]

and total-order index

\[ S_{T_1}=0.47. \]

What does the difference suggest?

Practice 9: Sensitivity Versus Uncertainty

Input \(A\) has sensitivity magnitude \(10\) and standard deviation \(0.1\). Input \(B\) has sensitivity magnitude \(2\) and standard deviation \(2\). Assuming independence and first-order propagation, which input contributes more to output variance?

Practice 10: Method Choice

A model contains 80 uncertain inputs, is strongly nonlinear, and requires several minutes per run. You want to identify a small group of influential inputs before performing an expensive global analysis.

What general strategy is appropriate?

Practice Answers

Practice 1

\[ \frac{\partial y}{\partial x_1}=6x_1, \qquad \frac{\partial y}{\partial x_2}=5. \]

At \(x_1=4\),

\[ \boxed{\frac{\partial y}{\partial x_1}=24, \qquad \frac{\partial y}{\partial x_2}=5}. \]

Practice 2

Since

\[ \frac{dy}{dx}=6x^2, \]

we have

\[ S=\frac{x}{2x^3}(6x^2)=\boxed{3}. \]

Practice 3

Here \(h=0.1\), so

\[ f'(10)\approx \frac{50.51-48.51}{0.2} =\frac{2}{0.2} =\boxed{10}. \]

Practice 4

Because the inputs are independent,

\[ \operatorname{Var}(Y) =2^2(2^2)+3^2(1^2). \] \[ \operatorname{Var}(Y)=16+9=\boxed{25}. \]

Practice 5

The contribution from \(X_1\) is

\[ C_1=16, \]

and the contribution from \(X_2\) is

\[ C_2=9. \]

Therefore,

\[ \frac{16}{25}=\boxed{64\%}, \qquad \frac{9}{25}=\boxed{36\%}. \]

Practice 6

\[ \operatorname{Var}(Y) =4+9+2(2) =\boxed{17}. \]

Practice 7

\[ \widehat{P}(Y>c) =\frac{375}{5000} =\boxed{0.075}. \]

The estimated exceedance probability is \(7.5\%\).

Practice 8

The first-order effect of \(X_1\) explains about \(18\%\) of the modeled output variance, while its total contribution including interactions is about \(47\%\). The large gap suggests that \(X_1\) participates in important interactions with other inputs.

Practice 9

Under first-order propagation, compare

\[ 10^2(0.1^2)=1 \]

with

\[ 2^2(2^2)=16. \]

Therefore, \(\boxed{B}\) contributes much more to output variance even though its raw sensitivity is smaller.

Practice 10

Begin with a computationally efficient screening method, such as one-at-a-time range screening, Morris-style elementary effects, or another low-cost design. Use the screening results to reduce the dimensionality, then perform the more expensive global uncertainty and sensitivity analysis on the influential subset. If the original model remains too expensive, construct and validate a surrogate model before the large global calculation.

What to Remember

The essential principle is: do not report only how uncertain the model output is; determine which assumptions create that uncertainty, how strongly they influence the result, and whether reducing them would improve the decision.

Where We Go Next

Sensitivity and uncertainty quantification show how uncertain assumptions propagate through a model and which parameters contribute most to the result. The next step is to treat uncertain parameters as quantities about which we can update our beliefs when new data arrive.

The next lesson, Bayesian Parameter Treatment, develops a probability-based framework for representing prior parameter uncertainty, combining it with observed evidence, and producing posterior parameter and predictive distributions.