Source author record

Roger D. Nussbaum

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

ResearcherUnclaimed source record

math.NT math.CA math.DS math.MG math.NA Numerical Analysis

Catalog footprint

What is connected

5works

6topics

3close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2021arXiv

Hidden Positivity and a New Approach to Numerical Computation of Hausdorff Dimension: Higher Order Methods

In [14], the authors developed a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In this paper, we extend this approach to incorporate high order approximation methods. We again rely on the fact that we can associate to the IFS a parametrized family of positive, linear, Perron-Frobenius operators $L_s$, an idea known in varying degrees of generality for many years. Although $L_s$ is not compact in the setting we consider, it possesses a strictly positive $C^m$ eigenfunction $v_s$ with eigenvalue $R(L_s)$ for arbitrary $m$ and all other points $z$ in the spectrum of $L_s$ satisfy $|z| \le b$ for some constant $b < R(L_s)$. Under appropriate assumptions on the IFS, the Hausdorff dimension of the invariant set of the IFS is the value $s=s_*$ for which $R(L_s) =1$. This eigenvalue problem is then approximated by a collocation method at the extended Chebyshev points of each subinterval using continuous piecewise polynomials of arbitrary degree $r$. Using an extension of the Perron theory of positive matrices to matrices that map a cone $K$ to its interior and explicit a priori bounds on the derivatives of the strictly positive eigenfunction $v_s$, we give rigorous upper and lower bounds for the Hausdorff dimension $s_*$, and these bounds converge rapidly to $s_*$ as the mesh size decreases and/or the polynomial degree increases.

preprint2016arXiv

C^m Eigenfunctions of Perron-Frobenius Operators and a New Approach to Numerical Computation of Hausdorff Dimension

We develop a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In the one dimensional case, our methods require only C^3 regularity of the maps in the IFS. The key idea, which has been known in varying degrees of generality for many years, is to associate to the IFS a parametrized family of positive, linear, Perron-Frobenius operators L_s. The operators L_s can typically be studied in many different Banach spaces. Here, unlike most of the literature, we study L_s in a Banach space of real-valued, C^k functions, k >= 2; and we note that L_s is not compact, but has a strictly positive eigenfunction v_s with positive eigenvalue lambda_s equal to the spectral radius of L_s. Under appropriate assumptions on the IFS, the Hausdorff dimension of the invariant set of the IFS is the value s=s_* for which lambda_s =1. This eigenvalue problem is then approximated by a collocation method using continuous piecewise linear functions (in one dimension) or bilinear functions (in two dimensions). Using the theory of positive linear operators and explicit a priori bounds on the derivatives of the strictly positive eigenfunction v_s, we give rigorous upper and lower bounds for the Hausdorff dimension s_*, and these bounds converge to s_* as the mesh size approaches zero.

preprint2013arXiv

Analyticity and Nonanalyticity of Solutions of Delay-Differential Equations

We consider the equation $$ \dot x(t)=f(t,x(t),x(η(t))) $$ with a variable time-shift $η(t)$. Both the nonlinearity $f$ and the shift function $η$ are given, and are assumed to be analytic (that is, holomorphic) functions of their arguments. Typically the time-shift represents a delay, namely that $η(t)=t-r(t)$ with $r(t)\ge 0$. The main problem considered is to determine when solutions (generally $C^\infty$ and often periodic solutions) of the differential equation are analytic functions of $t$; and more precisely, to determine for a given solution at which values of $t$ it is analytic, and at which values it is not analytic. Both sufficient conditions for analyticity, and also for nonanalyticity, at certain values of $t$ are obtained. It is shown that for some equations there exists a solution which is $C^\infty$ everywhere, and is analytic at certain values of $t$ but is not analytic at other values of $t$. Throughout our analysis, the dynamic properties of the map $t\to η(t)$ play a crucial role.

preprint2012arXiv

Tensor Products, Positive Linear Operators, and Delay-Differential Equations

We develop the theory of compound functional differential equations, which are tensor and exterior products of linear functional differential equations. Of particular interest is the equation $\dot x(t)=-α(t)x(t)-β(t)x(t-1)$ with a single delay, where the delay coefficient is of one sign, say $δβ(t)\ge 0$ with $δ\in{-1,1}$. Positivity properties are studied, with the result that if $(-1)^k=δ$ then the $k$-fold exterior product of the above system generates a linear process which is positive with respect to a certain cone in the phase space. Additionally, if the coefficients $α(t)$ and $β(t)$ are periodic of the same period, and $β(t)$ satisfies a uniform sign condition, then there is an infinite set of Floquet multipliers which are complete with respect to an associated lap number. Finally, the concept of $u_0$-positivity of the exterior product is investigated when $β(t)$ satisfies a uniform sign condition.

preprint2004arXiv

A Metric Inequality for the Thompson and Hilbert Geometries

There are two natural metrics defined on an arbitrary convex cone: Thompson's part metric and Hilbert's projective metric. For both, we establish an inequality giving information about how far the metric is from being non-positively curved.