Cálculo em Medidas Ponderadas e Operadores em Forma Divergente, Uma Leitura de Balanços Com Densidade Variável

Revista Matemática Universitária, vol. X, ano a definir ISSN: 2675-5254 — DOI: (será inserido pelo editor) CÁLCULO EM MEDIDAS PONDERADAS E OPERADORES EM FORMA DIVERGENTE UMA LEITURA DE BALANÇOS COM DENSIDADE VARIÁVEL MATEUS RODRIGUES DE MARIA Resumo. Estuda-se um quadro elementar de cálculo em medidas ponderadas associado a uma densidade ρ(x)>0e à medida dµ =ρ(x)dx. Motivados por leis de balanço em meios heterogêneos (onde o acumulado natural é ρf), introduz-se o operador Dρf=ρ−1d dx(ρf), isto é, a taxa efetiva compatível com a densidade. Demonstra-se então uma identidade do tipo Teorema Fundamental do Cálculo (TFC), Zb a (Dρf)ρ dx =ρfb a, e derivam-se consequências estruturais imediatas: uma fórmula de integração por partes na medida ponderada e a solução explícita do problema–modelo Dρf=h. Comentários geométricos via reparametrização y(x) = Rx aρmostram como o peso absorve-se numa coordenada natural. Por fim, discute-se a extensão multivariável via divergência ponderada divρV=ρ−1div(ρV )e um enunciado ponderado do Teorema de Gauss. 1. Introdução O Teorema Fundamental do Cálculo (TFC) costuma ser apresentado como a ponte entre taxas locais evariações globais no intervalo: integrar uma derivada total recupera o salto entre extremos. Em muitos problemas naturais, contudo, o que se conserva ou se acumula não é a grandeza fisoladamente, mas uma quantidade ponderada por uma densidade espacial ρ > 0. Exemplos aparecem em modelos de balanço (massa, energia, carga), em mudanças de coordenadas e jacobianos, em meios heterogêneos e, de modo sistemático, em equações escritas em forma divergente. Data de aceitação: 2026. Palavras chave. medidas ponderadas; densidade variável; operadores em forma divergente; integração por partes; divergência ponderada. 1 Cálculo Ponderado 2 O ponto de partida: balanço em medida ponderada. Seja Ω⊂Rnum domínio e seja ρ∈C1(Ω) com ρ(x)>0. A medida natural do meio é dµ(x)=ρ(x)dx. Em termos de modelagem, ρpode representar densidade de massa, densidade efetiva de amostragem, peso geométrico, ou simplesmente o elemento de volume em coordenadas não-cartesianas. Quando uma dinâmica é formulada por balanço, o objeto estrutural que surge não é a divergência usual de um campo V, mas a divergência do fluxo ponderado ρV : (1) div(ρV ) = ρ s, onde sé um termo fonte (produção por unidade de medida). Dividir por ρsugere o operador natural do meio: (2) divρV:= 1 ρdiv(ρV ). Essa simples renormalização não é ornamento: ela é exatamente a forma pela qual balanço, integração por partes e teoremas integrais (Gauss/Green/Stokes) permanecem coerentes quando a medida deixa de ser uniforme. A identidade integral que torna o operador inevitável. Aplicando o Teorema da Divergência ao campo ρV , obtém-se (3) ZΩ divρV(x)ρ(x)dx =Z∂Ω ρ(x)V(x)·ν(x)dS(x), onde νé o normal exterior. Ou seja: integrar a taxa efetiva divρVna medida do meio recupera o fluxo acumulado através da fronteira. O caso unidimensional surge como uma instância literal de (3). De fato, se Ω = (a, b)⊂ReV=fé escalar, então div(ρV ) = (ρf)′e divρV=1 ρ(ρf)′. Isso motiva definir, em [a, b], (4) Dρf(x) := 1 ρ(x) d dxρ(x)f(x), de modo que Dρé a versão 1D de divρ. Assim, o “TFC renormalizado” deste artigo deixa de ser um truque em uma variável e passa a ser a face unidimensional de um princípio mais geral: em medida dµ =ρ dx, o operador diferencial natural é o divergente ponderado. Motivação concreta: conservação em meio heterogêneo. Para fixar ideias, considere uma haste em [a, b]com densidade linear ρ(x)>0. Se f(x)é uma grandeza específica (por unidade de massa) e h(x)é uma fonte específica, a lei de balanço estacionária escreve-se d dxρ(x)f(x)=ρ(x)h(x),isto é, Dρf(x) = h(x). 3 Mateus Rodrigues de Maria O teorema central do artigo mostra que integrar Dρfna medida ρ dx reconstrói exatamente a variação global de ρf entre os extremos — a versão integrada da conservação. Objetivo e contribuições. O objetivo deste texto é registrar, em nível acessível a leitores de graduação, um pacote de identidades que é recorrente em aplicações e que pode ser usado como ferramenta: •introduzimos o operador Dρ=ρ−1(ρ·)′e provamos a identidade tipo TFC Zb a Dρf(x)ρ(x)dx =ρ(x)f(x)x=b x=a; •deduzimos a fórmula de integração por partes natural na medida ρ dx e resolvemos explicitamente o problema–modelo Dρf=h; •explicamos a interpretação por mudança de variável induzida pela densidade (“coordenada de massa”), mostrando como Dρé uma derivada genuína na coordenada correta; •colocamos o resultado 1D como caso particular do quadro n-dimensional via divρe a identidade integral (3), enfatizando conexões com equações em forma divergente. Convenções. Assumimos ρ∈C1([a, b]) (ou ρ∈C1(Ω) no contexto n-dimensional) eρ>0. As integrais ponderadas são sempre entendidas com respeito a dµ =ρ dx. Organização do artigo. Na Seção 2 registramos a forma do TFC clássico usada no texto. Na Seção 3 introduzimos o ponto de vista de densidade e a lei de balanço que motiva Dρ. Na Seção 4 definimos Dρe suas propriedades básicas. A Seção 5 prova o TFC ponderado/renormalizado. Na Seção 6 obtemos integração por partes e resolvemos o problema–modelo Dρf=h. A Seção 7 traz exemplos. Por fim, na Seção 8 discutimos a extensão em Rnvia divρe a interpretação integral associada. 2. Um lema de base: integrais de derivadas totais O argumento central do artigo é uma aplicação direta do fato elementar de que integrar uma derivada total recupera a variação entre os extremos. Registramos aqui a forma exata usada nas seções seguintes, para evitar qualquer ambiguidade de hipóteses. 2.1. A identidade fundamental. Proposição 2.1 (Integração de derivadas totais).Seja G: [a, b]→Ruma função de classe C1. Então (5) Zb a G′(x)dx =G(b)−G(a). Demonstração. Trata-se do Teorema Fundamental do Cálculo na forma “derivada total”. □ Cálculo Ponderado 4 2.2. Por que esta é a forma relevante aqui. No contexto deste artigo, o objeto que aparece naturalmente não é f, mas a quantidade acumulada ρf, onde ρ∈ C1([a, b]) eρ>0. Assim, a escolha que se repete é G(x) := ρ(x)f(x). Nesse caso, G′(x) = (ρf)′(x), e a identidade (5) lê-se como (6) Zb a (ρf)′(x)dx =ρ(b)f(b)−ρ(a)f(a). A renormalização introduzida adiante consiste em reescrever (ρf)′como ρ Dρf, onde Dρf:= 1 ρ(ρf)′. Com isso, (6) passa imediatamente para a forma “no meio ponderado”, em que se integra a taxa efetiva Dρfna medida natural ρ dx. 2.3. Comentário. A partir de (6), tudo o que vem depois pode ser entendido como um pacote de reescritas estruturais: a densidade ρdeixa de ser um fator “externo” e passa a induzir o operador diferencial compatível com a conservação e com as fórmulas integrais do problema. 3. Densidade, medida natural e leis em forma divergente A presença de uma densidade espacial ρ=ρ(x)>0não é um detalhe estético: ela muda o que está sendo acumulado e, consequentemente, qual operador diferencial aparece de forma canônica. O ponto de vista que guia o artigo é o seguinte: quando o objeto fisicamente/geométricamente relevante é a quantidade acumulada ρf, as identidades integrais e as equações locais surgem naturalmente em forma divergente. 3.1. A medida natural do meio. Fixe um intervalo [a, b]⊂Re uma função ρ∈C1([a, b]), ρ(x)>0em [a, b]. Associamos a ρa medida ponderada dµ =ρ(x)dx. Em outras palavras, integrais do tipo Rb ag(x)ρ(x)dx não são apenas “integrais com peso”: elas representam o integral do observável gcom respeito à medida que o meio seleciona como natural. 5 Mateus Rodrigues de Maria 3.2. Balanços locais e a forma divergente. Um modelo prototípico (e suficientemente geral para motivar o operador do artigo) é o de um balanço estacionário em uma dimensão. Suponha que f(x)represente uma grandeza específica (por unidade de massa, ou por unidade “local” do meio), enquanto ρ(x)codifica a densidade que converte fem quantidade efetivamente acumulada por unidade de comprimento. Assim, a quantidade acumulada por unidade de comprimento é ρ(x)f(x). Se h(x)denota um termo de produção/absorção específico, então o balanço local (na direção x) toma a forma (7) d dxρ(x)f(x)=ρ(x)h(x). Esta é uma equação em forma divergente: o termo que é derivado não é f, mas o fluxo/acúmulo ρf. Ela é a versão unidimensional de um padrão que aparece constantemente em EDPs, mecânica do contínuo e geometria (ver o Comentário 3.2). A leitura estrutural de (7) é simples: quando ρnão é constante, o meio altera a relação entre “taxa” e “acúmulo”; portanto, não se espera que f′(x) = h(x)seja o operador correto do problema. 3.3. O operador induzido por ρ.Dividindo (7) por ρ(x)>0, obtemos uma taxa efetiva (8) 1 ρ(x) d dxρ(x)f(x)=h(x). Isso sugere definir o operador diferencial associado à densidade: Dρf(x) := 1 ρ(x) d dxρ(x)f(x). Com essa notação, (8) torna-se simplesmente Dρf=h. Ou seja: Dρé o operador que transforma a lei de conservação em forma divergente numa equação de “taxa = fonte”. Este é exatamente o tipo de inevitabilidade que buscamos: não escolhemos Dρ por gosto; ele é imposto pela quantidade acumulada ρf e pelo balanço local. Observação 3.1 (Parametrização opcional).Em versões anteriores pode-se escrever ρ=κ+ 1 (com κ>−1). Nada essencial muda: trata-se apenas de uma reparametrização conveniente. Neste texto, tomamos ρcomo objeto primário. Observação 3.2 (Preview multivariável: o mesmo padrão).Em Rn, densidades ρ(x)> 0e balanços locais também aparecem em forma divergente, tipicamente como divρ(x)V(x)=ρ(x)s(x), onde Vé um campo de fluxo e sum termo fonte. Nesse caso, o operador análogo a Dρé a divergência ponderada divρV:= 1 ρdiv(ρV ). Cálculo Ponderado 6 A versão unidimensional deste artigo é, portanto, o protótipo escalar do mesmo mecanismo que reaparece em dimensões superiores. 4. O operador renormalizado induzido pela densidade Dρ Nesta seção formalizamos o operador diferencial naturalmente associado a uma densidade ρ=ρ(x)>0. A ideia central é simples: se a quantidade efetivamente acumulada no meio é ρf, então a noção correta de “taxa” deve medir a variação local de ρf e, em seguida, renormalizar pela própria densidade. 4.1. Definição. Fixe [a, b]⊂Re ρ∈C1([a, b]), ρ(x)>0em [a, b]. Para f∈C1([a, b]), definimos o operador diferencial induzido por ρpor (9) Dρf(x) := 1 ρ(x) d dxρ(x)f(x). Assim, Dρfé a taxa efetiva compatível com a medida ponderada dµ =ρ(x)dx e com a quantidade acumulada ρf. 4.2. Propriedades básicas. As propriedades a seguir são imediatas, mas valem como “axiomas mínimos” que o operador deve satisfazer. Proposição 4.1 (Linearidade).Para quaisquer f, g ∈C1([a, b]) e quaisquer α, β ∈ R, vale Dρ(αf +βg) = αDρf+βDρg. Demonstração. Segue da linearidade da derivada e da definição (9). □ Proposição 4.2 (Forma explícita).Para toda f∈C1([a, b]), vale (10) Dρf=f′+fρ′ ρ. Em particular, se ρé constante, então Dρf=f′. Demonstração. Expande-se a derivada em (9): d dx(ρf) = ρf′+ρ′f. Dividindo por ρ > 0obtemos (10). □ Observação 4.3 (Derivada logarítmica).A correção ρ′/ρ = (log ρ)′mede a variação relativa da densidade. A identidade (10) mostra que Dρcoincide com a derivada usual quando o meio é homogêneo, e ganha um termo de acoplamento quando a densidade varia. Proposição 4.4 (Identidade de conjugação).Para todo f∈C1([a, b]), (11) ρ(x)Dρf(x) = d dxρ(x)f(x), x ∈[a, b]. Equivalentemente, Dρ=ρ−1◦d dx ◦(ρ·). 7 Mateus Rodrigues de Maria Demonstração. É apenas a reescrita da definição (9). □ Proposição 4.5 (Regra do produto em forma útil).Se f, g ∈C1([a, b]), então (12) Dρ(fg) = f g′+g Dρf. Demonstração. Pela definição, Dρ(fg) = 1 ρ(ρfg)′=1 ρ(ρf)′g+ρfg′=(ρf)′ ρg+fg′=g Dρf+fg′. □ Observação 4.6 (Por que (12) é a regra “certa”).A identidade (12) reflete que Dρ age como derivada sobre a quantidade acumulada ρf: ao derivar (ρf)g, aparece naturalmente g′sem correção adicional, enquanto toda a informação do meio fica encapsulada em Dρf. 4.3. Mudança de coordenada induzida pela densidade. Uma forma geométrica (e operacional) de entender Dρé reparametrizar o intervalo pela coordenada de massa (ou coordenada de densidade) (13) y=y(x) := Zx a ρ(t)dt. Como ρ>0, a função yéC1e estritamente crescente, logo invertível. Defina x=x(y)a inversa e, para f, introduza a quantidade acumulada composta U(y):=ρ(x(y)) f(x(y)). Então Ué diferenciável e, pela regra da cadeia, (14) U′(y) = 1 ρ(x(y)) d dxρ(x)f(x)x=x(y)=Dρf(x(y)). Em particular, para todo x∈[a, b], Dρf(x) = U′(y(x)). Observação 4.7 (Interpretação).A identidade (14) diz que Dρé simplesmente a derivada, na coordenada y, da quantidade acumulada ρf após a reparametrização x7→ y. Essa leitura é útil porque antecipa (i) a fórmula do tipo TFC na medida ρ dx, e (ii) a estabilidade de construções análogas em dimensões superiores, onde o papel de “derivada de acúmulo” é desempenhado por operadores em forma divergente. 4.4. Exemplo curto. Tome ρ(x) = 1 + xem [0,1] ef(x) = x2. Então Dρf(x) = 1 1+x d dx(1+x)x2=3x2+ 2x 1+x. Comparando com f′(x) = 2x, vê-se que a densidade crescente modifica a taxa efetiva: o meio “puxa” a variação local via o termo ρ′/ρ. Cálculo Ponderado 8 5. Uma identidade fundamental: o Teorema Fundamental do Cálculo na medida ponderada Com o operador Dρdefinido na Seção 4, enunciamos agora a identidade central do artigo. Ela afirma que, em um meio cuja medida natural é dµ =ρ(x)dx, a integral da taxa efetiva Dρfreconstrói exatamente a variação global da quantidade acumulada ρf. Ideia em uma linha. A identidade de conjugação (11) diz que ρ(x)Dρf(x) = (ρf)′(x). Logo, o teorema abaixo é uma aplicação direta do TFC clássico à função G=ρf. O ponto é que essa reescrita não é cosmética: ela identifica qual é a derivada “natural” do meio e qual é a grandeza cujo balanço realmente se conserva. Teorema 5.1 (TFC na medida ponderada).Sejam ρ∈C1([a, b]) com ρ(x)>0em [a, b]ef∈C1([a, b]). Então (15) Zb a Dρf(x)ρ(x)dx =ρ(b)f(b)−ρ(a)f(a), onde Dρé dado por (9). Demonstração. Pela identidade de conjugação (11), ρ(x)Dρf(x) = d dxρ(x)f(x). Integrando em [a, b]e aplicando o TFC clássico (??) à função G(x) = ρ(x)f(x), obtemos Zb a ρ(x)Dρf(x)dx =ρ(b)f(b)−ρ(a)f(a), que é exatamente (15). □ 5.1. Casos particulares e leituras equivalentes. Corolário 5.2 (Meio homogêneo).Se ρé constante, então Dρf=f′e(15)se reduz ao TFC clássico: Zb a f′(x)dx =f(b)−f(a). Observação 5.3 (Forma “lei de conservação”).A identidade (15) pode ser lida como a forma integrada do balanço (ρf)′=ρ Dρf. Isto é: integrar a taxa efetiva Dρfna medida do meio equivale a medir a variação global da quantidade acumulada ρf nos extremos. Observação 5.4 (Interpretação via coordenada de massa).Seja y(x) = Rx aρ(t)dt como em (13), e seja U(y) = ρ(x(y))f(x(y)). Então, por (14), Dρf(x) = U′(y(x)). 9 Mateus Rodrigues de Maria Além disso, dy =ρ(x)dx. Logo, Zb a Dρf(x)ρ(x)dx =Zy(b) y(a) U′(y)dy =U(y(b)) −U(y(a)) = ρ(b)f(b)−ρ(a)f(a), que recupera (15) e reforça a leitura geométrica: Dρé a derivada da quantidade acumulada na parametrização natural do meio. 5.2. Comentário estrutural. O Teorema 5.1 mostra que a densidade não atua apenas como um peso externo na integral: ela seleciona a forma correta do operador diferencial que representa a taxa local. Essa é a mesma lógica que aparece em operadores em forma divergente e em identidades integrais associadas a medidas ponderadas — um ponto que se torna particularmente nítido quando se passa para dimensões superiores (Seção 8). 6. Duas consequências estruturais: integração por partes e um problema–modelo Nesta seção registramos duas consequências imediatas do mecanismo central do artigo: a identidade de conjugação ρ Dρf= (ρf)′. A primeira é uma fórmula de integração por partes naturalmente compatível com a medida ponderada dµ =ρ(x)dx. A segunda é a solução explícita do problema– modelo Dρf=h, que mostra como “antiderivar” em um meio com densidade variável equivale a integrar na medida do meio e renormalizar pelo próprio peso. 6.1. Integração por partes na medida ponderada. Seja ρ∈C1([a, b]) com ρ(x)>0em [a, b]e considere dµ =ρ(x)dx. A identidade ρDρf= (ρf)′permite transferir propriedades usuais do cálculo clássico para o contexto ponderado sem introduzir ad hoc um novo formalismo. Proposição 6.1 (Integração por partes ponderada).Se f, g ∈C1([a, b]) eρ∈ C1([a, b]) com ρ>0, então (16) Zb a (Dρf)(x)g(x)ρ(x)dx =ρ(x)f(x)g(x)x=b x=a−Zb a f(x)g′(x)ρ(x)dx. Demonstração. Pela identidade de conjugação (11), tem-se ρDρf= (ρf)′. Logo, Zb a (Dρf)g ρ dx =Zb a (ρf)′g dx. Aplicando integração por partes usual ao lado direito, Zb a (ρf)′g dx =(ρf)gb a−Zb a (ρf)g′dx, o que é exatamente (16). □