Singularidade (matemática)

Na análise real , as singularidades são descontinuidades ou descontinuidades da derivada (às vezes também descontinuidades de derivadas de ordem superior). Existem quatro tipos de descontinuidades: tipo I , que tem dois subtipos, e tipo II , que também pode ser dividido em dois subtipos (embora geralmente não seja).

Para descrever a forma como esses dois tipos de limites estão sendo usados, suponha que ${\ displaystyle f (x)}$ é uma função de um argumento real ${\ displaystyle x}$, e para qualquer valor de seu argumento, diga ${\ displaystyle c}$, então o limite para canhotos ,${\ displaystyle f (c ^ {-})}$, e o limite para destros ,${\ displaystyle f (c ^ {+})}$, são definidos por:

${\ displaystyle f (c ^ {-}) = \ lim _ {x \ to c} f (x)}$, restringida por ${\ displaystyle x$ e

${\ displaystyle f (c ^ {+}) = \ lim _ {x \ to c} f (x)}$, restringida por ${\ displaystyle x> c}$.

O valor que ${\ displaystyle f (c ^ {-})}$ é o valor que a função ${\ displaystyle f (x)}$ tende para como o valor ${\ displaystyle x}$ aproximações ${\ displaystyle c}$de baixo , e o valor${\ displaystyle f (c ^ {+})}$ é o valor que a função ${\ displaystyle f (x)}$ tende para como o valor ${\ displaystyle x}$ aproximações ${\ displaystyle c}$de cima , independentemente do valor real que a função tem no ponto onde${\ displaystyle x = c}$ .

Existem algumas funções para as quais esses limites não existem. Por exemplo, a função

${\ displaystyle g (x) = \ sin \ left ({\ frac {1} {x}} \ right)}$

não tende para nada como ${\ displaystyle x}$ aproximações ${\ displaystyle c = 0}$. Os limites, neste caso, não são infinitos, mas sim indefinidos : não há valor que${\ displaystyle g (x)}$se instala. Pegando emprestado da análise complexa, isso às vezes é chamado de singularidade essencial .

Os casos possíveis em um determinado valor ${\ displaystyle c}$ para o argumento são os seguintes.

• Um ponto de continuidade é um valor de${\ displaystyle c}$ para qual ${\ displaystyle f (c ^ {-}) = f (c) = f (c ^ {+})}$, como se espera para um bom funcionamento. Todos os valores devem ser finitos. Se${\ displaystyle c}$ não é um ponto de continuidade, então ocorre uma descontinuidade em ${\ displaystyle c}$.
• Uma descontinuidade tipo I ocorre quando ambos${\ displaystyle f (c ^ {-})}$ e ${\ displaystyle f (c ^ {+})}$ existem e são finitos, mas pelo menos uma das três condições a seguir também se aplica:
  • ${\ displaystyle f (c ^ {-}) \ neq f (c ^ {+})}$;
  • ${\ displaystyle f (x)}$ não está definido para o caso de ${\ displaystyle x = c}$; ou
  • ${\ displaystyle f (c)}$ tem um valor definido, que, no entanto, não corresponde ao valor dos dois limites.

  As descontinuidades do tipo I podem ser ainda mais distinguidas como sendo um dos seguintes subtipos:

  • Uma descontinuidade de salto ocorre quando${\ displaystyle f (c ^ {-}) \ neq f (c ^ {+})}$, independentemente de ${\ displaystyle f (c)}$ é definido, e independentemente de seu valor, se estiver definido.
  • Uma descontinuidade removível ocorre quando${\ displaystyle f (c ^ {-}) = f (c ^ {+})}$, também independentemente de ${\ displaystyle f (c)}$ é definido, e independentemente do seu valor, se estiver definido (mas que não corresponde ao dos dois limites).
• Uma descontinuidade do tipo II ocorre quando qualquer${\ displaystyle f (c ^ {-})}$ ou ${\ displaystyle f (c ^ {+})}$não existe (possivelmente ambos). Isso tem dois subtipos, que geralmente não são considerados separadamente:
  • Uma descontinuidade infinita é o caso especial quando o limite do lado esquerdo ou do lado direito não existe, especificamente porque é infinito, e o outro limite também é infinito ou é algum número finito bem definido. Em outras palavras, a função possui uma descontinuidade infinita quando seu gráfico possui uma assíntota vertical .
  • Uma singularidade essencial é um termo emprestado da análise complexa (veja abaixo). Este é o caso quando um ou outro limita${\ displaystyle f (c ^ {-})}$ ou ${\ displaystyle f (c ^ {+})}$não existe, mas não porque é uma descontinuidade infinita . As singularidades essenciais não têm limites, nem mesmo se as respostas válidas forem estendidas para incluir${\ displaystyle \ pm \ infty}$.

Na análise real, uma singularidade ou descontinuidade é uma propriedade de uma função sozinha. Quaisquer singularidades que possam existir na derivada de uma função são consideradas como pertencentes à derivada, não à função original.

Singularidades coordenadas

Uma singularidade de coordenada ocorre quando uma aparente singularidade ou descontinuidade ocorre em um quadro de coordenadas, que pode ser removida escolhendo um quadro diferente. Um exemplo disso é a aparente singularidade na latitude de 90 graus em coordenadas esféricas . Um objeto se movendo para o norte (por exemplo, ao longo da linha 0 graus de longitude) na superfície de uma esfera de repente experimentará uma mudança instantânea na longitude no pólo (no caso do exemplo, saltando da longitude 0 para a longitude 180 graus) . Essa descontinuidade, entretanto, é apenas aparente; é um artefato do sistema de coordenadas escolhido, que é singular nos pólos. Um sistema de coordenadas diferente eliminaria a descontinuidade aparente (por exemplo, substituindo a representação de latitude / longitude por uma representação de n- vetor ).

Na análise complexa , existem várias classes de singularidades. Isso inclui as singularidades isoladas, as singularidades não isoladas e os pontos de ramificação.

Singularidades isoladas

Suponha que U seja um subconjunto aberto dos números complexos C , com o ponto a sendo um elemento de U , e que f seja uma função diferenciável complexa definida em alguma vizinhança em torno de a , excluindo a : U \ { a }, então:

• O ponto a é uma singularidade removível de f se existe uma função holomórfica g definida em todo U tal que f ( z ) = g ( z ) para todo z em U \ { a }. A função g é uma substituição contínua da função f . ^[6]
• O ponto a é um pólo ou singularidade não essencial de f se existe uma função holomórfica g definida em U com g ( a ) diferente de zero, e um número natural n tal que f ( z ) = g ( z ) / ( z - a ) ⁿ para todo z em U \ { a }. O menor número n é chamado de ordem do pólo . A própria derivada em uma singularidade não essencial tem uma singularidade não essencial, com n aumentado por 1 (exceto se n for 0 de modo que a singularidade seja removível).
• O ponto a é uma singularidade essencial de f se não for uma singularidade removível nem um pólo. O ponto a é uma singularidade essencial se e somente se a série de Laurent tiver infinitos poderes de grau negativo. ^[2]

Singularidades não isoladas

Além de singularidades isoladas, funções complexas de uma variável podem exibir outro comportamento singular. Estas são chamadas de singularidades não isoladas, das quais existem dois tipos:

• Pontos de cluster : pontos limites de singularidades isoladas. Se forem todos pólos, apesar de admitir expansões da série Laurent em cada um deles, então nenhuma expansão é possível em seu limite.
• Limites naturais : qualquer conjunto não isolado (por exemplo, uma curva) no qual as funções não podem ser continuadas analiticamente ao redor (ou fora delas se forem curvas fechadas na esfera de Riemann ).

Pontos de ramificação

Os pontos de ramificação geralmente são o resultado de uma função com vários valores , como${\ displaystyle {\ sqrt {z}}}$ ou ${\ displaystyle \ log (z)}$, que são definidos dentro de um determinado domínio limitado para que a função possa ter um valor único dentro do domínio. O corte é uma linha ou curva excluída do domínio para introduzir uma separação técnica entre os valores descontínuos da função. Quando o corte é genuinamente necessário, a função terá valores distintos em cada lado do corte do ramo. A forma do corte do ramo é uma questão de escolha, embora deva conectar dois pontos de ramo diferentes (como${\ displaystyle z = 0}$ e ${\ displaystyle z = \ infty}$ para ${\ displaystyle \ log (z)}$) que estão fixos no local.

A função recíproca , exibindo crescimento hiperbólico .

Uma singularidade de tempo finito ocorre quando uma variável de entrada é o tempo e uma variável de saída aumenta para o infinito em um tempo finito. Estes são importantes em cinemática e PDEs ( Equações Diferenciais Parciais ) - infinitos não ocorrem fisicamente, mas o comportamento próximo à singularidade é frequentemente de interesse. Matematicamente, as singularidades de tempo finito mais simples são leis de potência para vários expoentes da forma${\ displaystyle x ^ {- \ alpha},}$dos quais o mais simples é o crescimento hiperbólico , onde o expoente é (negativo) 1:${\ displaystyle x ^ {- 1}.}$ Mais precisamente, a fim de obter uma singularidade em um momento positivo à medida que o tempo avança (de modo que a saída cresce ao infinito), em vez disso, usa ${\ displaystyle (t_ {0} -t) ^ {- \ alpha}}$(usando t para tempo, invertendo a direção para${\ displaystyle -t}$ de modo que o tempo aumenta para o infinito, e mudando a singularidade para frente de 0 para um tempo fixo ${\ displaystyle t_ {0}}$)

Um exemplo seria o movimento de salto de uma bola inelástica em um avião. Se for considerado o movimento idealizado, em que a mesma fração da energia cinética é perdida a cada salto, a frequência dos saltos torna-se infinita, pois a bola pára em um tempo finito. Outros exemplos de singularidades de tempo finito incluem as várias formas do paradoxo Painlevé (por exemplo, a tendência de um giz pular quando arrastado em um quadro-negro) e como a taxa de precessão de uma moeda girada em uma superfície plana acelera para o infinito— antes de parar abruptamente (conforme estudado usando o brinquedo do Disco de Euler ).

Exemplos hipotéticos incluem a " equação do Juízo Final " de Heinz von Foerster (modelos simplistas geram uma população humana infinita em tempo finito).

Na geometria algébrica , uma singularidade de uma variedade algébrica é um ponto da variedade onde o espaço tangente pode não ser definido regularmente. O exemplo mais simples de singularidades são curvas que se cruzam. Mas existem outros tipos de singularidades, como cúspides . Por exemplo, a equação y ² - x ³ = 0 define uma curva que tem uma cúspide na origem x = y = 0 . Pode-se definir o eixo x como uma tangente neste ponto, mas essa definição não pode ser a mesma que a definição em outros pontos. Na verdade, neste caso, o eixo x é uma "tangente dupla".

Para variedades afins e projetivas , as singularidades são os pontos em que a matriz Jacobiana tem uma classificação inferior à de outros pontos da variedade.

Uma definição equivalente em termos de álgebra comutativa pode ser dada, que se estende a variedades e esquemas abstratos : Um ponto é singular se o anel local neste ponto não for um anel local regular .

• Teoria da catástrofe
• Definido e indefinido
• Degenerescência (matemática)
• Divisão por zero
• Crescimento hiperbólico
• Patológico (matemática)
• Solução singular
• Singularidade removível