IDEAS home Printed from https://ideas.repec.org/p/arx/papers/2608.19223.html

Henstock--Kurzweil Path Integral in Financial Mathematics: A Machine-Verified Pricing of European and Barrier Options

Author

Listed:
  • Alexander S. Ushakov
  • Yury N. Berdinsky

Abstract

We apply the Henstock--Kurzweil (HK) gauge integral to the Black--Scholes model of option pricing and obtain the European call price directly from a Gaussian cylindrical kernel, without stochastic calculus. Under the risk- neutral measure, the log-price is a Brownian motion with drift nu = r - sigma^2/2. Its transition density is the Gaussian kernel G_t(x,y) = (2 pi sigma^2 t)^{-1/2} exp( - (y - x - nu t)^2 / (2 sigma^2 t) ). We give a machine-checked formalization in Lean 4 / Mathlib of the following: the Chapman--Kolmogorov (semigroup) property, the fact that G_t is a probability density, strong continuity of the pricing operator, the closed-form price C = S_0 N(d_1) - K e^{-rT} N(d_2) with the standard normal CDF N, and the exactness of the drift--diffusion Chernoff splitting at every level. The entire proof is "sorry"-free and depends only on propext, Classical.choice, and Quot.sound. Digital and barrier options are treated as further examples, illustrating the universality of the method, and we show that the construction is compatible with the classical Ito calculus in the continuum limit.

Suggested Citation

  • Alexander S. Ushakov & Yury N. Berdinsky, 2026. "Henstock--Kurzweil Path Integral in Financial Mathematics: A Machine-Verified Pricing of European and Barrier Options," Papers 2608.19223, arXiv.org.
    • Handle: RePEc:arx:papers:2608.19223
    as

    Download full text from publisher

    File URL: https://arxiv.org/pdf/2608.19223
    File Function: Latest version
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. J. Michael Harrison & Stanley R. Pliska, 1981. "Martingales and Stochastic Integrals in the Theory of Continous Trading," Discussion Papers 454, Northwestern University, Center for Mathematical Studies in Economics and Management Science.
    2. Harrison, J. Michael & Pliska, Stanley R., 1981. "Martingales and stochastic integrals in the theory of continuous trading," Stochastic Processes and their Applications, Elsevier, vol. 11(3), pages 215-260, August.
    3. Robert C. Merton, 2005. "Theory of rational option pricing," World Scientific Book Chapters, in: Sudipto Bhattacharya & George M Constantinides (ed.), Theory Of Valuation, chapter 8, pages 229-288, World Scientific Publishing Co. Pte. Ltd..
    4. Black, Fischer & Scholes, Myron S, 1973. "The Pricing of Options and Corporate Liabilities," Journal of Political Economy, University of Chicago Press, vol. 81(3), pages 637-654, May-June.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Marcelo F. Perillo, 2021. "Valuación de Títulos de Deuda Indexados al Comportamiento de un Índice Accionario: Un Modelo sin Riesgo de Crédito," CEMA Working Papers: Serie Documentos de Trabajo. 784, Universidad del CEMA.
    2. Timothy Johnson, 2015. "Reciprocity as a Foundation of Financial Economics," Journal of Business Ethics, Springer, vol. 131(1), pages 43-67, September.
    3. Fergusson, Kevin, 2020. "Less-Expensive Valuation And Reserving Of Long-Dated Variable Annuities When Interest Rates And Mortality Rates Are Stochastic," ASTIN Bulletin, Cambridge University Press, vol. 50(2), pages 381-417, May.
    4. repec:uts:finphd:40 is not listed on IDEAS
    5. Kyng, T. & Konstandatos, O. & Bienek, T., 2016. "Valuation of employee stock options using the exercise multiple approach and life tables," Insurance: Mathematics and Economics, Elsevier, vol. 68(C), pages 17-26.
    6. Battulga Gankhuu, 2021. "Equity-Linked Life Insurances on Maximum of Several Assets," Papers 2111.04038, arXiv.org, revised Sep 2024.
    7. W. Schachermayer, 1994. "Martingale Measures For Discrete‐Time Processes With Infinite Horizon," Mathematical Finance, Wiley Blackwell, vol. 4(1), pages 25-55, January.
    8. Otto Konstandatos & Timothy J Kyng, 2012. "Real Options Analysis for Commodity Based Mining Enterprises with Compound and Barrier Features," Published Paper Series 2012-3, Finance Discipline Group, UTS Business School, University of Technology, Sydney.
    9. El-Khatib, Youssef & Goutte, Stephane & Makumbe, Zororo S. & Vives, Josep, 2023. "A hybrid stochastic volatility model in a Lévy market," International Review of Economics & Finance, Elsevier, vol. 85(C), pages 220-235.
    10. Leisen, Dietmar P. J., 1999. "The random-time binomial model," Journal of Economic Dynamics and Control, Elsevier, vol. 23(9-10), pages 1355-1386, September.
    11. repec:dau:papers:123456789/5374 is not listed on IDEAS
    12. Farshid Jamshidian, 1997. "LIBOR and swap market models and measures (*)," Finance and Stochastics, Springer, vol. 1(4), pages 293-330.
    13. Wayne King Ming Chan, 2015. "RAROC-Based Contingent Claim Valuation," PhD Thesis, Finance Discipline Group, UTS Business School, University of Technology, Sydney, number 21, July-Dece.
    14. Brisset, Nicolas, 2017. "On Performativity: Option Theory And The Resistance Of Financial Phenomena," Journal of the History of Economic Thought, Cambridge University Press, vol. 39(4), pages 549-569, December.
    15. Keith A. Lewis, 2019. "A Simple Proof of the Fundamental Theorem of Asset Pricing," Papers 1912.01091, arXiv.org.
    16. Tigran Atoyan, 2018. "Model-free trading and hedging with continuous price paths," Papers 1809.00149, arXiv.org, revised Oct 2018.
    17. S H Martzoukos, 2009. "Real R&D options and optimal activation of two-dimensional random controls," Journal of the Operational Research Society, Palgrave Macmillan;The OR Society, vol. 60(6), pages 843-858, June.
    18. Møller, T., 2002. "On Valuation and Risk Management at the Interface of Insurance and Finance," British Actuarial Journal, Cambridge University Press, vol. 8(4), pages 787-827, October.
    19. Neda Esmaeeli & Peter Imkeller, 2015. "American Options with Asymmetric Information and Reflected BSDE," Papers 1505.05046, arXiv.org, revised Aug 2017.
    20. Kevin John Fergusson, 2018. "Less-Expensive Pricing and Hedging of Extreme-Maturity Interest Rate Derivatives and Equity Index Options Under the Real-World Measure," PhD Thesis, Finance Discipline Group, UTS Business School, University of Technology, Sydney, number 3-2018, January-A.
    21. Battulga Gankhuu, 2021. "Options Pricing under Bayesian MS-VAR Process," Papers 2109.05998, arXiv.org, revised Sep 2024.
    22. Paul McCloud, 2020. "Expectation and Price in Incomplete Markets," Papers 2006.16703, arXiv.org.

    More about this item

    NEP fields

    This paper has been announced in the following NEP Reports:

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:arx:papers:2608.19223. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: arXiv administrators (email available below). General contact details of provider: https://arxiv.org/ .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.