2684 artigos
Este artigo investiga a bem-postura, controlabilidade e estabilização de sistemas em cascata acoplados, utilizando como exemplo prototípico um sistema de equações de calor e onda unidimensionais, e demonstra resultados de controlabilidade exata simultânea e estabilização polinomial dentro de uma estrutura abstrata de sistemas lineares invariantes no tempo.
Este artigo estabelece um novo quadro teórico de taxa-distorção para campos aleatórios heterogêneos em reticulados finitos, derivando limites não assintóticos e uma expansão de segunda ordem que quantificam o impacto da heterogeneidade estrutural, das restrições de tiling e da correlação espacial no desempenho de compressores científicos de alto desempenho.
Este artigo investiga problemas de otimização para funcionais que relacionam o primeiro autovalor e a rigidez à torção induzidos por energias variacionais anisotrópicas, analisando a minimização e maximização desses funcionais em relação à seminorma controladora.
Este artigo demonstra que, para problemas de oscilação de líquidos em domínios suaves com condições de contorno mistas, todos os autovalores resultantes tornam-se simples sob pequenas perturbações do domínio.
Este artigo fornece uma prova rigorosa da conjectura do dínamo rápido para um modelo de pulso-difusão no toro tridimensional, demonstrando que um campo de velocidade de estiramento-dobra-cisalhamento gera uma instabilidade magnética que persiste mesmo na presença de difusividade resistiva suficientemente pequena.
Este artigo demonstra que desigualdades lineares esparsas, que aproximam externamente o cone semidefinido positivo, geram relaxações de programação linear que fornecem os mesmos limites que as relaxações de programação semidefinida, acelerando assim métodos de ramificação e limite para resolver problemas de otimização não convexa.
Este artigo aplica ferramentas de geometria algébrica e teoria dos invariantes, especificamente coordenadas de Plücker, para construir um modelo algébrico do problema de Equivalência de Códigos Lineares que reduz a recuperação da matriz de equivalência à determinação de uma matriz de permutação, gerando polinômios teoricamente significativos, embora computacionalmente inviáveis para parâmetros criptográficos.
O artigo estabelece a existência de soluções supersolutas e positivas de energia finita para equações elípticas singulares de Lichnerowicz em variedades Riemannianas completas, utilizando argumentos de passo de montanha e desigualdade de Harnack, e demonstra que certas condições de integrabilidade global são necessárias para tais soluções.
Este artigo apresenta o SQInstructor, um novo esquema de assinatura que generaliza o SQIsign ao incorporar estruturas de nível na correspondência de Deuring, permitindo a construção de isogenias entre curvas elípticas supersingulares com requisitos adicionais de mapeamento e resolvendo equações de norma restritas.
Este artigo propõe uma perspectiva proof-theoretic do teorema da incompletude de Gödel, distinguindo entre derivabilidade e consequência semântica baseada em suporte, demonstrando que teorias aritméticas consistentes podem "suportar" suas próprias afirmações de consistência sem as provar, reframing assim a incompletude como uma divergência interna entre dois conceitos de consequência em vez de uma lacuna entre sintaxe e verdade modelar.
Este artigo demonstra que conceitos homotópicos fundamentais, como conjuntos e grupos de homotopia, estendem-se às categorias e categorias apresentáveis enriquecidas nelas, introduzindo "posets de homotopia" que formam torres de Postnikov e caracterizam a subcategoria das categorias completas de Postnikov como o limite das categorias .
Este artigo utiliza métodos de análise espectral local para estabelecer condições necessárias e suficientes que determinam a validade da conjectura de Kippenhahn, relacionando-a aos polinômios característicos de elementos específicos da álgebra gerada pelas matrizes em questão.
Este artigo estabelece o teorema de Reshetnyak para valores quasiregulares de uma generalização de n-variedades com geometria controlada para o espaço euclidiano, generalizando um resultado anterior de Kangasniemi e Onninen.
Este artigo propõe uma aproximação offline-online de um pré-condicionador de decomposição de subespaço para problemas de difusão elíptica com coeficientes heterogêneos, que explora a estrutura localizada de defeitos aleatórios para reduzir o custo computacional em simulações de incerteza, mantendo a robustez e eficiência.
O artigo apresenta um método de aproximação em duas fases que utiliza a função de Green clássica para decompor e resolver singularidades em problemas de Dirichlet harmônicos tridimensionais, combinando regras de quadratura de alta ordem com colocalização em uma base harmônica.
Este artigo investiga a dinâmica qualitativa das soluções suaves das equações de Euler compressíveis isotérmicas com simetria radial, estabelecendo restrições estruturais e condições para formação de singularidades em regimes supersônicos e subsônicos, e validando esses resultados teóricos por meio de simulações numéricas que revelam mecanismos de transição assimétricos.
Este artigo propõe um framework agnóstico a modelos que reformula a extrapolação como um problema de projeção sobre conjuntos viáveis definidos por funções âncora, garantindo limites rigorosos e reduções comprovadas no erro de extrapolação sem aumentar o erro no domínio de amostragem.
Este artigo demonstra que a sequência de Hofstadter de somas consecutivas omite infinitos inteiros positivos, resolvendo uma conjectura do OEIS ao estabelecer limites assintóticos para o crescimento da sequência.
O artigo apresenta um método universal para resolver o problema do centro de Poincaré em singularidades monodrômicas de campos vetoriais planos analíticos, provando a existência de um fator integrante inverso de Laurent e estabelecendo um procedimento teórico para caracterizar centros em campos vetoriais polinomiais, inclusive em famílias complexas que resistiram a outras abordagens.
Este artigo estabelece a existência, unicidade e compatibilidade de soluções muito fracas para uma equação de Schrödinger não linear cúbica com coeficientes irregulares no caso , além de apresentar experimentos numéricos que ilustram o comportamento dessas soluções.