architecture
Arquitetura Matemática
A estrutura formal da fórmula mestra P(t): integrando, domínio de integração, consistência dimensional e a fatoração em estágios físicos.
Este capítulo expõe a arquitetura formal da Schubart Master Formula: o que está sendo integrado, sobre qual domínio, e por que a expressão resultante é dimensionalmente consistente. Tendo motivado o arcabouço fisicamente nos capítulos anteriores, o objetivo aqui é tornar seu esqueleto matemático plenamente explícito, de modo que qualquer trabalho numérico ou analítico subsequente repouse sobre uma definição inequívoca.
A representação física expandida
A Schubart Master Formula canônica é a forma de volume compacta . Para tornar sua arquitetura matemática plenamente explícita, este capítulo trabalha com sua representação física expandida,
Aqui é a potência elétrica utilizável instantânea [W]; é a densidade de fluxo de radiação; é a seção de choque de espalhamento; é a transferência de momento direcionado; é a velocidade dos fônons; e é a eficiência de conversão. A integral dupla percorre a variável de energia e a variável angular . Esta é a representação física expandida; a mesma expressão, junto com o glossário padrão de símbolos, é reproduzida em a equação e a referência de notação.
Lendo o integrando como um produto de estágios
O integrando se fatoriza em uma cadeia de estágios físicos, e essa fatoração é a ideia organizadora de todo o arcabouço. Lendo da esquerda para a direita: fornece o recurso incidente; fixa quão fortemente esse recurso se acopla ao material; converte o acoplamento em momento direcionado; transporta esse momento; e o retifica em potência utilizável. Porque esses fatores aparecem como um produto, todo o integrando se anula se qualquer fator se anular — a expressão matemática do argumento da “cadeia” desenvolvido em conversão de energia em não equilíbrio. A forma de produto também significa que os fatores são, em primeira ordem, ajustáveis de forma independente: melhorar o transporte não altera o acoplamento, e vice-versa, o que é o que torna o arcabouço útil para isolar gargalos.
A fatoração pode ser tornada precisa. Apenas dois fatores carregam as variáveis de integração — o fluxo depende de e , e a seção de choque depende de — enquanto , e são, na forma básica, tratados como constantes efetivas representativas do conversor. Sob essa hipótese os fatores constantes saem da integral,
de modo que todo o conteúdo espectral e angular fica concentrado na integral de sobreposição . Essa separação é o que autoriza a metodologia de “isolar o gargalo”: pode-se estudar a sobreposição ambiente–material independentemente do pré-fator de transporte–retificação. Quando algum dos três pré-fatores for de fato dependente da energia ou do ângulo — por exemplo a partir da média microscópica — ele deve permanecer dentro da integral, e a separação acima vale apenas aproximadamente. O arcabouço enuncia a forma geral com todos os fatores dentro da integral precisamente para que essa generalização não exija mudança de estrutura.
Diferenciar a forma fatorada dá a sensibilidade da saída a cada estágio. Como a dependência é multiplicativa, as sensibilidades relativas simplesmente se somam:
Uma melhoria de dez por cento em qualquer fator único produz uma melhoria de dez por cento na saída, e o pior fator domina o ganho alcançável. Essa estrutura de derivada logarítmica é a espinha dorsal quantitativa do argumento do gargalo.
O domínio de integração
O domínio de integração merece cuidado. A integral de energia percorre a faixa de energias presentes no espectro ambiental e às quais o conversor pode se acoplar; formalmente pode-se tomá-la de zero a infinito, no entendimento de que o integrando é desprezível fora do suporte de . A integral angular percorre o ângulo sólido subtendido pelo fluxo incidente na superfície do conversor. Em muitos tratamentos é um ângulo polar e uma integração completa de ângulo sólido introduziria a medida usual ; o arcabouço mantém explícito precisamente para que qualquer medida angular apropriada a uma dada geometria possa ser inserida sem alterar a estrutura geral. O ponto formal importante é que os limites são fixados pelo suporte físico do integrando, não escolhidos arbitrariamente.
Dependência temporal
A saída carrega um argumento temporal explícito porque o fluxo o carrega. O tempo entra através de ; os fatores de acoplamento e retificação são tratados como quase estáticos, significando que respondem de modo efetivamente instantâneo a mudanças no fluxo nas escalas de tempo de interesse. Em consequência, herda sua dependência temporal do ambiente, e o arcabouço descreve naturalmente um conversor cuja saída acompanha um campo ambiental flutuante. Se algum dos parâmetros do material fosse ele próprio dependente do tempo — por exemplo se derivasse com a temperatura — ele também poderia receber um argumento temporal sem alterar a forma da integral.
A hipótese quase estática pode ser enunciada como uma separação de escalas de tempo. Seja o tempo característico ao longo do qual o fluxo ambiental varia e o tempo interno de resposta do conversor (fixado pelo espalhamento e pela coleta). A forma instantânea da fórmula mestra é válida quando
de modo que a cada instante o conversor atingiu efetivamente sua resposta estacionária ao fluxo corrente. Quando isso vale, pode-se promediar a saída sobre uma janela de observação para obter uma potência média,
que é a grandeza que a maioria dos experimentos de fato relata. Caso a separação falhe — um fluxo variando mais rápido do que o conversor consegue responder — o arcabouço exigiria uma convolução com um núcleo de resposta no lugar do produto instantâneo, uma extensão que deixa a estrutura espectral–angular intacta mas substitui os fatores quase estáticos por funções de memória.
Ordem de integração e separabilidade
Como o integrando é um produto de uma parte espectral–angular e um conjunto de fatores quase constantes, o teorema de Fubini garante que a integral dupla pode ser avaliada em qualquer ordem, ou , sempre que o integrando for absolutamente integrável — o que ele é, já que e são não negativos e o integrando tem suporte finito. Essa liberdade é praticamente útil: pode-se integrar sobre o ângulo primeiro para obter um fluxo espectral efetivo e então executar uma única integral de sobreposição espectral,
ou, inversamente, integrar sobre a energia primeiro para obter um padrão angular de potência. As duas rotas devem concordar, e verificar que concordam é um teste de autoconsistência simples, porém eficaz, para qualquer implementação numérica. Quando um fator genuinamente acopla as duas variáveis — por exemplo uma seção de choque dependente do ângulo — a separabilidade se perde e a integral dupla completa deve ser mantida, mas a troca da ordem de integração permanece válida. Esta é outra razão pela qual o arcabouço é escrito com ambas as integrais explícitas, em vez de pré-colapsadas em uma forma efetiva unidimensional.
Consistência dimensional
Um arcabouço desse tipo só é crível se for dimensionalmente sólido, de modo que vale a pena verificar. A densidade de fluxo tem unidades de energia por área, por tempo, por ângulo sólido, por energia — isto é, quando a densidade de energia é expressa por joule. A seção de choque contribui com , a transferência de momento contribui com , a velocidade dos fônons contribui com , e é adimensional. A medida de integração contribui com energia vezes ângulo sólido, . Em qualquer realização concreta do arcabouço o produto dessas unidades, junto com qualquer constante de proporcionalidade que relacione os fatores geométricos à potência, deve reduzir-se a watts. O arcabouço exige que essa redução valha; uma aplicação específica deve fornecer as constantes que fecham a contabilidade exatamente. Essa disciplina — insistir em que as unidades se equilibrem antes de qualquer número ser confiado — é o que impede que o formalismo derive para território infalseável.
Positividade e limitação
Duas propriedades estruturais nos asseguram que a fórmula é bem comportada. Primeiro, a positividade: o fluxo é não negativo por definição, a seção de choque é não negativa, é positiva, e está em . O único fator que pode carregar um sinal é a transferência de momento direcionado , que é positiva quando o empurrão líquido é em direção ao eixo de coleta e seria negativa para um empurrão contra ele. Em um conversor devidamente orientado , de modo que o integrando é não negativo e : o arcabouço não pode relatar potência entregue negativa, como o bom senso físico exige. Segundo, a limitação: porque , a potência entregue nunca pode exceder a potência total retificável que cruza a fronteira,
a qual é ela própria limitada pelo fluxo incidente. Não há configuração dos parâmetros que permita à saída exceder o recurso fornecido pelo ambiente. A positividade e a limitação juntas são as garantias matemáticas que correspondem, respectivamente, a “nenhuma corrente reversa espontânea” e “nenhuma saída além do recurso disponível” — as duas coisas que um modelo crível de conversão de energia nunca deve violar.
Da estrutura à avaliação
Com a arquitetura fixada, o trabalho restante é interpretação e avaliação. O significado e as unidades de cada fator são catalogados em definições das variáveis; a superfície de controle através da qual se traça o balanço é especificada em fronteiras do sistema; a construção completa passo a passo é dada em derivação completa; e as relações reguladoras que decorrem da estrutura são reunidas em relações reguladoras.
Leitura adicional
- R. Courant e D. Hilbert, Methods of Mathematical Physics, Vol. 1 (Interscience, 1953). Referência padrão para os operadores integrais e os argumentos de separabilidade usados aqui.
- G. B. Arfken, H. J. Weber e F. E. Harris, Mathematical Methods for Physicists, 7ª ed. (Academic Press, 2013). Integração multidimensional, medidas e raciocínio dimensional.
- H. B. Callen, Thermodynamics and an Introduction to Thermostatistics, 2ª ed. (Wiley, 1985). Sobre consistência dimensional e as unidades de expressões de balanço de energia.
- J. M. Ziman, Electrons and Phonons (Oxford University Press, 1960). Fundamentação física para o pré-fator de transporte .