A metric space X is a non-empty set endowed with a metric ρ (x, y):

Similar documents
PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,

************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan

Problem Set 6: Solutions Math 201A: Fall a n x n,

Overview of normed linear spaces

An introduction to some aspects of functional analysis

Compact operators on Banach spaces

Sobolev Spaces. Chapter Hölder spaces

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0

i=1 α i. Given an m-times continuously

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Real Analysis Notes. Thomas Goller

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Appendix A Functional Analysis

Chapter 1. Introduction

l(y j ) = 0 for all y j (1)

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Fact Sheet Functional Analysis

Introduction to Topology

A Concise Course on Stochastic Partial Differential Equations

Regularity for Poisson Equation

Exercise Solutions to Functional Analysis

Chapter 1 Foundations of Elliptic Boundary Value Problems 1.1 Euler equations of variational problems

Sobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2.

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.

************************************* Partial Differential Equations II (Math 849, Spring 2019) Baisheng Yan

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)

1.2 Fundamental Theorems of Functional Analysis

Second Order Elliptic PDE

Set, functions and Euclidean space. Seungjin Han

Notes on Sobolev Spaces A. Visintin a.a

TD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle

SOLUTIONS TO SOME PROBLEMS

Introduction and Preliminaries

16 1 Basic Facts from Functional Analysis and Banach Lattices

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

Geometry and topology of continuous best and near best approximations

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

Spectral Theory, with an Introduction to Operator Means. William L. Green

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

Metric Spaces and Topology

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7

Your first day at work MATH 806 (Fall 2015)

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Weak Convergence Methods for Energy Minimization

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

Research Article Function Spaces with a Random Variable Exponent

Introduction to Functional Analysis

On Fréchet algebras with the dominating norm property

1 Continuity Classes C m (Ω)

Scientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1

Journal of Inequalities in Pure and Applied Mathematics

Corollary A linear operator A is the generator of a C 0 (G(t)) t 0 satisfying G(t) e ωt if and only if (i) A is closed and D(A) = X;

Numerical Solutions to Partial Differential Equations

CHAPTER V DUAL SPACES

Introduction to Real Analysis Alternative Chapter 1

FIXED POINT METHODS IN NONLINEAR ANALYSIS

Variational Formulations

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.

t y n (s) ds. t y(s) ds, x(t) = x(0) +

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

INVERSE FUNCTION THEOREM and SURFACES IN R n

Combinatorics in Banach space theory Lecture 12

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

Functional Analysis Exercise Class

B. Appendix B. Topological vector spaces

MAA6617 COURSE NOTES SPRING 2014

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

REAL AND COMPLEX ANALYSIS

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY

1. Bounded linear maps. A linear map T : E F of real Banach

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,

Your first day at work MATH 806 (Fall 2015)

Sobolev Spaces. Chapter 10

CHAPTER I THE RIESZ REPRESENTATION THEOREM

THEOREMS, ETC., FOR MATH 515

Continuity of convex functions in normed spaces

Sobolev Spaces 27 PART II. Review of Sobolev Spaces

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.

A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION. Jean-François Hiller and Klaus-Jürgen Bathe

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

REVIEW OF ESSENTIAL MATH 346 TOPICS

1 Background and Review Material

Topological properties

Math The Laplacian. 1 Green s Identities, Fundamental Solution

CHAPTER VIII HILBERT SPACES

Fixed Point Theorems

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES

2.2 Annihilators, complemented subspaces

Transcription:

Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary problems, Wiley, New York. Gilbarg, D., and N.S. Trudinger, 1998, Elliptic partial differential equations of second order, Springer. 1.1 Banach and Hilbert Spaces 1.1.1 Metric space A metric space X is a non-empty set endowed with a metric ρ (x, y): ρ(x, y) 0, and ρ(x, y) = 0 if and only if x = y; ρ(x, y) = ρ(y, x); ρ(x, z) ρ(x, y)+ρ(y, z), (for any x, y, z X). The notion of metric is essentially an extension of distance in Euclidean spaces. On a metric space, we can define (i) convergence of a sequence {v n } to v in X. (ii) continuity of a mapping from X into another metric space. (iii) density, compactness or relative compactness of a subset of X. 1

2 CHAPTER 1. PRELIMINARIES A subset B is relative compact if any sequence in B has a convergent subsequence. If the convergence point is also in B, then the subset is compact. (iv) completeness or separability of X. If every Cauchy sequence in X converges (Cauchy sequence {x n } if ρ(x n,x m ) 0asn, m + ), then X is complete. 1.1.2 Normed and Banach Spaces Normed space A normed space V is a linear space endowed with a norm [ ] V : Since the mapping [λv] V = λ [v] V for λ R, v V, [v + w] V [v] V +[w] V for v, w V [v] = 0 if and only if v =0. u, v [u v] V is a metric on V, we can freely utilize metric notions such as convergence (strong convergence, denoted by v n v), continuity, density, compactness, relative compactness, completeness, separability. Weak convergence The dual space of V is the linear space V of continuous, or bounded, linear functionals F on V, endowed with the norm F V sup Fv. v V, [v] V 1 By weak convergence of a sequence {v n } to v in V, denoted by the symbol v n v,we mean convergence of Fv n to Fv in R whatever F V. Strong convergence implies weak convergence, and viceversa if V is finite dimensional. Assignment: Prove that weakly convergent sequences are bounded, and F n v n Fv if F n F in V, v n vin V.

1.1. BANACH AND HILBERT SPACES 3 Imbedding Two normed spaces V and W are (topologically) isomorphic if there exists an injective and surjective linear operator T : W V such that both T and T 1 : V W are continuous, i.e., satisfy Tw V C w W for w W and T v 1 C v V V for v V with some positive constant C. V and W are isometrically isomorphic in the particular case when Tw V = w W for w W. If the linear operator T is only required to be injective and continuous (which can happen to be the case with T =identity when W is a subspace of V as well as a normed space on its own), we say that W is continuously imbedded, or injected, in V and write W V ; the particular choice of T is algebraically and topologically irrelevant because W and its image T (W ) are isometrically isomorphic when the latter is normed by z w W for z = Tw, w W. Banach space When a normed space is complete we call it a Banach space. Simple considerations show that V is always a Banach space whether the normed space V is complete or not (an exercise). Theorem 1.1 Let V be a Banach space. Let K V be closed in V. If K is convex and {v n } K converges weakly to v in V, then v K. The linear mapping I defined by Iv,F Fv for F V is a continuous injection of V in the dual space V of V, and even more, namely, an isometric isomorphism between V and the image space I(V ), by

4 CHAPTER 1. PRELIMINARIES the Hahn-Banach theorem (an exercise). If I is surjective, that is, I(V )=V, we call V reflexive. An important property of reflexive Banach spaces is given by the following theorem. Theorem 1.2 Every bounded sequence in a reflexive Banach space contains a weakly convergent subsequence. Hilbert space A special class of normed spaces is that of pre-hilbert spaces. They are linear spaces V such that there exists a mapping u, v (u, v) V from the Cartesian product V V into R, called a scalar product on V, which is linear in each variable and satisfies (u, v) V =(v, u) V for u, v V as well as (u, u) V > 0foru V, u 0. On pre-hilbert spaces the Cauchy-Schwarz inequality holds: (u, v) V (u, u) 1/2 V (v, v) 1/2 V. AnormonV is given by the mapping u (u, u) 1/2 V u V. When a pre-hilbert space is complete (and is therefore a Banach space) we call it a Hilbert space. Theorem 1.3 Hilbert spaces are reflexive. As a matter of fact, by the Riesz representation theorem, we can show that a Hilbert space is isometrically isomorphic to its image in the dual space V under the mapping u (u, ) V.

1.2. SOBOLEV SPACES 5 1.2 Sobolev Spaces In this section, we always assume that is an open subset of R N which is connected as well as bounded. (Openness and connectedness make a domain.) Also, we assume the boundary is smooth enough. Some results can be extended to unbounded domain. Before introducing Sobolev spaces, let us recall smooth function spaces and Lebesgue spaces. 1.2.1 C k and C k+δ spaces Let C 0 () be the linear space of continuous real functions on. C k (), with k N (the set of natural numbers), is the linear space of functions on have all derivatives of order k in C 0 (). For k N,C k () is the linear space of functions in C k () which can be continuously extended to together with all their derivatives of order k. It is clear that C k () is a Banach space with the choice of the norm k u C k () k D α u C0 () i=0 α =i where we have used the multi-index notation: i=0 α =i D α u α u/ x α 1 1 x α N N with α (α 1,,α N ), α = α 1 + + α N. For 0 <δ 1, let u (x) u (y) [u] δ;d sup x,y D x y δ x y max D α u, whenever u is a function defined on a closed subset D of R N. If [u] δ;d < +, we write u C δ (D) and say that u is Holder continuous in D (with exponent δ) when 0 <δ<1, Lipschitz continuous in D when δ =1. If D is compact, a norm in the linear space C 0+δ (sometimes denoted by C δ ) is defined by. u C 0+δ (D) u C 0 (D) +[u] δ;d

6 CHAPTER 1. PRELIMINARIES For k N, C k,δ ( ) is the linear space of functions u C k ( ) such that D α u C 0,δ ( ) whenever α = k. When is bounded, a norm on C k,δ ( ) is defined by u C k+δ ( ) u C k ( ) + [D α u] δ; α =k. It is convenient to stipulate the notational convention C k+0 C k. For k =0, 1,... and 0 δ 1, C k+δ () (with bounded) is a Banach space which is not reflexive. Note that C k+0 (), k=0, 1,..., is separable, but C k+δ (), k =0, 1,..., 0 <δ 1, is not separable. 1.2.2 Lebesgue spaces For 1 p<+ we denote by L p () the linear space of measurable functions u on such that u p is integrable over, and set ( 1/p u p; u dx) p. We denote by L () the linear space of measurable functions u on such that ess sup u inf {C R : u C a.e. in } < +, and set u, ess sup u. Note that u, = u C 0 () if is bounded and u ( C0 ). (i) For 1 p +, L p () is a Banach space with respect to the norm u u p, ; (ii) L 2 () is a Hilbert space with respect to the scalar product u, v uvdx; (iii) L p () is separable for 1 p<+, whereas L () is not; (iv) L p () is reflexive for 1 <p<+, whereas L 1 () and L () are not. (v) L p () L q () for 1 q<p + (if is bounded). 1.2.3 Sobolev spaces First, let us define weak derivatives. Let u be locally integrable in, i.e. u L 1 loc(). Let α be any multi-index. Then a locally integrable function v

1.2. SOBOLEV SPACES 7 is called the αth weak derivative of u if it satisfies ud α ϕdx =( 1) α vϕdx, for any ϕ C 0 (). We write v D α u. For k N, Sobolev space W k,p () (or W k p ()) equipped with the norm W k p () = {u : D α u L p (), for any 0 α k}, u W k p () = D α u p p; dx α k u W k () = max α k Dα u ; 1/p, if 1 p<+ is a Banach space. W2 k () H k () is a Hilbert space with respect to the scalar product (u, v) H k () (D α u, D α v) L 2 (). α k W k p () is separable for 1 p<+, reflexive for 1 <p<+. In fact, it can be shown that for 1 p<+, C () W k p () is dense in W k p (). Now let us introduce the imbedding theorem. Theorem 1.4 Assume R N, 1 p<+ and the boundary of has certain regularity. i) If kp < N, then Wp k () L q () for any 1 q Np/(N kp); The mapping is compact (i.e. the images of bounded sets are compact) if 1 q<np/(n kp). ii) If kp = N, then Wp k () L q () for any 1 q<+ if kp = N; The mapping is always compact. iii) If kp > N; then Wp k () C ([k N/p])+δ () for any 0 <δ k N/p [k N/p] (where [a] integer part of a R) when N/p / N, and the mapping is compact if δ<k N/p [k N/p]; and Wp k () C (k N/p 1)+δ () for any δ (0, 1) when N/p N, and the mapping is always compact.

8 CHAPTER 1. PRELIMINARIES 1.3 Fixed Points It is well known that in a complete metric space (in particular, in a Banach space) a contraction has a unique fixed point. In the following we list more sophisticated existence (not uniqueness) results for fixed points. For finite-dimensional Banach spaces we have at Brouwer s fixed point theorem: Theorem 1.5 Let V be a finite-dimensional Banach space, let K be a closed convex subset of V, and let T be a continuous mapping of K into itself such that the image T (K) is bounded. Then T has a fixed point u K, u = Tu. Brouwer s theorem utilizes the fact that in Euclidean spaces bounded sets are relatively compact. Its direct extension to infinite-dimensional spaces is Schauder s theorem: Theorem 1.6 Theorem 1.5 remains valid in any Banach space provided the image T (K) is required to be relatively compact. 1.4 Schauder s Estimates and L p Estimates Consider the operator n 2 u n Au a ij (x) + b i (x) u + c(x)u. i,j=1 x i x j i=1 x i A is said to be elliptic in if n a ij (x)ξ i ξ j λ x ξ 2 for all, ξ R n (λ x > 0). i,j=1 It is uniformly elliptic if λ x λ>0 for all x. Without causing ambiguity, we will use the following simplified notations: C k+α ( ) = k+α ; C 0+α ( ) = α ; W k p () = k,p ; p; = p.

1.4. SCHAUDER S ESTIMATES AND L P ESTIMATES 9 1.4.1 Schauder s (boundary) estimates Suppose that is locally in C 2+α,f C α (), Φ C 2+α (), and aij α + b i α + c α K, n a ij (x)ξ i ξ j λ ξ 2 for all x, ξ R n (λ>0) i,j=1 If u C 2 () and Au = f in, u = Φ in, then u 2+α C ( f α + u 0 + Φ 2+α ), where C is a constant depending only on λ, K, and. 1.4.2 L p (boundary) estimates Suppose that is locally in C 2,f L p (), Φ Wp 2 (), and a ij (x) a ij (y) ω ( x y ), [ω(t) 0ift 0], n a ij (x)ξ i ξ j λ ξ 2 for all x, ξ R n (λ>0) (1.1) i,j=1 aij + b i + c K. (1.2) If u W 2 p () and Au = f in, u Φ H0(), 1 then u 2,p C ( f p + Φ 2,p ), where C is a constant depending only on λ, K, and the modulus of continuity ω, and the domain.

10 CHAPTER 1. PRELIMINARIES 1.4.3 Strong maximum principle Assume that (1.1), (1.2) hold and c(x) 0. Let u be a function in H 2 () C() satisfying Au 0 a.e. in. If u assumes a positive maximum at some point x 0 in, then u const. in (and then c = 0 a.e.). This result extends also to u, which is not necessarily continuous in ; maximum of u is replaced by essential supremum of u; Ifess sup u is positive and coincides with ess sup B u for any ball with center x 0 and arbitrarily small radius, then u =const. This implies: If u H 2 () H0), 1 Au 0 a.e. in, then u 0 a.e. in. 1.4.4 Parabolic equations All of the above results can be extended to the parabolic equations.

Chapter 2 Variational Inequalities in Finance 2.1 American Option Pricing and Obstacle Problem 2.1.1 Pricing model of American options Let V = V (S, t) be the price function of an American call option. The option can be exercise at any time before expiry. We must have The pricing model is V (S, t) ϕ(s) S X LV 0 (2.1) V ϕ(s) (2.2) LV [V ϕ(s)] = 0 (2.3) in Q = {(S, t) :S>0, t [0,T)}, subject to the terminal condition V (S, T )=ϕ(s) +, for S>0 (2.4) where LV = V t + 1 2 σ2 S 2 2 V V +(r q)s S2 S rv 11

12 CHAPTER 2. VARIATIONAL INEQUALITIES IN FINANCE (2.1)-(2.3) is called the variational inequality, which can be rewritten as min { LV, V ϕ(s)} =0. In physics, the model corresponds to an obstacle problem and ϕ(s) is called the obstacle function. Notice that ϕ(s) can be replaced by ϕ(s) + because V (S, t) 0, for all S and t. 2.1.2 Obstacle problems To understand the pricing model, we recall the (stationary) obstacle problem. Let us start from a variational problem. Consider the functional G(u) 1 u 2 dx fudx, 2 where f L 2 (). Find u such that u H 1 0() and G(u) = min v H 1 0 () G(v). Suppose that u is a solution of this problem. v H0(), 1 Then, for any ɛ R and h(ɛ) = G(u + ɛv) = 1 2 ɛ2 v 2 dx + ɛ ( 1 ( u v fv) dx + 2 u 2 fu) dx achieves its minimum at ɛ =0. It follows h = ɛ v 2 dx + ( u v fv) dx ɛ ɛ=0 = ( u v fv) dx =0. That is, find u H0(), 1 u vdx = If u H 2 (), then ɛ=0 fvdx for any v H 1 0(). (2.5) u + f = 0 in, u = 0 on.

2.1. AMERICAN OPTION PRICING AND OBSTACLE PROBLEM 13 (2.5) is called the weak form of the above equation. Now let us confine the solution to a closed convex set in H 1 0(), K = {u H 1 0() : u(x) φ(x) a.e.}, where φ is a given continuous function in. (Assume φ 0on ). Now we consider the (obstacle) problem: Find u such that u K and G(u) = min G(v). (2.6) v K Let u K be the solution. For any v K, we have (1 ɛ) u + ɛv = u + ɛ(v u) K for any ɛ 0. Denote H(ɛ) = G(u + ɛ(v u)) = 1 2 ɛ2 (v u) 2 dx + ɛ ( 1 + 2 u 2 fu) dx. It follows or [ u (v u) f (v u)] dx G = [ u (v u) f (v u)] 0 ɛ ɛ=0 u (v u) dx f (v u) dx for any v K. If also u H 2 (), then we obtain ( u + f)(v u) dx 0 for any v K, (2.7) and choosing v = u + ξ, ξ 0, ξ C 0 (), we get If u is continuous, then the set u + f 0. A = {x :u(x) >φ(x)} is open. For any ξ C 0 (A) the function v = u ± ɛξ is in K provided that ɛ is small enough. We then obtain from (2.7) u + f =0inA.

14 CHAPTER 2. VARIATIONAL INEQUALITIES IN FINANCE Thus we have shown that if u is a solution of (2.6) which belongs to H 2 () C(), then u + f 0 u φ ( u + f)(u φ) =0, a.e. in u =0, which is a variational inequality problem. (2.7) is the corresponding weak form. The set K is called the constraint set, and φ is the obstacle. The set A is called the non-coincidence set, and the set Λ={x :u(x) =φ(x)} is called the coincidence set; the boundary of the non-coincidence set in Γ= A is called the free boundary. It will be proved later that for suitably smooth f, g, φ, the solution u of the obstacle problem is in C 1 (). Since u φ takes its minimum in on the coincidence set, it follows that u φ =0, and (u φ) =0onΓ. Then we may view u as a solution of the Dirichlet problem u + f =0inA u =0on A u = φ on A Γ (2.8) with the additional condition u = φ on A Γ (2.9) compensating for the fact that Γ is not a priori known. This point of view is useful in solving variational inequalities in one space dimension. However, for multi-dimensional problem, Γ can be quite irregular and we shall therefore not attempt to solve the obstacle problem by the approach of (2.8)-(2.9).

2.2. REGULARITY OF SOLUTION TO VARIATIONAL INEQUALITY15 Now we come back to the pricing model of American options (2.1)-(2.4). Similar to the coincidence/non-coincidence set in obstacle problem, we define H = {(S, t) Q : V (S, t) >ϕ(s)} E = {(S, t) Q : V (S, t) =ϕ(s)}. We will show that for q>0, there is a single-value strictly increasing function S (t) :[0,T) (0, + ), such that E={(S, t) Q : S S (t), t [0,T)}. Moreover, V (S, t) W 2,1 p,loc (Q), which implies V C1 in S and the free boundary condition V =1. S S=S (t) The condition can be utilized to derive the analytical price formulas of perpetual American options. 2.2 Regularity of Solution to Variational Inequality 2.2.1 Classical solution, strong solution and weak solution First, we distinguish between classical solution (C 2 ), strong solution (Wp 2 ) and weak solution (H 1 ). Then we point out that the classical solution to a standard variational inequality equation does not exist in general. Let us take the American option pricing model as an example. Indeed, we can show later that V, V S and V t are continuous. We assert that V SS is not continuous across the free boundary. Indeed, applying the equation, V SS S=S (t) = V t +(r q)sv S rv 1 2 σ2 S 2 whereas V SS S=S (t)+ =0. This implies discontinuity. S=S (t) = qs (t) rx 1 2 σ2 S 2 (t),

16 CHAPTER 2. VARIATIONAL INEQUALITIES IN FINANCE 2.2.2 Existence and regularity of strong solution: Penalized method To illustrate method, we consider the obstacle problem with φ C 2 (), f C α () and smooth. This is a nonlinear problem. To show the existence of solution, we need fixed point theorems. We plan to make use of the Schauder fixed point theorem. Since all of a prior estimates are for equations, we approximate the obstacle problem using { u + βɛ (u φ) =f in, u =0on, (2.10) where β ɛ (t) (0<ɛ<1) be C 2 in t, satisfying and β ɛ (t) 0, β ɛ (0) = C 0 (C 0 > 0 independent of ɛ, to be given). β ɛ(t) 0, β ɛ 0, lim ɛ 0 β ɛ (t) = { 0, for t>0, for t<0. The problem (2.10) is called the penalized problem. The financial interpretation is the following. Consider an option that gives a constrained early exercise right subject to a Poisson process with intensity λ = 1 [see Dai, ɛ Kwok and You, Intensity-based framework and penalty formulation of optimal stopping problems, Journal of Economic Dynamics and Control (2007), 31(12):3860-3880]. Then, the pricing model is LV = 1 (ϕ V )+ ɛ or LV + 1 min(v ϕ, 0) = 0 ɛ Apparently the option value converges to that of an American option as the intensity λ goes to infinity. It is easy to see that β ɛ (t) is a smoothing function of 1 min(t, 0). ɛ Lemma 2.1 There exists a solution u ɛ of (2.10), and u ɛ φ.

2.2. REGULARITY OF SOLUTION TO VARIATIONAL INEQUALITY17 Proof: Since β ɛ (t) is unbounded, we set, for any M>0, β ɛ,m =max{β ɛ (t), M}, and consider the problem { u + βɛ,m (u φ) =f in, u =0on. (2.11) For each v L p () (1 <p<+ ) there exists a unique solution w in Wp 2 () of { w = f βɛ,m (v φ) in, w =0on. and w 2,p R, where R is a constant independent of v. Set w = T (v). Consider a closed convex set D in L p () : D = { v L p () : v p R }. It is easy to see (i) TD D; (ii) T is compact, by the embedding theorem; (iii) T is continuous. That is, for any v j,v D, v j v in D, T(v j )=w j, T (v) =w, we need to show Note that w j w satisfies w j w in D. (w j w) =β ɛ,m ( )(v j v) in, where β ɛ,m ( ) has a bound independent of v j and v. Therefore, by L p estimate, we obtain the desired result. Then, we apply Schauder s fixed-point theorem to get the existence of a solution to (2.11), denoted by u ɛ,m. Since u = u ɛ,m is in Wp 2 (), for any p<+, β ɛ,m (u φ) is Holder continuous. By a general regularity result for elliptic equations with C α coefficients, it follows that u C 2+α (). We shall now estimate the function ξ(x) =β ɛ,m (u φ).

18 CHAPTER 2. VARIATIONAL INEQUALITIES IN FINANCE By definition of β ɛ, ξ(x) 0. Consider now the minimum γ of ξ(x). Suppose that γ = ξ(x 0 ),γ<β ɛ (0). Then x 0 /. On the other hand, if x 0, then since β ɛ,m (t) is monotone in t, u φ also takes a minimum at x 0. It follows by the standard maximum principle that (u φ) 0atx 0. Take C 0 min x ( φ + f). Combining with (2.11), we deduce that We have thus shown that ξ(x 0 )=f + u x=x0 f(x 0 )+ φ(x 0 ) C 0. β ɛ,m (u ɛ,m φ) C 0, (C 0 independent of ɛ, N) which implies u ɛ,m φ provided that M>C 0. Then u ɛ = u ɛ,m (for M big enough) is a solution of the penalized problem (2.10). Moreover, and by the L p estimates, u ɛ 0 C, (C independent of ɛ) u ɛ 2,p C. (C independent of ɛ) We now take a sequence ɛ = ɛ n 0 such that u ɛ uweakly in Wp 2 (), for any p<+. It follows that u ɛ u uniformly in. We then deduce that u φ, β ɛ (u ɛ φ) 0 on the set {u >φ}

2.2. REGULARITY OF SOLUTION TO VARIATIONAL INEQUALITY19 We conclude that limβ ɛ (u ɛ φ) 0. ɛ 0 u = f a.e. on {u >φ} u f a.e. in. We have thus proved: Theorem 2.2 Assume f C α,φ C 2, C 2+α. Then the obstacle problem has a solution u W 2 p () for any p<+. We point out that the conditions in the above theorem can be weakened. For example, φ C 2 can be replaced by φ C 0,1 ( 0 ),φ ξξ C in the sense of distribution, for any direction ξ, where 0 is a neighborhood of. [see Friedman (1982)] Now let us look at comparison principle for variational inequality. Theorem 2.3 Let u 1 and u 2 be solutions in H 2 () C() of the variational inequality corresponding to (f 1,φ 1 ) and (f 2,φ 2 ), respectively. If f 1 f 2 and φ 1 φ 2, then u 1 u 2 a.e. Proof: Suppose the open set G = {x :u 2 (x) >u 1 (x)} is nonempty. Since u 2 >u 1 φ 1 φ 2 in G, u 2 = f 2, u 1 f 1. Consequently, (u 2 u 1 ) 0inG. Also, u 2 u 1 =0on G. Hence, by the maximum principle, u 2 u 1 0in G, a contradiction. The above comparison principle implies the uniqueness of solution of variational inequality. Assignment: Show the W 2,1 p,loc regularity of solution to the American option pricing model. (Hints: first confine to a bounded domain, and smoothen the terminal condition)