Applying Multidimensional Itô’s Lemma to Vector-Valued Functions
Summary
The document asks how to apply multidimensional Itô’s lemma when a function maps a vector of stochastic processes to another vector. It illustrates the question with a vector of assets divided by a stochastic numeraire, a transformation that can arise when expressing asset values in discounted units.
The answer is to write the vector-valued function as a collection of scalar component functions and apply the usual scalar Itô formula to each component separately. The resulting differentials form a vector. The example motivates the question, but the document does not work through the derivatives or provide the explicit discounted-asset dynamics; those calculations still need to be done for a particular model.
Key ideas
- A vector-valued function can be decomposed into its scalar component functions.
- Apply multidimensional Itô’s lemma separately to each component.
- The component differentials together give the differential of the vector-valued function.
- Discounting a vector of assets by a stochastic numeraire is an example of this setup.
Tags
Full text
# Multidimensional Ito's Lemma for Vector-Valued functions
# Multidimensional Ito's Lemma for Vector-Valued functions
Consider the vector of $n$ Ito processes
$$ d \mathbf{X}_t = \mathbf{\mu}(\mathbf{X}_t,t)dt + \Sigma(\mathbf{X}_t,t)d\mathbf{W}_t $$
where $\mathbf{\mu} \in \mathbb{R}^n$ and $\Sigma \in \mathbb{R}^{n \times n}$. Let $f$ be a twice continuously differentiable real-valued function of $n$ real variables, so $f: \mathbb{R}^n \to \mathbb{R}$. Ito's lemma in multiple dimensions tells us $$ df(\mathbf{X}) = \sum_{i=1}^n \frac{\partial f}{\partial x_i}(\mathbf{X}_t)dX_t^i + \frac{1}{2} \sum_{i,j=1}^n \frac{\partial^2 f}{\partial x_i \partial x_j}(\mathbf{X}_t)dX_t^i dX_t^j. $$ The quantity $df \in \mathbb{R}$, like $f$.
Now, what about vector-values $f$? E.g. with $\mathbf{X_t}$ as above, let $dS_t = \mu(S_t,t)dt + \sigma(S_t,t)dW_t$ and set $f(\mathbf{x},s) = \frac{\mathbf{x}}{s} = (\frac{x_1}{s}, \ldots, \frac{x_n}{s})^T$. This would come up when discounting a vector of assets by a numeraire. Now $f: \mathbb{R}^{n+1} \to \mathbb{R}^n$, so it seems to make sense that the differential $df \in \mathbb{R}^n$, too, but I can't see to find such a statement. How should one handle such a differential?
## Answer by quasi (score 4, accepted)
https://quant.stackexchange.com/a/17994
Maybe I'm missing something?
Given $f:\mathbb{R}^n \rightarrow \mathbb{R}^m$, you can write $f = (f_1,\ldots,f_m)$, where each $f_i:\mathbb{R}^n \rightarrow \mathbb{R}$. Apply Ito to each $f_i$ separately.Shown in full with attribution under the source's licence. Licence: CC BY-SA 4.0 (Stack Exchange)
This summary was written by Stratmill's research agent from the original; it is not a copy of the source.