Remarks on the outer length billiards

O artigo estuda o problema de bilhar de comprimento externo, provando versões do conjectura de Ivrii para órbitas periódicas de período 3 e 4, demonstrando a existência de espaços funcionais de tabelas de bilhar com curvas invariantes de pontos periódicos para qualquer período $n \ge 3$, e fornecendo uma parametrização explícita e construção geométrica para tabelas centralmente simétricas no caso $n=4$.

O essencial

Imagine que você tem uma bola de bilhar mágica, mas em vez de bater em uma mesa plana, ela roda ao redor de uma pedra lisa e ovalada no chão. Mas há um truque: a bola nunca toca a pedra. Ela fica sempre um pouco fora dela, quicando em linhas imaginárias que tangenciam a pedra.

Este é o mundo do "Bilhar de Comprimento Externo", o tema deste artigo escrito pelos matemáticos Misha Bialy e Serge Tabachnikov.

Aqui está uma explicação simples do que eles descobriram, usando analogias do dia a dia:

1. O Jogo: A "Quarta Bilhar"

Existem três tipos famosos de bilhar com pedras ovais:

• Bilhar Interno: A bola fica dentro da pedra (como uma bola de gude dentro de um pote).
• Bilhar de Área Externa: A bola faz um polígono ao redor da pedra, tentando ter a maior área possível.
• Bilhar Simétrico: Outro tipo de polígono inscrito.

O artigo fala sobre o "Bilhar de Comprimento Externo". Imagine que você está desenhando um polígono (um triângulo, um quadrado, etc.) ao redor da pedra. O "regra" deste jogo é que o perímetro (a soma de todos os lados) desse polígono deve ser o mínimo possível para que ele circule a pedra sem tocá-la. É como se você estivesse tentando amarrar um elástico ao redor da pedra com o menor número de voltas possível, mas o elástico tem que seguir regras estritas de como "quicar".

2. O Grande Mistério: O Conjectura de Ivrii (O "Fantasma" dos Polígonos)

Os matemáticos têm uma suspeita (chamada Conjectura de Ivrii) sobre esse jogo: Se você jogar a bola aleatoriamente, é quase impossível que ela forme um polígono perfeito que se repita para sempre.

Em termos técnicos, eles dizem que os pontos onde isso acontece formam um conjunto de "medida nula". Em linguagem simples: é como tentar acertar um alvo invisível e minúsculo no meio de um estádio gigante. Se você jogar milhões de vezes, a chance de ver um polígono perfeito (como um triângulo ou quadrado que se repete) é zero, a menos que a pedra tenha uma forma muito especial (como um círculo perfeito).

O que os autores provaram:
Eles conseguiram provar matematicamente que, para triângulos (3 lados) e quadrados (4 lados), essa suspeita é verdadeira. Não existe uma "área" no jogo onde esses polígonos se formem facilmente; eles são extremamente raros e instáveis. É como tentar equilibrar uma pilha de pratos no vento: é possível, mas qualquer pequena mudança faz tudo desmoronar.

3. A Exceção: Quando o Jogo Vira um "Truque de Mágica"

Agora, a parte divertida. E se a pedra não for qualquer forma, mas sim uma forma muito específica?

Os autores descobriram que, para qualquer número de lados (3, 4, 5, 100...), existe um "universo de formas" (um espaço funcional) de pedras ovais onde o jogo se torna previsível.

• A Analogia: Imagine que você tem uma massa de modelar. A maioria das formas que você faz fará a bola quicar de forma caótica. Mas, se você moldar a massa de um jeito muito específico (como uma forma que se repete simetricamente), você cria um "caminho mágico".
• Nesses caminhos especiais, a bola pode fazer um loop perfeito de 4 voltas (um quadrado) e repetir isso para sempre, sem nunca errar.
• Para o caso de 4 voltas (quadrados), eles até deram uma "receita de bolo" matemática. Eles mostraram como construir essas pedras ovais usando uma função simples, de forma muito parecida com como se constroem as famosas "Curvas de Radon" (que são formas geométricas que parecem normais, mas têm propriedades estranhas).

4. A Simetria Central: O Espelho

Para o caso dos quadrados (4 voltas), eles focaram em pedras que são simétricas (se você girar 180 graus, elas parecem iguais, como um ovo ou uma elipse).
Eles provaram que, nessas pedras, os quadrados mágicos são sempre paralelogramos (como um losango ou um retângulo inclinado). E o mais legal: eles mostraram como você pode pegar uma função matemática simples (uma curva suave) e transformá-la em uma pedra inteira que permite esse jogo perfeito.

Resumo da Ópera

Pense no artigo como um manual de instruções para um jogo de bilhar cósmico:

1. Regra Geral: Na maioria das pedras, é impossível ver padrões perfeitos se repetindo (triângulos ou quadrados mágicos). Eles são "fantasmas" que não ocupam espaço real.
2. Exceção Específica: Mas, se você construir a pedra de um jeito muito específico (usando as "fórmulas" que eles deram), você pode criar um "caminho de trilho" onde a bola faz um loop perfeito de 4 voltas para sempre.
3. A Ferramenta: Eles usaram geometria avançada (como "distribuições não integráveis", que é uma maneira chique de dizer que o espaço é muito "travado" para permitir movimentos aleatórios, forçando o sistema a seguir regras rígidas) para provar isso.

Em suma: O mundo do bilhar externo é geralmente caótico e imprevisível, mas os matemáticos encontraram as "chaves" secretas para abrir portas onde a ordem e a repetição perfeita reinam.

Resumo técnico

Resumo Técnico: Observações sobre o Bilhar de Comprimento Externo

Autores: Misha Bialy e Serge Tabachnikov
Contexto: O artigo estuda o sistema dinâmico discreto conhecido como "bilhar de comprimento externo" (outer length billiards), associado a uma oval plana (uma curva fechada, estritamente convexa e suave). Este sistema atua no exterior da oval, onde as órbitas periódicas correspondem a polígonos circunscritos à oval que possuem um perímetro extremo. O sistema é frequentemente chamado de "quarto bilhar", distinguindo-se dos modelos de Birkhoff (comprimento interno), bilhar externo (área externa) e bilhar simplético (área interna).

---

1. O Problema Investigado

O artigo aborda dois problemas centrais relacionados a este modelo de bilhar:

1. A Conjectura de Ivrii: Esta conjectura postula que o conjunto de pontos periódicos em um sistema de bilhar genérico tem medida nula (ou, em uma formulação mais fraca, tem interior vazio). O objetivo é verificar se essa propriedade se mantém para o bilhar de comprimento externo, especificamente para períodos 3 e 4.
2. Existência e Descrição de Curvas Invariantes: Investigar a existência de tabelas de bilhar que possuam curvas invariantes compostas inteiramente por pontos periódicos de um período $n$ fixo ($n \ge 3$). Enquanto o caso integrável (elipse) é conhecido, o artigo busca caracterizar a família funcional de tabelas não triviais que satisfazem essa condição.

---

2. Metodologia e Ferramentas Matemáticas

Os autores utilizam uma combinação de geometria simplética, teoria de mapas de torção (twist maps) e geometria sub-riemanniana:

• Mapas de Torção (Twist Maps): O bilhar de comprimento externo é definido como um mapa $T$ que preserva área. Os autores demonstram que tanto $T$ quanto sua segunda iteração $T^2$ são mapas de torção positivos em relação a coordenadas específicas (raio e ângulo). Essa propriedade é crucial para provar a conjectura de Ivrii para períodos baixos.
• Geometria Sub-Riemanniana: Para o problema de existência de curvas invariantes, os autores modelam o espaço de polígonos convexos $P_n$ e definem uma distribuição $D_n$ sobre este espaço. As órbitas periódicas correspondem a curvas horizontais (integral curves) desta distribuição que são fechadas e invariantes sob permutação cíclica.
• Análise de Singularidade: Utilizam critérios de não-singularidade (baseados em Hsu) para provar que perturbações de órbitas circulares geram novas soluções, estabelecendo a existência de espaços funcionais de tabelas de bilhar.
• Geometria Euclidiana e Cálculo Variacional: Provas alternativas para o caso de período 3 utilizam argumentos puramente geométricos sobre deformações infinitesimais de triângulos e propriedades de tangência.

---

3. Principais Resultados e Contribuições

A. Provas da Conjectura de Ivrii para Períodos 3 e 4

• Teorema 1: O conjunto de órbitas periódicas de período 3 e 4 no bilhar de comprimento externo tem interior vazio.
• Mecanismo da Prova: Os autores provam que a segunda iteração do mapa do bilhar ($T^2$) é também um mapa de torção positivo. Se existisse um disco de pontos 4-periódicos, a ação do diferencial do mapa sobre vetores tangentes levaria a uma contradição de sinais (vetores que deveriam ser positivos tornam-se negativos sob iteração inversa), impossibilitando a existência de tal disco.
• Provas Alternativas: A Seção 5 oferece duas provas adicionais para o caso de período 3:
  1. Uma prova puramente geométrica baseada em deformações infinitesimais e convexidade.
  2. Uma prova baseada na não-integrabilidade da distribuição sub-riemanniana no espaço de triângulos.

B. Existência de Espaços Funcionais de Tabelas com Órbitas $n$-periódicas

• Teorema 2: Para todo $n \ge 3$, existe um espaço funcional de tabelas de bilhar de comprimento externo (próximas a um círculo) que possuem curvas invariantes compostas por pontos $n$-periódicos.
• Abordagem: Os autores perturbam a solução circular (que possui órbitas $n$-periódicas óbvias). Eles mostram que a distribuição $D_n$ no espaço de polígonos de perímetro fixo é "completamente não-integrável" (tipo de crescimento $(n, 2n-1)$) em uma vizinhança da curva circular. Isso permite a aplicação de teoremas de perturbação para gerar uma família de curvas horizontais fechadas, que correspondem às novas tabelas de bilhar.

C. Parametrização Explícita para o Caso Simétrico Central ($n=4$)

• Teorema 3: Para tabelas de bilhar com simetria central e órbitas de período 4, os autores fornecem uma parametrização explícita.
  • As órbitas 4-periódicas são necessariamente paralelogramos.
  • A tabela de bilhar $\gamma$ é parametrizada por uma função $f(x)$ (com restrições de periodicidade e derivada limitada).
  • A construção geométrica descrita assemelha-se à construção de curvas de Radon, estendendo um arco convexo no primeiro quadrante para o resto do plano via simetria central e condições de suporte.
• Exemplo: O caso da elipse é recuperado como um caso particular desta parametrização, onde a função $f(x)$ corresponde a uma harmônica específica.

---

4. Significado e Impacto

• Avanço na Conjectura de Ivrii: O trabalho estende a validade da conjectura de Ivrii (que afirma a "não-integrabilidade" genérica de sistemas de bilhar) para o modelo de comprimento externo, um sistema menos estudado que os modelos de Birkhoff ou de área. A prova para períodos 3 e 4 utiliza a estrutura de mapa de torção de forma inovadora.
• Conexão entre Integrabilidade e Não-Integrabilidade: O artigo destaca a tensão entre a existência de curvas invariantes (sinal de integrabilidade parcial) e a conjectura de Ivrii (que sugere que tais curvas não podem preencher um conjunto aberto). O resultado mostra que, embora existam famílias funcionais de tabelas com curvas invariantes de período fixo, o conjunto de todos os pontos periódicos ainda é "pequeno" (interior vazio).
• Novas Construções Geométricas: A parametrização explícita para o caso $n=4$ simétrico oferece uma nova classe de curvas convexas com propriedades dinâmicas específicas, generalizando as curvas de Radon e fornecendo ferramentas para a construção de exemplos em sistemas dinâmicos planares.
• Unificação de Abordagens: O artigo demonstra a eficácia da geometria sub-riemanniana na análise de problemas de bilhar, unificando a análise de diferentes modelos (Birkhoff, externo, simétrico) sob uma mesma estrutura teórica.

Em suma, o artigo consolida o entendimento do bilhar de comprimento externo, provando a "rigidez" de suas órbitas periódicas de baixo período e, simultaneamente, construindo uma riqueza de exemplos de tabelas que suportam órbitas periódicas específicas, enriquecendo a teoria dos sistemas dinâmicos planares.