Examining the Feasibility of the Sturm–Liouville Theory for Ross Recovery

: Recent studies have suggested that it is feasible to recover a physical measure from a risk-neutral measure. Given a market state variable modeled as a Markov process, the key concept is to extract a unique positive eigenfunction of the generator of the Markov process. In this work, the feasibility of this recovery theory is examined. We prove that, under a restrictive integrability condition, recovery is feasible if and only if both endpoints of the state variable are limit-point. Several examples with explicit positive eigenfunctions are considered. However, in general, a physical measure cannot be recovered from a risk-neutral measure. We provide a ﬁnancial and mathematical rationale for such recovery failure.


Introduction
This study is aimed at examining the relationship between physical measures and risk-neutral measures. A physical measure describes the actual probability distribution of asset prices, whereas a risk-neutral measure is a theoretical measure to determine the prices of financial derivatives. It is commonly accepted that a risk-neutral measure cannot be used to infer a physical measure. However, Ross [1] and Carr and Yu [2] have recently argued that, given strong assumptions, a risk-neutral measure can be used to determine a physical measure. In this work, we review the methodologies adopted by these authors and give a further improved analysis.
The main arguments presented in the above-mentioned articles are as follows: Ross [1] considered an economy with a state variable modeled as a discrete-time finite-state Markov process in its steady-state probability distribution. The author exploited the concept of the utility of a representative agent and analyzed the optimizing behavior of the representative agent. Ross proved that the physical measure can be determined in terms of an eigenvalue and eigenvector of the generator matrix of the Markov process. Carr and Yu [2] presented a similar argument, which applies to a state variable modeled as a continuous-time univariate Markov diffusion process restricted to a bounded interval. The authors employed the concept of Long's numeraire portfolio driven by the state variable, instead of the concept of the utility of a representative agent. They demonstrated that the physical measure can be determined in terms of an eigenvalue and eigenfunction of the infinitesimal generator of the Markov diffusion process. Both these arguments involved deep economic and financial concepts and mathematical analyses.
A crucial step performed in the above-mentioned studies is the uniqueness (up to a scalar multiple) of the positive eigenvector or eigenfunction of the generator of the Markov process or Markov diffusion, respectively. This generator may be a stochastic matrix, as considered by Ross [1], or a second-order differential operator, as considered by Carr and Yu [2]. Ross employed the Perron-Frobenius theorem to extract the unique positive eigenvector. Along the same lines, Carr and Yu exploited the regular Sturm-Liouville (SL) theory to extract the unique positive eigenfunction. Finally, using this unique eigenvector or eigenfunction, a physical measure could be determined from the risk-neutral measure . Ross recovery has been studied by many authors from diverse economic viewpoints. Borovička et al. [3] extracted a positive martingale component of the stochastic discount factor process by using the Perron-Frobenius theory, which could be used to recover a probability measure that absorbs the long-term risk adjustments. Jensen et al. [4] characterized the cases in which a physical measure could be recovered from the risk-neutral measure for several future time periods. The authors concluded that recovery is feasible if the number of maturities with observable prices is higher than the number of states of the economy. Park [5] provided a sufficient condition that recovery is possible in the continuous-time model when the state variable is transient under the physical measure. He proved that one-parameter recovery is possible if the state variable is not attracted to the left (or right) boundary. Qin and Linetsky [6] demonstrated that a physical measure can be recovered from a risk-neutral measure if the state variable is recurrent under the physical measure. Walden [7] analyzed the problem of recovering a physical measure from the observed option prices when the state variable is modeled as an unbounded diffusion process. He derived a necessary and sufficient condition for recovery in terms of the unbounded diffusion process.
Furthermore, several methods have been developed to implement the Ross recovery theorem for empirical analyses. Audrino et al. [8] conducted an empirical analysis of the Ross recovery theorem. The researchers investigated whether the recovery yields predictive information beyond what can be gleaned from the risk-neutral measure and concluded that market timing strategies based on the recovered measure significantly outperform their risk-neutral counterparts. Bakshi et al. [9] studied the reliability of the Ross recovery theorem. It was observed that the empirical results undermine the implications of the recovery theorem, and the authors rejected the assumption that the reciprocal of the pricing kernel is transition-independent. Dillschneider and Maurer [10] generalized the Ross recovery theorem to continuous-state spaces. Furthermore, building on the theoretical results, the researchers proposed a non-parametric approach to empirically estimate the recovered physical measure. Flint and Maré [11] investigated a regularization methodology for extracting a physical measure and implemented this method on a history of stochastic volatility inspired surfaces. Kiriu and Hibiki [12] presented a method to accurately estimate a physical measure by using the Ross recovery theorem and demonstrated the effectiveness of this approach by performing a numerical analysis with hypothetical data.
In this article, we raise questions related to the economic/financial arguments in the existing studies. All the past studies of Ross recovery have employed the market models developed by either Ross [1] or Carr and Yu [2]. Under these models, we agree that the risk-neutral measure contains some information regarding the physical measure; however, we do not believe that the physical measure can be uniquely determined by the risk-neutral measure. In the Ross model, the state variable has a finite-state space. This assumption is unrealistic as the possible stock prices are finite and, thus, once a stock price hits a maximum value, it must decrease. Similarly, once a stock price hits a minimum value, it must increase. In contrast, in an actual financial market, the stock prices can always increase or decrease further. We show, in Section 5.2, that if the state variable is infinite, a physical measure cannot be uniquely determined by the risk-neutral measure. A similar issue arises in the model of Carr and Yu [2], who use the regular Sturm-Liouville (SL) theory to extract a unique eigenfunction h (Observation 1).
The remaining paper is structured as follows: The original argument of the recovery theorem presented by Ross [1] is described in Section 2. Section 3 demonstrates the regular SL theory as a mathematical tool and later describes the continuous-time model developed by Carr and Yu [2]. The necessary details of the two papers are recalled to establish our argument more effectively. Section 4 discusses the economic and financial limits of the recovery arguments presented by Ross [1] and Carr and Yu [2]. Furthermore, we provide a slightly modified version of the Ross recovery to overcome these limits, and several examples with explicit solutions are studied. In Section 5, we discuss the impossibility of the Ross recovery theory in general circumstances. The final section summarizes the key findings of this work.

Original Ross Recovery Theorem
This section provides a brief review of the recovery theorem provided by Ross [1]. Ross suggested that a physical measure can be recovered from a risk-neutral measure under a discrete-time and finite-state economy. Using the Perron-Frobenius theorem (Appendix A), he concluded that only one possible physical measure can be chosen. We examine that this argument leads to an eigenvalue problem for a square matrix which satisfies the hypotheses of the Perron-Frobenius theorem. The approach outlined in this section is standard in financial economics, and Chapter 4 of [13] is a useful reference. The terminologies and methodologies referred to are from Carr and Yu [2].
The assumptions of the original Ross recovery theorem are as follows: Let n ∈ N be the number of possible states of the market. The time periods are indexed by integers t ∈ T := {0, 1, · · · , T}, and the state variable at time t is denoted as X t with X t ∈ {1, 2, . . . , n}. We ignore the distinction between X t ∈ {1, 2, . . . , n} being the state or the label of the state. The physical transition probabilities and the risk-neutral transition probabilities are denoted by f ij and p ij , respectively, and these transition probabilities are independent of the time t. In other words, f ij = Prob(X t+1 = j | X t = i) and (if X t = i) p ij is the market price at period t of a contract that pays one unit of currency at the next time period if X t+1 = j, and is nothing if X t+1 = j. As is well-known, p ij is the Arrow-Debreu state price. These probabilities are positive; that is, f ij > 0 and p ij > 0 for all 1 ≤ i, j ≤ n.
Ross also assumed that there exists a representative agent in the market, which satisfies the following conditions: (i) The consumption C t at time t of the representative agent depends on the time and the state variable; that is, C t = C(X t , t) for some function C(·, ·). (ii) The utility of the representative agent is dependent on the consumption and is independent of the time; hence, the utility at time t can be expressed by U(C t ) for the utility function U(·). (iii) The short-interest rate at time t, denoted as r t , is determined by the state variable X t ; that is, r t = r(X t ) for some function r(·).
We consider the representative agent in one time period (e.g., between t = 0 and t = 1), as the state variable (X t ) t∈T is time-homogeneous. At t = 0, we assume that the state is X 0 = i, and the representative agent has an initial endowment K > 0. The agent consumes c i0 = C(i, 0) at t = 0, and the remainder is invested in the Arrow-Debreu securities: where c j1 denotes the amount of the j th h security invested. At t = 1, if the state is j, the agent earns c j1 . The agent consumes c j1 and obtains the utility U(c j1 ). Through these consumptions, the agent wants to maximize where 0 < δ < 1 is a discount factor. The agent confronts this maximization problem under the budget constraint given in Equation (1).
To solve this, we apply the Lagrangian method. We define The first-order condition with respect to c i0 and c j1 yields Eliminating λ, we conclude that Ross assumed that the market is at a steady state, implying that the consumption depends on the state, but not on the time; that is, c j0 = c j1 for all j. Hence, denoting c j = c j0 = c j1 , we have We sum over the index j and use ∑ N j=1 f ij = 1. After some manipulation and considering In matrix notation, by defining P = (p ij ), π = (π j ), the above equation becomes Here, the matrix P is known; however, π and δ are unknown. The discount factor δ and all entries of π should be positive. The Perron-Frobenius theorem (Appendix A) states that there exist a unique positive number δ and a unique vector π with positive entries up to constant multiples satisfying Equation (4). Once δ and π are obtained, we recover ( f ij ) 0≤i,j≤n using Equation (3).

Model Proposed by Carr and Yu
Carr and Yu [2] developed the Ross recovery theorem in two significant aspects. One aspect is that the model assumes a continuous-time and continuum-state economy, and the other aspect is that the model exploits the martingale approach, instead of using the concept of a representative agent. In this section, we review the model of Carr and Yu and describe their methodology to recover the physical measure.

Principal Pair
This section demonstrates how the market was modeled by Carr and Yu [2]. The model setup described in this section may appear simpler than the original setup of Carr and Yu. However, they are equivalent. This simplified setup is referred to from Park [5]. Let (Ω, F , P) be a probability space having a Brownian motion B = (B t ) t≥0 , and let (F t ) t≥0 be the completed filtration generated by B. The measure P is referred to as the physical measure and is assumed to be unknown. A money market account is a progressively measurable positive process, denoted by G = (G t ) t≥0 . Let Q be a risk-neutral measure; that is, P and Q are equivalent and each asset discounted by G is a Q-martingale. Define Σ = (Σ t ) t≥0 as a continuous modification of the process (E P [ dQ dP |F t ]) t≥0 . According to the martingale representation theorem, there exists a progressively measurable process ρ = (ρ t ) t≥0 such that ρ is locally square-integrable and the stochastic differential equation (SDE) dΣ = −ρ t Σ t dB t holds. According to the Girsanov theorem, a process is a Q-Brownian motion. Here, the risk-neutral Q and the Brownian motion W are assumed to be known. We define the reciprocal of the pricing kernel as Assumption 1. In the market, there exists a state variable X = (X t ) t≥0 with state space I : The process X is a time-homogeneous Markov diffusion satisfying The functions k and σ are continuous on I, and σ is positive.

Assumption 2.
The money market account is determined by the state variable. More precisely, there exists a positive continuous function r on I such that Assumption 3. Assume that the reciprocal of the pricing kernel L is transition-independent; that is, there exists a positive function h ∈ C 2 (I) and a real number λ such that In this case, it is considered that λ, h, and (λ, h) are the principal value, principal function, and principal pair of the market, respectively.
The basis of the recovery theory is finding the principal pair (λ, h) and then obtaining the physical measure P by setting the Radon-Nikodym derivative According to the Girsanov theorem, the state variable X follows under the physical measure. Under Assumptions 1-3, we show that the problem of finding the principal pair can be transformed into a second-order differential equation problem. Applying the Itô formula to Equation (5) yields Furthermore, by Equation (6), we have By comparing the two SDEs, it follows that where L is an operator defined on C 2 (I) by for x ∈ I. Finally, we have the following theorem.
Theorem 1. Under Assumptions 1-3, let (λ, h) be the principal pair of the market so that the process M h := (e λt− t 0 r(X s ) ds h(X t )/h(X 0 )) t≥0 in Equation (7) is a martingale under the measure Q. Then the pair (λ, h) satisfies Lh = −λh on I .
Conversely, if a pair (λ, h) with λ ∈ R and h ∈ C 2 (I) satisfies Equation (9), then the process M h is a local martingale under the measure Q.

Remark 1.
For an eigenvalue λ ∈ R and a positive eigenfunction h ∈ C 2 (I) of Equation (9), the process M h is a local martingale under the measure Q. However, to ensure that the change of measure is well-defined (Equations (5) and (6)), one needs to ensure that this process M h is a martingale. There is a useful criterion (Theorem 5.1.8 of [14]) to check whether this process is a martingale or not. Let x 0 ∈ I = (a, b). The process M h is a martingale if and only if

Regular Sturm-Liouville Theory
To find the principal pair, Carr and Yu [2] employed the regular SL theory. The mathematical tool corresponding to the Perron-Frobenius theorem in the Ross model is the regular SL theory in the model of Carr and Yu. Recall that the principal pair (λ, h) satisfies Lh = −λh on I presented in Equation (9). This is an eigenvalue-eigenfunction problem, as the unknown is a pair (λ, h).
Equation (9) can be transformed as follows: Define for any reference point x 0 ∈ I. Let A be an operator, given as The function w is known as the weight function. Note that p, q, and w are continuous, and p > 0 and w > 0 on I. It can be easily shown that Equation (9) is equivalent to The operator A and Equation (12) are called the SL operator and SL equation, respectively. A regular SL operator has advantageous properties. We say that an SL operator A (or an SL equation and is singular if it is not regular. A regular equation Ah = λwh on L 2 w (I) with the boundary conditions of the form has advantageous properties: (i) The spectrum consists of eigenvalues that are discrete, real, bounded below, and have no cluster point. We can denote these values as (ii) An eigenfunction h n ∈ L 2 w (I) corresponding to the eigenvalue λ n has n zeros on the domain I. Therefore, h 0 has no zeros and can be taken as positive.

Methodology Employed by Carr and Yu
We impose an additional assumption on the principal function h to apply the SL theory. Recall that L 2 w (I) is the space defined in Equation (11).

Assumption 4. The principal function h is in L 2 w (I).
The methodology employed by Carr and Yu is as follows: Suppose that the operator A in Equation (12) is regular, and a suitable boundary condition (Equation (13)) is given on a bounded domain I = (a, b). Then, there exists a smallest eigenvalue λ 0 of the operator A, as stated in Equation (14). We denote the corresponding eigenfunction by h 0 (·) (with the normalization h 0 (X 0 ) = 1). According to the regular SL theorem, h 0 (·) is the unique positive solution (up to constant multiples) such that Equation (12) holds. Thus, (λ 0 , h 0 ) is the only candidate for the principal pair, and it follows that L t = e λ 0 t h 0 (X t ), t ≥ 0. In conclusion, one can recover a physical measure from the risk-neutral measure.
However, the authors cannot see any reasonable arguments for the assumptions of this approach:

Observation 1. Consider the methodology employed by Carr and Yu.
(1) There is no economic or financial rationale to believe that h lies in L 2 w (I) (Assumption 4). (2) The SL equations are not regular for most financially meaningful models.
(3) There are no economic or financial reasons to impose such a boundary condition (Equation (13)).
The rest of this paper corresponds to our investigation of overcoming these assumptions. It is relatively straightforward to overcome (2), by applying the singular SL theory. Furthermore, (3) can be overcome by considering a limit-cycle/limit-point boundary classification. It is later demonstrated that no boundary conditions are required if and only if both the boundary endpoints of the domain are limit-point. Section 4 presents the method applied to overcome (2) and (3). Unfortunately, it appears that (1) cannot be overcome; we explore why it fails in Section 5.

Singular Sturm-Liouville Theory
This section develops the Ross recovery theorem in the context of the model of Carr and Yu. First, the concept of the limit-cycle (LC)/limit-point (LP) classification of the endpoints is introduced. Subsequently, we prove that recovery is feasible if and only if both the endpoints are LP, which is one of main findings of the present work. Finally, explicit recovery formulas are provided for several cases, including Brownian motion, geometric Brownian motion, the Cox-Ingersoll-Ross (CIR) process, and the constant elasticity of variance (CEV) process. Similar definitions can be provided for b. It is well-known that the LC/LP classification is independent of λ ∈ R (Section 7.2 and the last paragraph on page 145 in [15]). Now, we state a criterion for the LC/LP classification. The following proposition is simple, but is particularly useful for our analysis. For the proof, see ( [15] Theorem 7.4.1).

Proposition 1.
An endpoint a is LP if q ≥ kw on (a, c) and w ∈ L 1 (a, c) for some k ∈ R and c ∈ (a, b). A similar criterion holds for b.

Recovery Theory
In this section, we investigate a necessary and sufficient condition under which a physical measure can be recovered from a risk-neutral measure. The condition is stated in the context of the LC/LP classification.

Definition 1.
Under Assumptions 1-4, we say that a physical measure can be recovered from a risk-neutral measure if the SL Equation (9) (or, equivalently, Equation (12)) has a unique (up to constant multiples) positive eigenfunction in L 2 w (I). In this case, we say that recovery is feasible.
The main finding of this work pertains to Theorem 3, which can be easily obtained from Theorem 2. Both Theorems 2 and 3 are original results of this paper. (12) has at least one positive eigenfunction h ∈ L 2 w (I).  If the SL equation has both LP endpoints, the unique positive eigenfunction h (up to constant multiples) is the principal function. Let λ be the eigenvalue corresponding to h, then

Remark 2.
When the SL equation has both LP endpoints, the process M h in Theorem 1 induced by the unique positive eigenfunction h (up to constant multiples) and the corresponding eigenvalue λ is a local martingale under the measure Q, but may not be a true martingale. As discussed in Remark 1, the true martingale property is necessary to ensure that the change of measure in Equations (5) and (6) is well-defined. We emphasize that the true martingale property is not automatically implied by Theorems 2 and 3. For all examples in Section 4.3, this process M h is a true martingale, and this can be checked case by case using the criterion in Equation (10).

Examples
In this section, we provide some examples of the recovery theory with closed-form solutions. In particular, we consider four processes: Brownian motion, geometric Brownian motion, the CIR process, and the CEV process.

Brownian Motion
Suppose that the state variable X follows a scaled Brownian motion: for σ > 0, and the short rate is r(X t ) = 1 2 X 2 t at time t ≥ 0. The range of the state variable is I = (−∞, ∞). Then, Equation (9) becomes 1 2 for x ∈ R. Both endpoints −∞ and ∞ are LP, by Proposition 1. It can be verified that h 0 (x) = e − 1 2σ x 2 is a unique positive eigenfunction (up to constant multiples), and its eigenvalue is λ 0 = σ 2 . Then, the reciprocal of the pricing kernel is and the state variable follows dX t = −σX t dt + σ dB t under the physical measure. The dynamics of the short rate r t = r(X t ), t ≥ 0 are , the processB is a Brownian motion where sign(x) = 1 if x ≥ 0 and sign(x) = −1 if x < 0. Then, which means that the short rate is a CIR process under the physical measure.

Geometric Brownian Motion
Consider a state variable X which follows the geometric Brownian motion dX t = µX t dt + σX t dW t , X 0 = 1, for µ = 1 2 σ 2 . The range of the state variable is I = (0, ∞). We define α = 1 − 2µ σ 2 and assume that the short rate function is r(x) = 1 2 α 2 σ 2 (α ln x + 1 2 ) 2 for x ∈ I. Equation (9) becomes for x ∈ I. Both endpoints 0 and ∞ are LP by Proposition 1. It can be shown that h 0 (x) = e − 1 2 α 2 (ln x) 2 is a unique positive eigenfunction (up to constant multiples), and the eigenvalue is λ 0 = 5 8 α 2 σ 2 . Subsequently, the reciprocal of the pricing kernel is , t ≥ 0 and the state variable follows under the physical measure. The dynamics of the short rate r t = r(X t ), t ≥ 0 are

CIR Process I
Consider the state variable X modeled by the CIR process for θ, κ, σ > 0 and κθ ≥ σ 2 . As the Feller condition is satisfied, the process stays positive. The state space of X is I = (0, ∞). We assume that the short rate is r(X t ) = X t at time t ≥ 0. Both the endpoints are LP, as shown in Appendix B. Equation (9) becomes Define Then, it can be shown that h 0 (x) = e −m(x−1) is a unique positive eigenfunction (up to constant multiples) and that its eigenvalue is λ 0 = mκθ. The reciprocal of the pricing kernel is L t = e mκθt−m(X t −1) , t ≥ 0, and the state variable follows  (15) for θ, κ, σ > 0 and κθ ≥ σ 2 . The state space of X is I = (0, ∞). Assume that the short rate is r(X t ) = kθ X t at time t ≥ 0. Then, Equation (9) becomes Both endpoints 0 and ∞ are LP by Appendix C. Then, the function h 0 (x) = x is the unique positive eigenfunction (up to constant multiples) and its eigenvalue is λ 0 = κ. The reciprocal of the pricing kernel is L t = e κt X t , t ≥ 0, and the state variable follows under the physical measure. The dynamics of the short rate r t = r(X t ), t ≥ 0 are This implies that the short rate is a 3/2 model under both the risk-neutral measure and the physical measure. This 3/2 interest rate model has been studied in [17].
Remark 3. This model originates from the Laguerre equation. Refer to Appendix C for more details.

CEV Process
Consider the state variable X modeled by the CEV process for µ, σ > 0 and β > 0. The state space of X is I = (0, ∞) ([18] Section 16.1.2). Assume that the short rate function is r(x) = r 0 x −2β for a positive constant r 0 . Then, Equation (9) becomes Both the endpoints 0 and ∞ are LP by Proposition 1. The function h 0 (x) = xe l(x −2β −1) is a unique positive eigenfunction (up to constant multiples) and its eigenvalue is The reciprocal of the pricing kernel is L t = X t e λ 0 t+l(X −2β t −1) , t ≥ 0, and the state variable follows under the physical measure. The short rate r t = r(X t ), t ≥ 0 satisfies This implies that the short rate is a CIR process under both the risk-neutral measure and the physical measure.

Impossibility of Recovery
In this section, we argue that, in general, recovery is impossible. The integrability condition h ∈ L 2 w (I) is essential for the uniqueness of the positive eigenfunction in the methods of Carr and Yu [2] and in Theorem 3. If this integrability condition is violated, then uniqueness does not hold.

Integrability Condition
We explore the following model as an example which has non-unique positive eigenfunctions. This model was also investigated by Carr and Yu [2]. Consider the state variable X given by The range of X is I = (0, π). The short interest rate is assumed to be r(X t ) = csc 2 (X t ), t ≥ 0. Equation (9) becomes on I. This equation is singular and both the endpoints are LP. The eigenvalues are of the form λ = l(l + 1) for l > 1. The eigenfunctions of these eigenvalues are the associated Legendre polynomials P l (z), evaluated at z = cos(x). Among them, P 1 (cos(x)) = sin(x) is the only positive eigenfunction with eigenvalue λ = 2. The reciprocal of the pricing kernel is L t = e 2t sin(X t ) sin(X 0 ) , t ≥ 0 , and the state variable follows under the physical measure. However, we can find another solution without the integrability condition. For example, the function h(x) = 1 sin(x) is also an eigenfunction, with eigenvalue λ = 0. The reciprocal of the pricing kernel is , t ≥ 0 , and the state variable follows under the physical measure. Without the integrability condition, in fact, Equation (19) has an infinite number of positive eigenfunctions (Theorem 4).
The same issue arises in the original analysis of Ross. The set of possible states of the economy is denoted as S. Ross assumes that S is finite. We believe that this assumption is unrealistic. Instead, we can consider a countable-state space: With the assumption that S = Z, the state variable can be equal to any number in Z. In this case, the uniqueness theorem for the positive eigenvalue and the eigenvector with positive components requires some integrability conditions. As an example, let a k = 2 −k 2 −2 and consider the following infinite-dimensional matrix P = (p ij ) i∈Z,j∈Z defined by p ij = a j−i .
We fix an arbitrary z > 0 and define δ = ∑ ∞ k=−∞ a k z k . Then, a vector π defined by π = (z k ) k∈Z is an eigenvector of P, and the associated eigenvalue is δ : As z can be an arbitrary positive number, the uniqueness theorem of the Perron-Frobenius theorem does not hold. In this case, if we restrict our attention to π ∈ l 2 (Z) or π ∈ {bounded sequences on Z}, then π = (1) k∈Z is a unique eigenvector (up to constant multiples) with positive components. In this analysis, a k = 2 −k 2 −2 is just one of the possible examples. Any other sequence {a k } k∈Z can be chosen if ∑ ∞ k=−∞ a k ≤ 1 and ∑ ∞ k=−∞ a k z k < ∞ for an arbitrary z. For instance, a −1 = 1 4 , a 0 = 1 2 , a 1 = 1 4 , and a k = 0 for k = −1, 0, 1.

Non-Uniqueness of Recovery
As described previously, a physical measure cannot be uniquely determined from a risk-neutral measure without employing the integrability condition. Indeed, for any eigenpair (λ, h) with h(·) > 0, the recovered measure with respect to (λ, h) can be a candidate for a physical measure. In fact, there is no financial or economic rationale to believe that h lies in L 2 w (I). Without the integrability condition, the approach categorically fails to recover the physical measure. Theorem 4. Suppose Lh = −λh has a positive solution h for some λ ∈ R. Then, for anyλ withλ < λ, Lĥ = −λĥ has a positive solutionĥ.
The proof can be obtained by using the following theorem. By setting and applying the Bôcher theorem, we obtain Theorem 4.

Conclusions
In this study, we reviewed the approaches of Ross [1] and Carr and Yu [2] for recovering a physical measure from a risk-neutral measure. Ross assumed a discrete-time and finite-state space and employed the concept of the utility of a representative agent. Carr and Yu developed the Ross recovery theory to a continuous-time setting with the martingale concept. They proposed an alternative, utility-free means of arriving at the same financial conclusion. The key assumption was that the reciprocal of the pricing kernel is transition-independent.
Carr and Yu demonstrated that the reciprocal of the pricing kernel is determined by a function h which satisfies the SL Equation (12). We proved that, under the assumption that h is in L 2 w (I), recovery is feasible if and only if the SL equation has both LP endpoints. In addition, explicit recovery formulas were provided for several examples. In a general setting, recovery is not feasible as, without the integrability condition h ∈ L 2 w (I), there are infinitely many positive eigenfunctions. Thus, a physical measure cannot uniquely determined from a risk-neutral measure in general.
Unfortunately, Proposition 1 cannot be applied, as the weight function w ∈ L 1 (c, ∞) for any c > 0 where w(x) = 2 Instead, we use the definition of the LP/LC points stated in Section 4.1. One can show that is an eigenfunction (this can be obtained by trying an ansatz h(x) = e mx x l ). For κθ ≥ σ 2 , the function h is neither in L 2 w ((0, 1)) nor in L 2 w ((1, ∞)). Thus, both the endpoints 0 and ∞ are LP. Note that, if κθ < σ 2 , then the endpoint ∞ is LP, but the endpoint 0 is LC; thus, there are infinitely many positive eigenfunctions.