Compatibilities and supercompatibility conditions in shape memory alloys determined from correspondence, metrics and symmetries

Resumo Técnico: Compatibilidades e Condições de Supercompatibilidade em Ligas com Memória de Forma Determinadas por Correspondência, Métricas e Simetrias

Problema
A Teoria Fenomenológica da Cristalografia de Martensita (PTMC), desenvolvida na década de 1950, explica com sucesso as microestruturas martensíticas e impulsionou o desenvolvimento de ligas com memória de forma (SMA) com baixa histerese e alta ciclabilidade. Central a isso é o conceito de "supercompatibilidade", onde a martensita pode se formar em qualquer fração volumétrica com uma interface coerente com a austenita. Este estado é matematicamente definido por três "condições de cofatores" (SC1, SC2, SC3) derivadas da mecânica do contínuo, especificamente baseando-se em decomposições polares e tensores de deformação ($\mathbf{U}$). No entanto, o significado físico dessas condições, particularmente a interpretação geométrica dos autovalores de $\mathbf{U}$ e das condições de cofatores (SC2, SC3), permanece difícil de compreender. Além disso, a dependência de bases ortonormais e da decomposição polar na PTMC apresenta desafios para fases não cúbicas. O artigo aborda a necessidade de uma abordagem mais direta e geometricamente intuitiva baseada em cristalografia pura para determinar os parâmetros de rede necessários para a supercompatibilidade.

Metodologia
O autor propõe um framework alternativo chamado Teoria da Correspondência (CT), que utiliza tensores métricos, grupos de simetria e a matriz de correspondência entre as redes de austenita e martensita, evitando a necessidade de decomposição polar. A metodologia procede através de três etapas principais:

1. Interpretação Geométrica da Supercompatibilidade: O artigo rederiva as condições para supercompatibilidade usando geometria simples. Estabelece que a supercompatibilidade requer três condições simultâneas:

   • Compatibilidade A/M: A distorção de rede deve ser uma Deformação de Plano Invariante (IPS), permitindo uma interface coerente entre austenita e martensita.
   • Compatibilidade M/M: Duas variantes de martensita devem estar ligadas por um gêmeo de transformação (Tipo I ou Tipo II).
   • Equação de Cisalhamento/Cisalhamento: A direção de cisalhamento do IPS ($\mathbf{d}$) deve ser proporcional à direção de cisalhamento do gêmeo ($\mathbf{a}$).

2. Framework da Teoria da Correspondência (CT):

   • Gêmeos de Transformação: Em vez de resolver condições de posto-1 em matrizes de deformação, a CT calcula os gêmeos de transformação diretamente a partir das simetrias da fase pai (austenita) e da matriz de correspondência. Gêmeos do Tipo I surgem de planos de espelho da fase pai, e gêmeos do Tipo II de eixos de rotação de 180°. Os elementos de "cisalhamento" são calculados usando tensores métricos e matrizes de intercorrespondência derivadas da decomposição de duplo cosseno.
   • Compatibilidade A/M (Matriz CMC): Uma nova matriz simétrica, a Matriz de Compatibilidade por Correspondência Métrica (CMC), é introduzida: $\mathbf{CMC} = (\mathbf{C}_{M\to A})^t \mathbf{\mathcal{M}}_M \mathbf{C}_{M\to A} - \mathbf{\mathcal{M}}_A$. A condição para compatibilidade A/M (IPS) é que a forma quadrática definida pela CMC degrade de um duplo cone para um duplo plano (degeneração de primeira ordem) ou um plano único (degeneração de segunda ordem). Isso fornece os índices do plano de hábito.
   • Direção de Cisalhamento (Matriz SMC): Uma segunda matriz, Cisalhamento por Correspondência Métrica (SMC), é usada para deduzir a direção de cisalhamento ($\mathbf{d}_A$) do IPS diretamente do plano de hábito ($\mathbf{m}_A$).
   • Verificação de Supercompatibilidade: A condição final é verificada checando a equação "cisalhamento/cisalhamento": $2(\mathbf{m}_A^t \mathbf{n})\mathbf{d}_A = \mathbf{a}$, onde $\mathbf{n}$ e $\mathbf{a}$ são o normal do plano do gêmeo e a direção de cisalhamento, respectivamente.

3. Aplicação ao NiTi: O método é aplicado à transformação B2 (cúbica) $\to$ B19' (monoclínica) em ligas de NiTi. O autor calcula os parâmetros de rede ($a, b, c, \beta$) necessários para satisfazer as condições de degeneração da CMC e, subsequentemente, verifica a supercompatibilidade com vários sistemas de gêmeos.

Principais Contribuições e Resultados

• Reformulação Geométrica: O artigo demonstra que as complexas condições de cofatores (SC1-SC3) podem ser substituídas por três condições geometricamente intuitivas: compatibilidade IPS A/M, compatibilidade de gêmeos M/M e uma proporcionalidade de cisalhamento/cisalhamento. Isso explica por que os pontos de dados experimentais para autovalores ($\lambda_1, \lambda_3$) frequentemente caem sobre uma linha reta (devido à pequena dilatação $\delta$).
• Novas Ferramentas Matemáticas: A introdução das matrizes CMC e SMC permite o cálculo direto de planos de hábito e direções de cisalhamento usando apenas entradas cristalográficas (métricas e simetrias) sem construir matrizes de deformação.
• Análise do NiTi B19':
  • Para ligas de NiTi binárias, os parâmetros de rede reais não satisfazem as condições de compatibilidade A/M (especificamente a condição $b = \sqrt{2}$), explicando a falta de supercompatibilidade em sistemas binários.
  • O artigo identifica relações analíticas para parâmetros de rede que alcançariam a supercompatibilidade. Por exemplo, para um gêmeo do Tipo I no plano (001), a supercompatibilidade é alcançada se $c = \sqrt{2}$ e $a = c/\sin(\beta)$.
  • Para um gêmeo do Tipo I no plano (01$\bar{1}$), o artigo deriva expressões analíticas para $a$ e $c$ como funções do ângulo monoclínico $\beta$.
  • Resultados numéricos mostram que soluções supercompatíveis existem com parâmetros de rede próximos (< 8% de desvio) aos observados em NiTi binário real, sugerindo que a liga ternária ou quaternária poderia visar essas métricas específicas.
• Verificação de Equivalência: A verificação numérica confirma que todas as soluções supercompatíveis encontradas via CT também satisfazem as tradicionais condições de cofatores da PTMC (SC1-SC3). No entanto, o autor observa que uma prova matemática formal de equivalência entre CT e PTMC ainda não foi estabelecida.

Significado e Alegações
O artigo afirma que a Teoria da Correspondência oferece um framework robusto alternativo à PTMC para determinar as condições de supercompatibilidade. Sua principal significância reside em:

1. Simplicidade e Intuição: Ao basear-se em cristalografia pura (métricas, simetrias, correspondência) em vez de mecânica do contínuo (decomposição polar), a abordagem CT fornece uma compreensão geométrica mais clara de por que a supercompatibilidade ocorre.
2. Aplicabilidade a Sistemas Não Cúbicos: Diferente da PTMC, que tem dificuldades com fases não cúbicas devido à exigência de bases ortonormais para a decomposição polar, a CT é naturalmente adequada para fases pai ou filhas não cúbicas.
3. Engenharia de Fase: O método fornece um caminho direto para calcular os parâmetros de rede específicos necessários para visar a supercompatibilidade. Isso é apresentado como uma ferramenta valiosa para a "engenharia de fase" — projetar novas ligas com memória de forma com alta ciclabilidade e baixa histerese, adicionando elementos de liga para ajustar as métricas de rede em direção às condições analíticas derivadas.

O autor conclui que, embora a equivalência formal entre CT e PTMC ainda precise ser provada, a abordagem CT reproduz com sucesso os resultados da PTMC e oferece um framework mais acessível para pesquisas futuras sobre transformações martensíticas supercompatíveis.