Source author record

Dmitry Lesnik

Dmitry Lesnik appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
7topics
1close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2015arXiv

A state vector algebra for algorithmic implementation of second-order logic

We present a mathematical framework for mapping second-order logic relations onto a simple state vector algebra. Using this algebra, basic theorems of set theory can be proven in an algorithmic way, hence by an expert system. We illustrate the use of the algebra with simple examples and show that, in principle, all theorems of basic set theory can be recovered in an elementary way. The developed technique can be used for an automated theorem proving in the 1st and 2nd order logic.

preprint2015arXiv

Intrinsic Storage Valuation by Variational Analysis

The mathematical problem concerning intrinsic storage optimisation is formulated and solved by means of variational analysis. The solution, though obtained in implicit form, still sheds light on many important features of the optimal exercise strategy. It is shown how the solution depends on different constraint types including carry cost and cycle constraint. Additionally, the relationship between intrinsic and stochastic solutions is investigated. In particular, we show that the optimal stochastic exercise decision is always close to the intrinsic one.

preprint2012arXiv

Storage option an Analytic approach

The mathematical problem of the static storage optimisation is formulated and solved by means of a variational analysis. The solution obtained in implicit form is shedding light on the most important features of the optimal exercise strategy. We show how the solution depends on different constraint types including carry cost and cycling constraint. We investigate the relation between intrinsic and stochastic solutions. In particular we give another proof that the stochastic problem has a "bang-bang" optimal exercise strategy. We also show why the optimal stochastic exercise decision is always close to the intrinsic one. In the second half we develop a perturbation analysis to solve the stochastic optimisation problem. The obtained approximate solution allows us to estimate the time value of the storage option. In particular we find an answer to rather academic question of asymptotic time value for the mean reversion parameter approaching zero or infinity. We also investigate the differences between swing and storage problems. The analytical results are compared with numerical valuations and found to be in a good agreement.