Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Singularity for graph-directed conjugate equations indexed by a two-vertex digraph

Kazuki Okamura

Abstract

We study graph-directed conjugate functional equations on the unit interval indexed by the complete digraph with self-loops on two vertices. We focus on the singularity and regularity of the solutions for compatible systems of weak contractions. First, we show that both solutions are singular in the affine case unless the two systems coincide; second, we obtain a dichotomy between singularity and smoothness for a class of linear fractional systems; and finally, we give a sufficient condition for singularity in a non-linear setting.

Singularity for graph-directed conjugate equations indexed by a two-vertex digraph

Abstract

We study graph-directed conjugate functional equations on the unit interval indexed by the complete digraph with self-loops on two vertices. We focus on the singularity and regularity of the solutions for compatible systems of weak contractions. First, we show that both solutions are singular in the affine case unless the two systems coincide; second, we obtain a dichotomy between singularity and smoothness for a class of linear fractional systems; and finally, we give a sufficient condition for singularity in a non-linear setting.
Paper Structure (6 sections, 3 theorems, 61 equations, 11 figures)

This paper contains 6 sections, 3 theorems, 61 equations, 11 figures.

Table of Contents

  1. Introduction
  2. Framework
  3. Affine case
  4. Linear fractional case
  5. Non-linear case
  6. Examples

Key Result

Theorem 3.1

(i) If $p_0 \ne q_0$ or $p_1 \ne q_1$, then both of the solutions $\varphi_0$ and $\varphi_1$ of eq:gd-dR-fe-def-alt are singular. (ii) If $p_0 = q_0$ and $p_1 = q_1$, then $\varphi_i (x) = x, x \in [0,1]$, $i = 0,1$.

Figures (11)

  • Figure 1: two-vertex complete digraph with self-loops
  • Figure 2: admissible region in the $(c_{0,0}, c_{1,1})$-plane
  • Figure 3: admissible region in the $(c_{0,0}, c_{1,1}^{\prime})$-plane
  • Figure 4: Graph of $\varphi_0$
  • Figure 5: Graph of $\varphi_1$
  • ...and 6 more figures

Theorems & Definitions (11)

  • Theorem 3.1
  • proof
  • Theorem 4.1
  • proof
  • Remark 4.2
  • Theorem 5.1
  • proof
  • Example 6.1
  • Example 6.2
  • Example 6.3
  • ...and 1 more