Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

Iterative spectral methods for Hamilton-Jacobi-Bellman quasi-variational inequality in finance

Abstract

This study proposes a novel computational scheme for utility-maximization problems involving optimal stopping, formulated as Hamilton-Jacobi-Bellman quasi-variational inequalities. The methodology integrates Gauss-Lobatto-Legendre spectral discretization with a penalization method and is solved efficiently via policy iteration. We establish the convergence of the penalized scheme and verify the effectiveness and robustness of the framework through a series of numerical experiments.

Introduction

In the broader context of financial optimization, Hamilton-Jacobi-Bellman (HJB) equations have become the fundamental tool for addressing complex dynamic decision-making problems, ranging from classic continuous-time portfolio selection [1] to general stochastic control theories [2]. This paper centers on utility maximization problems embedded with optimal stopping constraints, for which a series of theoretical studies have been developed over the past decades. Early foundational research was carried out by [3] and [4]. Later [5], and [6] analyzed the existence and equivalence of solutions, yet their work failed to provide a complete characterization of the free boundary. To remedy this limitation [7], and [8] adopted dual transformation techniques to convert the original problems into standard free boundary problems, while [9] proposed a global approximation strategy.

Beyond these classical theoretical settings, the application of continuous-time differential models and boundary value problems has grown increasingly sophisticated, driving recent breakthroughs across diverse scientific domains. Such advanced continuous models have not only provided profound new insights into complex biological systems, such as population dynamics [10], but are also being actively deployed to solve intricate real-world financial problems, including optimal investment considerations for life insurance portfolios [11]. To construct reliable optimization models that meet these practical demands, incorporating realistic market dynamics—such as stochastic volatility, leverage effects, and long-memory features—is essential. Traditional constant-volatility frameworks represented by the classical Black-Scholes model enjoy analytical tractability but fail to reproduce typical empirical patterns like volatility smiles and return skewness. To overcome this critical defect, stochastic volatility models were first proposed by [12] and further extended to high-precision numerical and regime-switching frameworks in [13], evolving into the mainstream industry standard. Building on this foundation, the literature on non-constant volatility has recently expanded significantly to capture even more complex empirical features. For instance, extensive empirical evidence has shown that volatility time series exhibit rough behavior, leading to the rapid development of rough volatility models [14]. Furthermore, optimal portfolio selection in complex stochastic environments, such as those with fast mean-reverting or fractional volatility dynamics, continues to attract substantial academic interest [15].

Unfortunately, incorporating stochastic volatility features transforms the original HJB equations into degenerate multidimensional quasi-variational inequalities (QVIs), which pose severe theoretical and computational difficulties. Computationally, solving optimal stopping and stochastic control problems in these advanced stochastic volatility frameworks has seen a recent surge in machine learning techniques, such as neural-network-based HJB solvers [16] and deep optimal stopping algorithms [17]. While these deep learning approaches scale exceptionally well to high-dimensional problems, they often lack rigorous convergence analysis and struggle to provide sharp, highly accurate resolutions of the early exercise boundary. On the other hand, for low-to-medium dimensional problems such as the 2D Heston-type QVI, resolving the free boundary with mathematical rigor remains crucial. Conventional numerical discretization approaches, such as finite difference and finite element methods (see [18–20]), are frequently hampered by the curse of dimensionality and severe grid oscillations near free boundaries. Recent research has constructed refined penalty formulations and structure-preserving algorithms to cope with complicated financial constraints and regime shifts [13, 21], as well as the spectral control frameworks established in [22]. Despite these methodological advances, it remains an unresolved and challenging task to achieve high-order convergence rates and accurate free-boundary resolution for multi-dimensional Heston-type utility maximization problems subject to optimal stopping constraints. Given the inherent complexity of the Heston framework, we first develop and validate our numerical scheme in the simpler Black-Scholes setting, and then extend it to the Heston model.

To address this research gap and bridge the trade-off between high accuracy and computational efficiency, the present paper develops a discretization scheme based on Gauss-Lobatto-Legendre (GLL) spectral elements. By taking full advantage of the inherent high-order accuracy and outstanding approximation performance of spectral methods, the proposed scheme achieves faster convergence and more precise free boundary identification compared with traditional finite difference discretizations.

The remainder of this paper is organized as follows. Section 2 presents the theoretical framework and numerical formulation of the proposed method. We first formulate the HJB variational inequality for the utility maximization problem under the Black-Scholes model. On this basis, the penalty method is adopted to reformulate the problem and the corresponding convergence results are established. This section also introduces the GLL spectral discretization scheme for the penalized HJB equation and the implementation of the policy iteration algorithm. Additionally, an extended framework based on the Heston model is formulated, and the corresponding discrete scheme is constructed. Section 3 provides numerical experiments to demonstrate the efficiency and improved convergence performance of the proposed scheme. Section 4 concludes the paper with a summary of the main results and research implications.

Problem formulation and numerical scheme

Model formulation under the Black-Scholes framework

In this paper we consider a fixed time horizon [0,T] with . Let be a complete probability space, W be a standard Brownian motion, and let be the filtration generated by W completed with all P-null sets. Assume the financial market consists of one risk-free bond with dynamic price B and one risky stock with dynamic price S. The bond price process B is assumed to follow the process

where r > 0 is risk-free interest rate. The stock price process S follows

(1)

where and are return and volatility rates of the risky asset. The wealth process is given by

where is a progressively measurable control process and represents the proportion of wealth invested in risky asset . The wealth process is

where denotes the market price of risk. Let denote the set of all admissible progressively measurable investment strategies, and let denote the set of all stopping times adapted to . A random time is a valid stopping time if for all . The value function is defined as the following constrained expected utility maximization problem:

(2)

where , U is a utility function that is continuous, strictly increasing and strictly concave on , is the utility discount factor, and is the minimum wealth threshold. By the dynamic programming principle, it can be deduced that satisfies the HJB variational inequality,

(3)

, where

By the dynamic programming principle, it can be deduced that satisfies the HJB variational inequality,

(4)

, where

Using variable transformation , , and satisfies the following system of HJB variational inequality:

(5)

, where

(6)

with the terminal and boundary conditions

(7)

Penalty reformulation and convergence analysis

In this section, we transform the HJB variational inequality (5) into a penalized HJB equation using the penalty method (see, e.g.[23–25]). We further demonstrate the convergence of the viscosity solution of the resulting penalized equation to that of the original HJB variational inequality.

We define the penalized HJB equation for the HJB variational inequalitie (5) as follows:

(8)

on , and the terminal and boundary conditions are given by

(9)

where and .

For ease of analysis, we write (43) as

(10)

where

(11)

Subsequently, we establish the convergence of the viscosity solution to the penalized HJB equation (43) to that of the original variational inequality (5) as the penalty parameter approaches zero.

For defining the viscosity solution to the HJB variational equations (5), it is useful to express it in the form:

(12)

Since the HJB variational inequality (5) is fully nonlinear and degenerate, a classical smooth solution may fail to exist. We therefore work within the framework of viscosity solutions, which is the standard notion of weak solutions for such equations; see [2, Chapter 4] for a comprehensive treatment in the context of stochastic control. The penalized HJB equation (10), being a uniformly elliptic second-order nonlinear PDE, admits a unique viscosity solution, whose existence and uniqueness are guaranteed by the comparison principle (see [2, Chapter 4]).

We develop a set of limit definitions, viscosity solution characterizations, auxiliary lemmas and a core convergence theorem to analyze the penalized HJB variational inequality. The mathematical constructions presented below hold over the full feasible domain and all admissible parameters, and the derived theoretical results apply uniformly to both Black-Scholes constant-volatility and Heston stochastic-volatility models without restrictive parameter constraints.

Definition 0.1. Suppose the operator is locally Lipschitz continuous, and let be locally bounded. For arbitrary constants , we use B(z,r) to denote the open neighborhood centered at z with radius r. For any state , the upper semi-continuous envelope and lower semi-continuous envelope of are defined as

Definition 0.2. Let denote the positive penalty parameter, and be locally bounded. For any state , the upper weak limit and lower weak limit of are respectively defined by

where the neighborhood notation follows Definition 0.1.

Definition 0.3. Let be the closed state domain, and be locally bounded.

(i) If for all test functions , and every point such that attains a strict local maximum at , the inequality

holds, then is called a viscosity subsolution of (12).

(ii) If for all test functions , and every point such that attains a strict local minimum at , the inequality

holds, then is called a viscosity supersolution of (12).

(iii) If is both a viscosity subsolution and a viscosity supersolution of (12), we term a viscosity solution of (12).

Lemma 0.1. Let be an arbitrary penalty parameter, denote the unique viscosity solution of penalized HJB equation (10) (whose existence and uniqueness are guaranteed by the comparison principle; see [2, Chapter 4]), and define , as the upper and lower weak limits of V(t, x) via Definition 0.2. The following properties hold for all :

  1. (i) is upper semi-continuous on and is lower semi-continuous on .
  2. (ii) Suppose is upper semi-continuous (resp. lower semi-continuous), and is a strict local maximizer of (resp. strict local minimizer of ) for some test function . Then there exists a subsequence satisfying and (resp. ) as . Moreover, is a local maximizer (resp. local minimizer) of for each .

Theorem 0.1. Fix any penalty parameter . Let be the unique viscosity solution of penalized HJB equation (43), and define as the upper and lower weak limits of V(t,x) according to Definition 0.2. Then is a viscosity subsolution and is a viscosity supersolution of the original HJB variational inequality (5).

Proof. Throughout this section, we work under the standard compactness assumption that the state domain is compact, or more generally, that the relevant sequences admit convergent subsequences; see [2, Chapter 4]. This assumption is standard in the viscosity solution framework for convergence proofs and is satisfied under our model settings.

We first establish that is a viscosity subsolution of (5). To this end, consider any test function , and assume that is a strict local maximizer of . It then suffices to verify that the following inequality holds:

(13)

that is,

(14)

Suppose, to the contrary, that condition (13) (equivalently, (14)) is not satisfied, i.e.,

(15)

By Lemma 0.1, there exists a subsequence such that and as , where each is a local maximizer of . Since and condition (14) is continuous, there exists a neighborhood such that the inequality holds for all ,

(16)

By the definition of and (43), we can derive that

(17)

Given that is a viscosity subsolution of (43) and each is a strict local maximizer of , the definition of the viscosity solution for the penalized HJB equation (43) then yields:

(18)

Inequalities (17) and (18) contradict one another. Consequently, the initial assumption (15) must be false. Therefore, at least one of the conditions (13) or (14) holds, which proves that is indeed a viscosity subsolution to (5).

We now prove that is a viscosity supersolution to (5). It suffices to show that for any test function , if is a strict local minimizer of , then the associated differential inequality holds.

(19)

that is,

(20)

Consider the following two cases:

Assume that

(21)

By Lemma 0.1, we may extract a subsequence satisfying and as , with each being a local minimizer of . Since and condition (21) is continuous, one can find a neighborhood where the required inequality holds for all ,

From this inequality, we deduce that for any ,

that is,

(22)

Under the hypotheses that is a viscosity supersolution to (43) and each is a strict local minimizer of for any , the definition of viscosity solution for (43) gives

(23)

This contradiction between (22) and (23) shows that the assumption (21) cannot hold.

Assume that

(24)

and

(25)

By Lemma 0.1, we can select a subsequence such that and as , with each acting as a local minimizer of . Since , and in view of the continuity of (24) and (25), one may choose a neighborhood where the preceding inequality holds for all ,

(26)

and

(27)

For , we can combine (26) with (27) to obtain

that is,

(28)

Since is assumed to be a viscosity supersolution to the penalized HJB equation (43), and each is a strict local minimizer of for all , the definition of viscosity supersolution for (43) yields that

(29)

A contradiction arises from (28) and (29); accordingly, assumptions (24) and (25) cannot hold.

Combining the two cases considered above, we infer that is a viscosity supersolution to (5), i.e., either (19) or (20) is satisfied. □

GLL spectral discretization with policy iteration

In this section, we develop an iterative GLL spectral method to solve the penalized HJB equation (43), based on the framework established in [22].

The Legendre polynomials form an orthogonal set on under a unit weight (see [26, Chapter 3] for their definitions and properties). Building upon them, the GLL quadrature rule is defined to include the two endpoints .

(30)

where denotes the roots of ; these nodes are distinct, with the endpoints and 1 fixed and all other nodes lying strictly in (see [26, Chapter 3] for the standard proof of this property). The corresponding quadrature weights associated with these grid points are defined as

(31)

The GLL basis function is constructed in the form of a Lagrange interpolation polynomial and is defined by

These basis functions possess the interpolation property (see [27, 28]). Moreover, for , the first-order derivative of evaluated at the grid point is

(32)

The second-order derivative of the GLL basis function is also given by

(33)

The computational domain is mapped onto the reference interval via

(34)

On a general interval , the GLL quadrature rule (30) takes the form

(35)

Define polynomial space

where is respectively the transformation of the GLL basis into using (34), namely,

Define inner product

Then using the expansion

to replace V in (43) and taking inner product by for give that

(36)

where

Define temporal grids with , and let . Then with the time discretization of (46), the fully discretized scheme for (43) is defined as

(37)

, where

and or 1 will be specified later.

We adopt GLL quadrature to evaluate the integrals in (47), which preserves spectral accuracy. The resulting stiffness, advection, and mass matrices are given as follows:

Applying GLL quadrature to (47) yields the following discrete system:

(38)

where .

For analytical convenience, we transform the system (48) into the following matrix-vector notation:

Define matrices

(39)

where , , where and J given by (31) and (34) respectively are positive,

and

Then (48) can be written as

(40)

To implement the scheme (40), we employ the following policy iteration algorithm.

Algorithm 1 Iteration policy for solving (40)

1:  for do

2:   let ,

3:   for do

4:    solve

            

5:    where ,

6:    if ,

7:     ley , then quit.

8:    end if

9:   end for

10:  end for

Extended model: Heston stochastic volatility framework

The Black-Scholes (BS) model in the model formulation section under the Black-Scholes framework is established under constant volatility. To further enrich the model framework and introduce time-varying volatility characteristics, this section extends the baseline model to the Heston stochastic volatility framework. This extension adds instantaneous variance as a new state variable to construct a two-dimensional optimal stopping system. Consistent with the modeling framework in the BS model setup described above, this paper retains the same probability space, market assumptions, utility function, admissible strategy set and time transformation rule. Only the asset price dynamics, wealth process and infinitesimal generator are updated to adapt to the stochastic volatility environment. We introduce two correlated Brownian motions and defined on the pre-specified probability space, with correlation coefficient . The instantaneous variance follows a mean-reverting CIR process, and the joint dynamic equations of asset price and variance are formulated as

where represents the mean-reversion speed of variance, denotes the long-run equilibrium variance level, and is the volatility-of-volatility parameter. The Feller condition is imposed to guarantee the non-negativity of the variance process. All other fundamental market parameters remain consistent with the baseline model. The updated wealth process under the stochastic volatility setting is expressed as

Consistent with the model settings in the BS model setup described above, we adopt the same investment strategy constraint, discount factor, wealth threshold and utility function. Correspondingly, we define the forward value function for the extended two-dimensional state system composed of wealth x and instantaneous variance v as

The value function follows the same optimization objective and wealth constraint as the baseline model. Based on the dynamic programming principle applied in the BS model setup, the value function satisfies the variational inequality with the updated Heston infinitesimal generator. We employ the identical time transformation and define the backward value function . The backward variational inequality maintains the same min-max structure as the baseline framework, and the Heston infinitesimal generator is given by

(41)

Following the unified economic specification criterion of the baseline model, we define the terminal and boundary conditions for the Heston model over the feasible domain of time, wealth and variance:

(42)

The terminal condition specifies the utility payoff at maturity determined by excess wealth, while the lower and upper boundary conditions follow the identical constraint rules of the baseline model, which are valid for all feasible variance values within the defined interval.

Following the penalty equation derivation framework established in the penalty reformulation and convergence analysis section, we can directly obtain the penalty HJB equation under the Heston model,

(43)

on , and the terminal and boundary conditions are given by

(44)

The convergence of the viscosity solution of the resulting penalized equation to that of the original HJB variational inequality is consistent with the BS model. Thus, the relevant proof is not repeated here.

Now we develop an iterative GLL spectral method to solve the penalized HJB equation (43). The computational domain is mapped onto the reference interval via

(45)

Define polynomial space

where is respectively the transformation of the GLL basis into using (45), namely,

Then using the expansion

to replace V in (43) and taking inner product by and for and give that

(46)

where

Define temporal grids with , and let . Then with the time discretization of (46), the fully discretized scheme for (43) is defined as

(47)

where

and or 1 will be specified later.

Applying GLL quadrature to (47) yields the following discrete system:

(48)

where . Now let’s discuss the value of ,

We apply the policy iteration scheme in Algorithm 1 to compute the solution of (48). The overall iteration logic is consistent, with only slight adjustments needed, and we thus skip detailed restatement.

Numerical examples

In this section, we conduct numerical experiments to assess the performance of the proposed GLL spectral method for the penalized HJB equations. The results demonstrate linear convergence in time and exponential convergence in space. Furthermore, the exercise boundaries are accurately captured and visualized, and we verify the convergence of the penalized solution to that of (5) as the penalty parameter .

Example 0.1. This example employs two utility functions to examine the convergence of Algorithm 1: the power utility and the non-HARA utility function , where (see [29]). To comprehensively evaluate the robustness of the numerical scheme, the values of the risk-free rate (r), return rate (), volatility of risky assets (), discount factor (), and minimum wealth threshold value (K) in the HJB equation are specified into two distinct parameter sets:

Set I: .

Set II: .

For the numerical experiment, we take , the initial wealth x0 = 1, and the investment horizon T = 0.1. Meanwhile, the iteration in Algorithm 1 stops when the tolerance reaches 10–8. The boundary conditions are specified below:

Benchmark values are obtained via computations using a dense discretization with n = 64 spatial and m = 128000 temporal meshes, and a penalty parameter . Throughout the experiments, all relative errors are measured in the global L2-norm. Fig 1, which plots the data from Table 1, demonstrates that the GLL spectral method achieves exponential convergence in space under both parameter sets. Correspondingly, Fig 2 (based on Table 2) illustrates its linear convergence in time across different settings. The evolution of relative L2 errors with increasing , displayed in Fig 3, confirms the convergence of the penalized HJB solution to that of the original variational inequality (5) as for both Set I and Set II (Table 3).

thumbnail
Table 1. Spatial convergence of the GLL spectral method with respect to n (m = 214, ).

https://doi.org/10.1371/journal.pone.0359303.t001

thumbnail
Table 2. Temporal convergence of the GLL spectral method with respect to m (n = 64, ).

https://doi.org/10.1371/journal.pone.0359303.t002

thumbnail
Table 3. Convergence of the penalized HJB equations to the original QVI with respect to (n = 64, m = 214).

https://doi.org/10.1371/journal.pone.0359303.t003

thumbnail
Fig 1. Convergence of penalized HJB equations toward the HJB variational inequality as n varies.

(m = 214), .

https://doi.org/10.1371/journal.pone.0359303.g001

thumbnail
Fig 2. Convergence of penalized HJB equations toward the HJB variational inequality as m varies.

(n = 64, ).

https://doi.org/10.1371/journal.pone.0359303.g002

thumbnail
Fig 3. Convergence of penalized HJB equations toward the HJB variational inequality as varies.

(n = 64, m = 214).

https://doi.org/10.1371/journal.pone.0359303.g003

Example 0.2. This example extends the framework to a two-dimensional Heston stochastic volatility model to investigate the performance of the numerical method. The value function is governed by the wealth x and the variance v. We adopt the power utility function with the minimum wealth threshold K = 1. The baseline parameters of the Heston model and the market are chosen as follows:

For the numerical discretization and simulation, the spatial domain is chosen as , the investment horizon is set to T = 0.1, and the inner-layer iteration tolerance of algorithm is 10–8. The reference benchmark solutions are computed using a refined mesh with n1 = 16, n2 = 16, m = 128, and a penalty parameter .

To comprehensively analyze the convergence behavior of the proposed GLL spectral scheme, all relative errors are evaluated in the global L2-norm. Similar to the one-dimensional case, Table 4 and Fig 4 demonstrates the method’s high-order spatial convergence, linear temporal convergence, and asymptotic convergence as the penalty parameter increases.

thumbnail
Table 4. Sensitivity analysis of the GLL spectral method for the 2D Heston QVI with respect to , and .

https://doi.org/10.1371/journal.pone.0359303.t004

thumbnail
Fig 4. The relative L2-norm errors with respect to the spatial nodes (), temporal steps (m), and the penalty parameter ().

https://doi.org/10.1371/journal.pone.0359303.g004

Conclusions

In summary, this work addresses a utility maximization problem involving optimal stopping, mathematically formulated as a HJB QVI. We develop a novel computational framework that integrates GLL spectral discretization with a penalization method, implemented via a policy iteration scheme. The convergence of the penalized system is theoretically established. Finally, the efficacy and precision of the proposed methodology are verified through a comprehensive set of numerical experiments.

Supporting information

S1 File. Source code used to reproduce the numerical experiments and results reported in this study.

https://doi.org/10.1371/journal.pone.0359303.s001

(RAR)

References

  1. 1. Merton RC. Stochastic Optimization Models in Finance. Academic Press. 1975. p. 621–61.
  2. 2. Pham H. Continuous-time stochastic control and optimization with financial applications. Springer. 2009.
  3. 3. Karatzas I, Wang H. Utility Maximization with Discretionary Stopping. SIAM J Control Optim. 2000;39(1):306–29.
  4. 4. Dayanik S, Karatzas I. On the optimal stopping problem for one-dimensional diffusions. Stochastic Processes and their Applications. 2003;107(2):173–212.
  5. 5. Ceci C, Bassan B. Mixed optimal stopping and stochastic control problems with semicontinuous final reward for diffusion processes. Stochastics: An International Journal of Probability and Stochastic Processes. 2004;76(4):323–37.
  6. 6. Henderson V, Hobson D. An explicit solution for an optimal stopping/optimal control problem which models an asset sale. Ann Appl Probab. 2008;18(5).
  7. 7. Huang Y, Forsyth PA, Labahn G. Combined Fixed Point and Policy Iteration for Hamilton--Jacobi--Bellman Equations in Finance. SIAM J Numer Anal. 2012;50(4):1861–82.
  8. 8. Guan C, Li X, Quan Xu Z, Yi F. A stochastic control problem and related free boundaries in finance. Mathematical Control & Related Fields. 2017;7(4):563–84.
  9. 9. Ma J, Xing J, Zheng H. Global Closed-Form Approximation of Free Boundary for Optimal Investment Stopping Problems. SIAM J Control Optim. 2019;57(3):2092–121.
  10. 10. Covei D-P. New insights into population dynamics from the continuous McKendrick model. Physica A: Statistical Mechanics and its Applications. 2026;692:131499.
  11. 11. Cahyaningtias S, Jevtić P, Gardner C, Pirvu TA. Optimal Investment Considerations for a Single Cohort Life Insurance Portfolio. Risks. 2025;13(12):233.
  12. 12. Heston SL. A Closed-Form Solution for Options with Stochastic Volatility with Applications to Bond and Currency Options. Rev Financ Stud. 1993;6(2):327–43.
  13. 13. Tour G, Thakoor N, Ma J, Tangman DY. A Spectral Element Method for Option Pricing Under Regime-Switching with Jumps. J Sci Comput. 2020;83(3).
  14. 14. Gatheral J, Jaisson T, Rosenbaum M. Volatility is rough. Quantitative Finance. 2018;18(6):933–49.
  15. 15. Fouque J-P, Hu R. Optimal Portfolio under Fast Mean-Reverting Fractional Stochastic Environment. SIAM J Finan Math. 2018;9(2):564–601.
  16. 16. Han J, Jentzen A, E W. Solving high-dimensional partial differential equations using deep learning. Proc Natl Acad Sci U S A. 2018;115(34):8505–10. pmid:30082389
  17. 17. Becker S, Cheridito P, Jentzen A. Deep optimal stopping. Journal of Machine Learning Research. 2019;20(74):1–25.
  18. 18. Jensen M, Smears I. On the Convergence of Finite Element Methods for Hamilton--Jacobi--Bellman Equations. SIAM J Numer Anal. 2013;51(1):137–62.
  19. 19. Smears I, Süli E. Discontinuous Galerkin Finite Element Approximation of Hamilton--Jacobi--Bellman Equations with Cordes Coefficients. SIAM J Numer Anal. 2014;52(2):993–1016.
  20. 20. Reisinger C, Forsyth PA. Piecewise constant policy approximations to Hamilton–Jacobi–Bellman equations. Applied Numerical Mathematics. 2016;103:27–47.
  21. 21. Ma J, Ma J. Finite Difference Methods for the Hamilton–Jacobi–Bellman Equations Arising in Regime Switching Utility Maximization. J Sci Comput. 2020;85(3).
  22. 22. Ma JT, Lei M, Wu H. Spectral algorithms with policy iterations for the stochastic control problems. Automatica. 2025.
  23. 23. Azimzadeh P, Bayraktar E, Labahn G. Convergence of Implicit Schemes for Hamilton--Jacobi--Bellman Quasi-Variational Inequalities. SIAM J Control Optim. 2018;56(6):3994–4016.
  24. 24. Li W, Wang S. Penalty approach to the HJB equation arising in European stock option pricing with proportional transaction costs. Journal of Optimization Theory and Applications. 2009;143(2):279–93.
  25. 25. Zhang K, Teo KL, Swartz M. A Robust Numerical Scheme For Pricing American Options Under Regime Switching Based On Penalty Method. Comput Econ. 2013;43(4):463–83.
  26. 26. Shen J, Tang T, Wang LL. Spectral Methods: Algorithms, Analysis and Applications. Springer. 2011.
  27. 27. Hesthaven JS, Gottlieb S, Gottlieb D. Spectral Methods for Time-Dependent Problems: Polynomial Expansions. Cambridge University Press. 2007.
  28. 28. Quarteroni AM. Numerical Models for Differential Problems. Springer; 2009.
  29. 29. Bian B, Zheng H. Turnpike property and convergence rate for an investment model with general utility functions. Journal of Economic Dynamics and Control. 2015;51:28–49.