No free lunch with vanishing risk (NFLVR) is a concept used in mathematical finance as a strengthening of the no-arbitrage condition. In continuous time finance the existence of an equivalent martingale measure (EMM) is no more equivalent to the no-arbitrage-condition (unlike in discrete time finance), but is instead equivalent to the NFLVR-condition. This is known as the first fundamental theorem of asset pricing. Informally speaking, a market allows for a free lunch with vanishing risk if there are admissible strategies, which can be chosen arbitrarily close to an arbitrage strategy, i.e., these strategies start with no wealth, end up with positive wealth with probability greater than zero (free lunch) and the probability of ending up with negative wealth can be chosen arbitrarily small (vanishing risk).
Mathematical definition For a semimartingale S {\displaystyle S} , let
K = { ( H ⋅ S ) ∞ : H admissible , ( H ⋅ S ) ∞ = lim t → ∞ ( H ⋅ S ) t exists a.s. } {\displaystyle K=\{(H\cdot S)_{\infty }:H{\text{ admissible}},(H\cdot S)_{\infty }=\lim _{t\to \infty }(H\cdot S)_{t}{\text{ exists a.s.}}\}} where a strategy is called admissible if it is self-financing and its value process V t = ∫ 0 t H u ⋅ d S u {\displaystyle V_{t}=\int _{0}^{t}H_{u}\cdot \mathrm {d} S_{u}} is bounded from below.
C = { g ∈ L ∞ ( P ) : ∃ f ∈ K , g ≤ f a . s . } {\displaystyle C=\{g\in L^{\infty }(P):\exists f\in K,~g\leq f~a.s.\}} .
S {\displaystyle S} is said to satisfy the no free lunch with vanishing risk (NFLVR) condition if C ¯ ∩ L + ∞ ( P ) = { 0 } {\displaystyle {\bar {C}}\cap L_{+}^{\infty }(P)=\{0\}} , where C ¯ {\displaystyle {\bar {C}}} is the closure of C in the norm topology of L + ∞ ( P ) {\displaystyle L_{+}^{\infty }(P)} . A direct consequence of that definition is the following: If a market does not satisfy NFLVR, then there exists g ∈ C ¯ ∩ L + ∞ ( P ) ∖ { 0 } {\displaystyle g\in {\bar {C}}\cap L_{+}^{\infty }(P)\backslash \{0\}} and sequences ( g n ) n ⊂ C {\displaystyle (g_{n})_{n}\subset C} , ( V n ) n ⊂ K {\displaystyle (V_{n})_{n}\subset K} such that g n → L ∞ g {\displaystyle g_{n}\xrightarrow {L^{\infty }} g} and g n ≤ V n ∀ n ∈ N {\displaystyle g_{n}\leq V_{n}\,\forall n\in \mathbb {N} } . Moreover, it holds
lim n → ∞ | | min ( V n , 0 ) | | L ∞ = 0 {\displaystyle \lim _{n\to \infty }||\min(V_{n},0)||_{L^{\infty }}=0} (vanishing risk)
… excerpt ends here. Continue reading the full article.
