12.07.2015 Views

The Limits of Mathematics and NP Estimation in ... - Chichilnisky

The Limits of Mathematics and NP Estimation in ... - Chichilnisky

The Limits of Mathematics and NP Estimation in ... - Chichilnisky

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>The</strong> <strong>Limits</strong> <strong>of</strong> <strong>Mathematics</strong><strong>and</strong> <strong>NP</strong> <strong>Estimation</strong> <strong>in</strong> Hilbert Spaces 5<strong>The</strong> <strong>Limits</strong> <strong>of</strong> <strong>Mathematics</strong> <strong>and</strong> <strong>NP</strong> <strong>Estimation</strong> <strong>in</strong> Hilbert Spaces7already stated this does not require lim t→∞ f (t) = 0, <strong>and</strong> it <strong>in</strong>cludes bounded, <strong>in</strong>creas<strong>in</strong>g<strong>and</strong> cyclical real valued functions on R + . 9 It is <strong>of</strong> course possible to <strong>in</strong>clude other weightfunctions as part <strong>of</strong> the methodology <strong>in</strong>troduced <strong>in</strong> (<strong>Chichilnisky</strong> 1976, 1977), provided theweight functions are monotonically decreas<strong>in</strong>g <strong>and</strong> therefore <strong>in</strong>vertible, but the ones specified<strong>in</strong> <strong>Chichilnisky</strong> (1976 <strong>and</strong> 1977) are naturally associated with the models at h<strong>and</strong>. This solutionis an improvement, but the condition that the unknown function belongs to a Hilbert spacestill poses asymptotic restrictions at <strong>in</strong>f<strong>in</strong>ity, which are considered below.In the case <strong>of</strong> optimal growth models <strong>Chichilnisky</strong> (1977), the methodology <strong>of</strong> weightedHilbert spaces is based on a transformation map <strong>in</strong>duced by the model itself, its own ‘discountfactor’ γ : R + → [0, 1), γ(t) = e −γt . Under this transformation, the unbounded samplespace R + is mapped <strong>in</strong>to the bounded sample space [0, 1) where the orig<strong>in</strong>al assumptions <strong>and</strong>results for bounded sample spaces can be re-<strong>in</strong>terpreted appropriately <strong>in</strong> a bounded samplespace. This is the route followed <strong>in</strong> this paper.Before do<strong>in</strong>g so, however, it seems worth discuss<strong>in</strong>g briefly a different methodology that hasbeen suggested for <strong>NP</strong> estimation with unbounded sample spaces, 10 expla<strong>in</strong><strong>in</strong>g why it maybe less suitable.5. Compactify<strong>in</strong>g the sample spaceA natural approach to extend <strong>NP</strong> estimation to unbounded sample spaces would be tocompactify the sample space, <strong>and</strong> apply the exist<strong>in</strong>g results to the compactified space. Forexample, the compactification <strong>of</strong> the positive real l<strong>in</strong>e R + yields a space that is equivalent to abounded <strong>in</strong>terval [a, b]. To proceed with <strong>NP</strong> estimation, one needs to re<strong>in</strong>terpret every functionf : R + → R as a function def<strong>in</strong>ed on the compactified space, ˜f : ˜R → R. Asweseebelow,this requires from the onset that the function f on R has a well-def<strong>in</strong>ed limit<strong>in</strong>g behaviorat <strong>in</strong>f<strong>in</strong>ity, namely lim t→∞ f (t) < ∞. Otherwise, f cannot be extended to a function on thecompactified space. To lift this constra<strong>in</strong>t, Peter Phillips suggested that one could estimate(rather than assume) the behavior <strong>of</strong> the unknown function at <strong>in</strong>f<strong>in</strong>ity. 11 But <strong>in</strong> all cases, somelimit must be assumed for the unknown function, which can be considered an unrealisticrequirement. <strong>The</strong> follow<strong>in</strong>g example shows why.Consider the Alex<strong>and</strong>r<strong>of</strong>f one po<strong>in</strong>t compactification <strong>of</strong> the real l<strong>in</strong>e R + , which consists <strong>of</strong> ‘add<strong>in</strong>g’to the real numbers a po<strong>in</strong>t <strong>of</strong> <strong>in</strong>f<strong>in</strong>ity {∞}, <strong>and</strong> def<strong>in</strong><strong>in</strong>g the correspond<strong>in</strong>g neighborhoods<strong>of</strong> <strong>in</strong>f<strong>in</strong>ity. This is a frequently used technique <strong>of</strong> compactification. A function f on the l<strong>in</strong>eR can be extended to a function on the compactified l<strong>in</strong>e but only if f has a well - def<strong>in</strong>edlimit<strong>in</strong>g behavior at <strong>in</strong>f<strong>in</strong>ity, namely if there exists a well def<strong>in</strong>ed lim t→∞ f (t). Thisisnotalways possible nor a reasonable restriction to impose, for example, this requirement excludesall cyclical functions, for which lim t→∞ f (t) does not exist.One can explore more general forms <strong>of</strong> compactification, such as the Stone - Cechcompactification <strong>of</strong> the l<strong>in</strong>e ̂R, the most general possible compactification <strong>of</strong> the real l<strong>in</strong>e. 12 ̂R isa well behaved Hausdorff space, <strong>and</strong> is a universal compactifier <strong>of</strong> R, which means that everyother compactification <strong>of</strong> R is a subset <strong>of</strong> it. Any function f : R → R can be extended to afunction on the compactified space, ̂f : ̂R → R. However it is difficult to <strong>in</strong>terpret HilbertSpaces <strong>of</strong> functions def<strong>in</strong>ed on ̂R, s<strong>in</strong>ce these would be square <strong>in</strong>tegrable functions def<strong>in</strong>ed onultrafilters rather than on real numbers. Such spaces do not have a natural <strong>in</strong>terpretation.To overcome these difficulties, <strong>in</strong> the follow<strong>in</strong>g we use weighted Hilbert Spaces for <strong>NP</strong>estimation on unbounded samples spaces.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!