Content of present website is being moved to www.lukoe.com/finance . Registration of www.opentradingsystem.com will be discontinued on 2020-08-14.
 I. Basic math.
 II. Pricing and Hedging.
 III. Explicit techniques.
 IV. Data Analysis.
 V. Implementation tools.
 VI. Basic Math II.
 1 Real Variable.
 2 Laws of large numbers.
 3 Characteristic function.
 4 Central limit theorem (CLT) II.
 5 Random walk.
 6 Conditional probability II.
 7 Martingales and stopping times.
 8 Markov process.
 9 Levy process.
 10 Weak derivative. Fundamental solution. Calculus of distributions.
 11 Functional Analysis.
 12 Fourier analysis.
 13 Sobolev spaces.
 14 Elliptic PDE.
 15 Parabolic PDE.
 A. Galerkin approximation for parabolic Dirichlet problem.
 B. Energy estimates for Galerkin approximate solution.
 C. Existence of weak solution for parabolic Dirichlet problem.
 D. Parabolic regularity.
 VII. Implementation tools II.
 VIII. Bibliography
 Notation. Index. Contents.

## Parabolic regularity.

e study the smoothness of the weak solution for the parabolic problem, see the definition ( Weak solution of parabolic Dirichlet problem ). The main tools are the elliptic regularity results, see the section ( Elliptic regularity section ) and the formulas ( Cauchy inequality with epsilon ),( Differential inequality 1 ),( Differential inequality 2 ). We assume that the coefficients of the operator are independent of to simplify the calculations.

Proposition

(Parabolic regularity 1). Assume that the functions of the operator (see the definition ( Parabolic differential operator )) are smooth on and independent of . Let be a bounded subset of . Let and is a weak solution (see the definition ( Weak solution of parabolic Dirichlet problem )) of the problem ( Parabolic Dirichlet problem ).

Then with the following bounds where the constant depends only on and the coefficients of .

Proof

We multiply the equations ( Galerkin problem ) with and sum for . We obtain where We note that According to the formula ( Cauchy inequality ), smoothness of and boundedness of Therefore, for any . We integrate the above for then and obtain (for some ): According to the proposition ( Energy estimates for the Galerkin approximate solution ), and by uniform positive definiteness of the matrix there is a constant such that Therefore,

We pass to the limit and find the first and third desired inequalities.

To prove the remaining inequality we note that the identity may be rewritten as where the is already shown to be in . Hence, the proposition ( Boundary elliptic regularity ) applies and we derive we integrate for and the obtained in this proof estimates to arrive to the second desired inequality.

Proposition

(Parabolic regularity 2). Let be a bounded subset of . Assume that the functions of the operator (see the definition ( Parabolic differential operator )) are smooth on and independent of . Let Suppose that the following compatibility conditions hold: Then the weak solution of the problem ( Parabolic Dirichlet problem ) satisfies the estimates where the constant depends only on and the coefficients of .

The compatibility conditions may be understood as follows. Since then we should have for smoothness . Since then we should have and so fourth. The assumption of time independency of the coefficients of keeps it from getting very verbose.

 Notation. Index. Contents.