On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

Este artigo estuda uma classe de funções contínuas no intervalo [0,1] com propriedades fractais, estabelecendo critérios para sua monotonicidade, não diferenciabilidade e singularidade, além de analisar as propriedades de seus conjuntos de nível.

O essencial

Imagine que você tem uma linha reta, como uma régua de 1 metro de comprimento, representando o intervalo de 0 a 1. Agora, imagine que você precisa desenhar uma linha sobre essa régua que começa no ponto 0 e termina no ponto 1.

O que os autores deste artigo, Klymchuk e Pratsiovtyi, fizeram foi criar uma "receita" muito especial para desenhar essa linha. O resultado é uma função (uma linha desenhada) que tem propriedades fascinantes e um pouco bizarras: ela é contínua (não tem quebras, é um traço único), mas é tão irregular que nunca é monotônica (ela sobe e desce o tempo todo, sem parar) e tem propriedades fractais (se você der um zoom, ela continua parecendo complexa).

Aqui está a explicação passo a passo, usando analogias do dia a dia:

1. O Mapa do Tesouro (A Representação $Q^*_3$)

Para desenhar essa linha, os autores não usam a régua comum. Eles usam um "mapa de coordenadas" baseado em ternos (números 0, 1 e 2), chamado de sistema ternário.

• A Analogia: Pense em um labirinto gigante onde, a cada passo, você tem três caminhos possíveis: Esquerda (0), Meio (1) ou Direita (2).
• Cada número entre 0 e 1 é como um endereço único neste labirinto, definido por uma sequência infinita de escolhas (0, 2, 1, 0, 2...).
• Os autores usam uma "matriz de probabilidades" (uma tabela de regras) para decidir o tamanho de cada passo no labirinto. Isso cria um mapa único para cada número.

2. A Receita da Função (O Desenho)

A função $f(x)$ é o desenho que você faz seguindo esse mapa.

• Como funciona: Para cada número $x$ no seu labirinto, a função calcula um valor $y$ (a altura do desenho).
• Os Ingredientes: A receita usa dois tipos de "temperos":
  1. $g$ (O tamanho do passo): Controla o quanto o desenho avança.
  2. $\delta$ (O pulo): Controla o quanto o desenho sobe ou desce.
• O segredo está em um parâmetro chamado $\varepsilon$ (épsilon). É como um "botão de controle" que os autores podem girar.

3. O Botão Mágico ($\varepsilon$)

O comportamento da linha desenhada depende totalmente desse botão $\varepsilon$:

• Cenário A: O Botão no "Zero" (Monotonia)
  Se o botão estiver em uma posição baixa, a linha desenhada é sempre crescente. É como uma rampa suave: você só sobe, nunca desce. É chato, mas previsível.

• Cenário B: O Botão no "Meio" (Planos)
  Se o botão estiver exatamente no meio, a linha desenha "patamares". Imagine uma escada onde alguns degraus são tão largos que você pode andar neles sem subir nem descer. Nesses trechos, a função é constante (plana).

• Cenário C: O Botão no "Alto" (O Caos Fractal)
  É aqui que a mágica acontece. Se o botão for girado para valores maiores (entre 0,5 e 1), a linha começa a se comportar de forma louca:

  • Ela sobe e desce em toda e qualquer pequena parte da régua. Não importa o quanto você dê zoom, você sempre verá a linha subindo e descendo.
  • Analogia: Imagine tentar subir uma montanha, mas a cada passo que você dá, o chão se transforma em um vale, e a cada passo no vale, vira um pico. É uma montanha russa infinita e infinitamente pequena.
  • Isso é o que chamam de "agora monotônica" (nowhere monotonic). Ela nunca decide "vou só subir" ou "vou só descer".

4. A Ilusão de Ótica (Funções Singulares)

O artigo também fala sobre "funções singulares".

• A Analogia: Imagine que você tem uma massa de modelar. Você a estica para cobrir toda a régua de 0 a 1.
• Uma função singular é como se você esticasse essa massa de forma que ela cubra todo o espaço, mas sem aumentar a "densidade" em lugar nenhum.
• Em termos matemáticos, a inclinação (derivada) da linha é zero em quase todos os pontos. É como se a linha fosse "plana" em quase toda parte, mas ainda assim conseguisse subir do 0 ao 1. É um paradoxo visual: parece plana, mas sobe.

5. O Que Acontece com os Níveis? (Conjuntos de Nível)

Se você cortar essa linha desenhada com uma tesoura horizontal (fixando uma altura $y$), o que você encontra?

• Se a linha for normal (Cenário A), você corta em apenas um ponto.
• Se a linha tiver patamares (Cenário B), você pode cortar em um segmento inteiro (vários pontos).
• Se a linha for o caos fractal (Cenário C), o corte é estranho: você encontra um número infinito de pontos, mas eles são "espalhados" como areia fina, sem formar um bloco contínuo. É como se a linha tocasse a tesoura em milhares de lugares diferentes, mas nunca ficasse "presa" nela.

Resumo da Ópera

Os autores criaram uma família de funções matemáticas que são como esculturas de papel:

1. Elas são contínuas (o papel não rasga).
2. Elas são definidas por regras de um sistema de numeração especial (o labirinto de 3 caminhos).
3. Dependendo de um ajuste fino (o parâmetro $\varepsilon$), elas podem ser:
   • Uma rampa simples.
   • Uma escada com patamares.
   • Uma montanha russa infinita que sobe e desce em cada fração de milímetro, nunca sendo previsível.

O trabalho deles é importante porque nos ajuda a entender como a complexidade e o caos podem surgir de regras simples e contínuas, desafiando nossa intuição sobre como as linhas "devem" se comportar. É a matemática mostrando que o mundo pode ser muito mais estranho e bonito do que parece à primeira vista.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "ON ONE CLASS OF NOWHERE NON-MONOTONIC FUNCTIONS WITH FRACTAL PROPERTIES THAT CONTAINS A SUBCLASS OF SINGULAR FUNCTIONS" (Sobre uma classe de funções em nenhum ponto monótonas com propriedades fractais que contém uma subclasse de funções singulares), de autoria de S. O. Klymchuk e M. V. Pratsiovtyi.

---

1. Problema e Objetivo

O artigo investiga uma nova classe de funções contínuas definidas no intervalo $[0, 1]$, denotadas por $f(x)$. O objetivo principal é caracterizar as propriedades analíticas e geométricas dessas funções, especificamente focando em:

• A monotonicidade (estudo de quando a função é estritamente crescente, constante em intervalos, ou "em nenhum ponto monótona").
• A diferenciabilidade e a singularidade (funções cuja derivada é zero quase em toda parte, mas que não são constantes).
• A estrutura dos conjuntos de nível (level sets) da função.
• A relação entre a representação dos números reais em um sistema de numeração generalizado ($Q^*_3$) e o comportamento fractal do gráfico da função.

O problema central é construir e analisar funções que, dependendo de parâmetros específicos, exibam comportamentos patológicos (como não diferenciabilidade em nenhum ponto ou monotonicidade em nenhum lugar) enquanto mantêm continuidade.

2. Metodologia

Os autores utilizam uma abordagem baseada na teoria da representação de números reais e na análise de séries infinitas.

• Representação $Q^*_3$: A função é definida utilizando uma representação generalizada dos números reais em base 3 (sistema ternário), baseada em uma matriz estocástica positiva infinita $Q^*_3 = \|q_{ik}\|$. Um número $x \in [0, 1]$ é representado como:
  $$x = \Delta_{Q^*_3} \alpha_1 \alpha_2 \dots = \beta_{\alpha_1(x)} + \sum_{k=2}^{\infty} \left[ \beta_{\alpha_k(x)} \prod_{j=1}^{k-1} q_{\alpha_j(x)j} \right]$$
  onde $\alpha_k \in \{0, 1, 2\}$ são os dígitos da representação.

• Definição da Função $f(x)$: A função alvo é definida por uma série análoga, mas com coeficientes modificados por uma sequência de parâmetros $(\varepsilon_k)$:
  $$f(x) = \delta_{\alpha_1(x)} + \sum_{k=2}^{\infty} \left[ \delta_{\alpha_k(x)} \prod_{j=1}^{k-1} g_{\alpha_j(x)} \right]$$
  Os coeficientes $g_{ik}$ e $\delta_{ik}$ dependem de $\varepsilon_k$:

  • $g_{0k} = g_{2k} = \frac{1 + \varepsilon_k}{3}$
  • $g_{1k} = \frac{1 - 2\varepsilon_k}{3}$
  • $\delta_{0k} = 0, \delta_{1k} = g_{0k}, \delta_{2k} = g_{0k} + g_{1k}$.

• Análise: Os autores utilizam indução matemática para provar convergência e limites, análise de incrementos em cilindros (intervalos definidos por prefixos de dígitos na representação $Q^*_3$) e propriedades de continuidade para estabelecer os teoremas.

3. Contribuições Chave e Resultados

A. Corretude e Continuidade

• Teorema 1: A função $f$ está bem definida e é contínua em todo o intervalo $[0, 1]$.
• O domínio de valores de $f$ é exatamente o intervalo $[0, 1]$.
• A convergência da série é absoluta e uniforme, garantindo a continuidade mesmo em pontos racionais da representação $Q^*_3$.

B. Propriedades de Monotonicidade

O comportamento de monotonicidade depende criticamente do valor da sequência $(\varepsilon_k)$:

1. Crescimento Estrito: Se $0 \le \varepsilon_k < 1/2$para todo$k$, então$g_{1k} > 0$. Neste caso, a função é estritamente crescente em todo o domínio.
2. Constante em Intervalos (Cilindros): Se $\varepsilon_k = 1/2$ para algum $k$, então $g_{1k} = 0$. A função torna-se constante em certos intervalos cilíndricos adjacentes a um conjunto do tipo Cantor.
3. Em Nenhum Ponto Monótona (Nowhere Monotonic): Se $1/2 < \varepsilon_k \le 1$para todo$k$, então$g_{1k} < 0$.
   • Teorema 3: Sob esta condição, a função é em nenhum ponto monótona. Em qualquer subintervalo, existem cilindros onde a função cresce e cilindros onde ela decresce, impedindo a existência de qualquer intervalo de monotonicidade.

C. Singularidade e Diferenciabilidade

• Funções Singulares: Quando $\varepsilon_k = 1/2$, a função é constante em uma união de intervalos cuja soma dos comprimentos é 1. Consequentemente, a derivada $f'(x) = 0$ quase em toda parte (no sentido da medida de Lebesgue), mas a função não é constante globalmente. Isso caracteriza uma função singular.
• Não-Diferenciabilidade: Para o caso em que $1/2 < \varepsilon_k \le 1$, a alternância de sinais nos incrementos da função em cilindros de diferentes níveis sugere forte não-diferenciabilidade, embora o foco do artigo seja mais na estrutura de monotonicidade do que na prova explícita da não-diferenciabilidade em todos os pontos (embora seja implícito no comportamento fractal).

D. Estrutura Fractal e Auto-similaridade

• Teorema 4: O gráfico da função $\Gamma_f$ exibe propriedades de auto-similaridade afim. Se $\varepsilon_n$ é constante, o gráfico e seus subconjuntos associados a dígitos iniciais específicos são afim-equivalentes ao gráfico original. Isso confirma a natureza fractal da função.
• A função é construída de forma que seu gráfico seja composto por cópias escaladas e transladadas de si mesmo, dependendo dos dígitos iniciais da representação $Q^*_3$.

E. Conjuntos de Nível (Level Sets)

A estrutura do conjunto $f^{-1}(y_0)$ (o conjunto de $x$ tal que $f(x) = y_0$) varia drasticamente com $\varepsilon_k$:

• Caso $\varepsilon_k < 1/2$: A função é estritamente crescente; cada conjunto de nível é um único ponto.
• Caso $\varepsilon_k = 1/2$: A função é constante em intervalos; cada conjunto de nível é um ponto ou um segmento (intervalo).
• Caso $\varepsilon_k > 1/2$: A função é em nenhum ponto monótona. Os autores provam que, devido à alternância de sinais nos incrementos e à continuidade, cada conjunto de nível é um conjunto enumerável (countable set). O conjunto não pode ser contínuo (um intervalo) porque os máximos e mínimos locais são enumeráveis.

4. Significado e Relevância

Este trabalho é significativo por várias razões:

1. Generalização de Funções Clássicas: Estende o estudo de funções como a de Cantor e a de Minkowski (que são singulares e monótonas) para uma classe mais ampla que inclui funções em nenhum ponto monótonas.
2. Conexão entre Análise e Teoria dos Números: Demonstra como a escolha de parâmetros em representações de números (sistema $Q^*_3$) controla diretamente propriedades analíticas profundas (monotonicidade, diferenciabilidade) de funções contínuas.
3. Geometria Fractal: Fornece uma construção explícita de funções contínuas cujos gráficos possuem dimensão fractal e propriedades de auto-similaridade, enriquecendo a teoria das funções patológicas.
4. Classificação de Conjuntos de Nível: Oferece uma classificação precisa de como a topologia dos conjuntos de nível muda em função de um parâmetro de controle, transitando de pontos únicos para segmentos e, finalmente, para conjuntos enumeráveis.

Em resumo, o artigo estabelece um quadro teórico robusto para gerar e analisar funções contínuas com comportamentos extremos, utilizando a estrutura de representações de números generalizados como ferramenta fundamental.