Dyi-Shing Ou

Research and Project

Nonexistence of Wandering Domains for Infinitely Renormalizable Hénon Maps mathdynamicspublication

Nonexistence of wandering domains for strongly dissipative infinitely renormalizable Hénon-like maps of period doubling type is proved in this project. The result answers an open question asked by several authors [van Strien (2010) and Lyubich (2011)] and produces a positive answer for the absences of wandering domain which is still widely open in higher dimension. Phenomena in dimension two occur in the model and produce both obstruction and solution toward the proof.

The theorem also helps to understand the topological structure of the homoclinic web for such kind of maps: the union of the stable manifolds for all periodic points is dense.


Date: 2015 - present

Preprint: arXiv:1705.05036 (Submitted for publication: Dec. 2016)

Slides for the talk at CUNY (May 17 2017)

Slides for Dynamics Seminar at Stony Brook University (Oct. 23 2016)

Computer software: Renormalization Plot, a program that can renormalize a map and plot the map's topology

Conjugacy of One Dimensional Maps mathdynamicsnumericalpublication

A continuous map $f:[0,1]\rightarrow[0,1]$ is called an $n$-modal map if there is a partition $P=\{0=z_{0}<z_{1}<...<z_{n}=1\}$ such that $f(z_{2i})=0$, $f(z_{2i+1})=1$ and, $f$ is monotone on each $[z_{i},z_{i+1}]$. It was proved by Milnor and Thurston (1977) that there exists a topological semi-conjugacy from a piecewise strictly monotone map to a piecewise linear map.

In this article, we give a method for constructing the topological semi-conjugacy numerically which extends the results from Fotiades, Boudourides (2001) and Banks, Dragan, Jones (2003). In addition, the uniqueness of the semi-conjugacy, is proved by this method. The convergence rate is discussed for the approximation method also. Moreover, in contrast to Fotiades and Banks who only consider condition which ensure the conjugacy map exists, here we state equivalent conditions for the semi-conjugacy to be exactly a bijection, which coincide with Parry's (1966) result. Finally, two applications are given. In one, we study the trajectory of the invariant Cantor set for the logistic map $l_{\mu}(x)=\mu x(1-x)$ when the parameter $\mu\geq4$. In the other, we construct an invariant measure for an $n$-modal map.


Date: 2008 - 2009

Ou and K. Palmer, A Constructive Proof of the Existence of a Semi-Conjugacy for a One Dimensional Map, Discrete and Continuous Dynamical System-B 17 (2012), no. 3, 977-992 DOI:10.3934/dcdsb.2012.17.977

NTU Thesis

Slides for NCTS Workshop on Dynamical Systems (May. 22 2009)

The Analysis of Ghost Leg Game (鬼腳圖的分析) mathalgebradiscreteprobabilitypublication

Mathematical model is constructed to analyze the Ghost Leg Game.


Date: 2003-2004

Ou, (Chinese) 鬼腳圖的分析, 數學傳播 29 (2005), no. 3, 37-48

English draft written in 2003

Two Digit Calculator eedigital

A two digit calculator with addition and substraction function.

The calculator was designed by 7400 series digital logic integrated circuits. Simulation was done by Quartus II.


Date: 2004

Front side of the calculator Back side of the calculator Design of the calculator Simulation

Minesweeper Automatic Solver csalgorithmC++

Automatically detects mines and solve the game Minesweeper.

This was a group work. My role was to write the minesweeper program and impliment the mine search and game solving algorithm.


Date: 2002

Game interface Ability to mark the mines and solve the game

Text User Interface Text Editor csC++

A text mode editor written by C++.


Date: 2001

Open File Editing File Multiple Pages Leaving the Program