Em matemática, o produto de todos os inteiros de 1 até algum inteiro não negativo n que tem a mesma paridade de n é chamado de duplo fatorial ou semifatorial de n e é denotado por n!!.. Isto é,
onde A consequência dessa definição é que (como um produto vazio)
Por exemplo, 9!! = 1 × 3 × 5 × 7 × 9 = 945.
Para n par p duplo fatorial é
Para n ímpar é
A sequência de duplos fatoriais ímpares n = 1, 3, 5, 7, ... é a seguinte 1, 3, 15, 105, 945, 10395, 135135, .... A sequência de duplos fatoriais pares n = 0, 2, 4, 6, 8, ... é a seguinte 1, 2, 8, 48, 384, 3840, 46080, 645120, ....
(possivelmente a mais antiga publicação com o uso da notação de duplo fatorial) afirmou que o duplo fatorial foi introduzido para simplificar as expressões de certas integrais trigonométricas que aparecem na derivação do produto de Wallis. O duplo fatorial também aparece para expressar o volume da hiperesfera e tem muitas aplicações em combinatória enumerativa..
O termo fatorial ímpar é algumas vezes usado para o duplo fatorial de um número ímpar.E.g., in and .
Relação com o fatorial Pelo fato de o duplo fatorial envolver somente aproximadamente a metade do fatorial, seu valor não é substancialmente maior que a raiz quadrada de n! e é muito menor que o fatorial iterado (n!)!.
Para um inteiro positivo n = 2k, k ≥ 0, o duplo fatorial pode ser escrito como:
Para um inteiro ímpar n = 2k − 1, k ≥ 1, a seguinte expressão é válida:
Nessa expressão, o primeiro denominador é igual a (2k)!! e cancela com os fatores pares do numerador.
Para um inteiro positivo ímpar n = 2k − 1, k ≥ 1, o duplo fatorial pode ser expresso em termos de k-permutações de 2k como.
Extensões
Argumentos para números negativos A fatorial ordinário, quando estendido para a Função Gama, tem um polo em cada inteiro negativo, impedindo de definir o fatorial nesses números. No entanto, o duplo fatorial de números ímpares podem ser estendidos para qualquer inteiro negativo ímpar invertendo a sua relação de recorrência
que pode ser expressa da seguinte forma:
Usando essa relação de recorrência invertida, −1!! = 1, −3!! = −1, e −5!! = 1/3; números ímpares negativos com maiores magnitudes tem duplo fatorial fracionário. Em particular, quando n é um número ímpar,
Argumentos para números complexos Desconsiderando a definição acima de n!! para valores de n pares, o duplo fatorial de n ímpares pode ser estendido para a maioria dos números reais e complexos z observando que quando z é um inteiro positivo ímpar então . .
Dessa expressão pode-se derivar um definição alternativa para z!! para valores pares e não negativos de inteiros z:
com o valor de 0!!, nesse caso, sendo
A expressão encontrada para z!! é definida para todos os números complexos, exceto os inteiros pares negativos. Usando essa definição, o volume de uma hiperesfera n-dimensional de raio R pode ser expressa como.
Aplicações em combinatória enumerativa Duplos fatoriais surgem com frequência em combinatória enumerativa. Por exemplo, n!! para valores ímpares de n conta: acoplamento perfeito do grafo completo Kn + 1 para n ímpar. Em tal grafo, qualquer vértice v tem n possíveis escolhas de vértices que pode ser correspondido e uma das escolhas feita do problema remanescente é um acoplamento perfeito em um grafo completo com dois vértices a menos. Por exemplo, um grafo completo com 4 vértices, a, b, c, e d tem três acoplamentos perfeitos: ab e cd, ac e bd, e ad e bc. Acoplamentos perfeitos pode ser descritos de vários outras maneiras, incluindo involuções sem pontos fixos em um conjunto de n + 1 itens (permutações em que cada ciclo é um par) ou diagramas de cordas (conjunto de cordas de um conjunto de n + 1 pontos uniformemente espaçados em um círculo tal que cada ponto é extremo de exatamente uma corda, (também chamado de diagrama de Brauer)... O número de acoplamentos em um grafo completo, sem restrição do acoplamento ser perfeito, são dados pelo número de telefone, que podem ser expressos como a soma envolvendo duplos fatoriais.. permutações de Stirling, permutações de multiconjuntos de números 1, 1, 2, 2, ..., k, k em que cada par de números iguais é separado somente por grandes números, onde k = (n + 1)/2. As duas cópias de k devem ser adjacentes; removendo-as das folhas de permutações uma permutação em que o máximo de elementos é k − 1, com n posições em que os valores do par adjacente de k podem ser trocados. Desta construções recursiva, a demonstração que as permutações de Stirling são countados pela duplas permutações seguem por indução. Alternativamente, em vez desta restrição que valores entre um par podem ser maior que isso, pode-se também considerar a permutação destes multiconjuntos em que a primeira cópia de cada par aparece em ordem sorteada; tal permutação define um acoplamento em 2k posições de permutações, então outra vez o número de permutações podem ser contados pela dupla permutação. árvores Heap-ordered, árvores com k + 1 nodos numerados 0, 1, 2, ... k, tal que a raiz da árvore tem rótulo 0, cada outro nodo tem um rótulo maior que seu parente, e tal que os filhos de cada nodo tem um ordem fixa. Um Euler tour da árvore (com aresta duplicada) dá uma permutação de Stirling, e cada permutação de Stirling representa uma árvore desta maneira..
Identidades adicionais Para valores pares de n,
Se a extensão de duplo fatorial de números ímpares para números complexos for considerada, a fórmula é
O Duplo fatorial pode ser usando para calcular integrais de polinômios trigonométricos mais complicados..
Alguma identidades adicionais envolvendo duplos fatoriais de números ímpares são:
Ligações externas
Categoria:Combinatória