Consideremos un calendario de pagos P:={t1,…,tn} que tiene un programa de fijación correspondiente F:={t0,…,tn−1} . Tenemos una serie de swaps co-terminales y co-iniciales con fechas de pago flotantes y fijas coincidentes, convenciones de devengo y nocionales − la tasa de flotación específica no importa. Por lo tanto, el valor de estos swaps en el momento t son en el caso de un pagador: Vt(ti,tj)=j∑k=iδk(Rt(tk−1,tk)−C)Pt(tk) donde C es el tipo fijo del swap, Rt(tk−1,tk) el valor a plazo de la fijación del tipo flotante en tk−1 y pagado en tk y Pt(tk) el factor de descuento, con δk:=tk−tk−1 la fracción de devengo (hemos prescindido de la nocional y hemos asumido que es 1).
Introduzcamos la notación Fi,j:={ti,…,tj} . Dejemos que Bt(ti,tn) sea el valor en t de un swaption vainilla de Bermudas que da derecho a entrar en una de las fechas de fijación ti−1,…,tn−1 en un swap que comienza (pagos) en ti,…,tn respectivamente y terminando en tn es decir, el conjunto de ejercicios de las Bermudas es Fi−1,n−1 . Sea At(ti,tn) sea el valor correspondiente de la swaption americana vainilla que puede ejercerse en cualquier fecha dentro de [ti−1,tn] (1) . Utilizamos una notación equivalente para las swaptions coinicitivas: Bt(t1,ti) que puede introducirse en cualquier fecha desde F0,i−1 y At(t1,ti) donde en este caso el swaption americano puede ser ejercido dentro de [t1,ti] (1) .
En qué circunstancias tendríamos:
\begin{align} &1)& A_t(t_{i-1},t_n)-A_t(t_i,t_n) & \ \pmb{>}\ %\quad \begin{array}\\>\\\geq\\=\end{array} \quad B_t(t_{i-1},t_n)-B_t(t_i,t_n)\ ? \\[6pt] &2)& A_t(t_1,t_{i+1})-A_t(t_1,t_i) & \ \pmb{>}\ %\quad \begin{array}\\>\\\geq\\=\end{array} \quad B_t(t_1,t_{i+1})-B_t(t_1,t_i)\ ? \end{align} es decir, el cambio de valor por la inclusión de un flujo de canje adicional es estrictamente mayor para las swaptions americanas que para las bermudas?
(1) Si la swaption americana se ejerce en <span class="math-container">$t\in[ti,t{i+1})</span> asumimos la fijación de <span class="math-container">ti</span> se acumula linealmente desde <span class="math-container">t</span> a <span class="math-container">t{i+1}</span> y se paga a <span class="math-container">t_{i+1}$</span> . A efectos matemáticos, esto garantiza que el valor de intercambio pueda representarse como una función continua.