<p>This article describes the mathematics for building the foundations of the theory of the Generalized J-integral (GJ-integral) in various variational problems defined on <i>D</i> that gives the shape derivative on singular points such as boundaries, cracks, joints of different boundary conditions and interfaces, which is applicable in fracture mechanics and the shape gradient in shape sensitivity analysis. When the solution <i>u</i> is regular inside <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>ω</mi> <mo>∩</mo> <mi>D</mi> </math></EquationSource> <EquationSource Format="TEX">$\omega \cap D$</EquationSource> </InlineEquation> for an open set <i>ω</i>, the GJ-integral <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>J</mi> <mi>ω</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$J_{\omega}(u)$</EquationSource> </InlineEquation> is made so that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>J</mi> <mi>ω</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$J_{\omega}(u)=0$</EquationSource> </InlineEquation>, and is divided into the sum of Path(Surface)-integral <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi>ω</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$P_{\omega}(u)$</EquationSource> </InlineEquation> and Region-integral <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>R</mi> <mi>ω</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$R_{\omega}(u)$</EquationSource> </InlineEquation>. If for all <i>u</i>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>R</mi> <mi>ω</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$R_{\omega}(u)$</EquationSource> </InlineEquation> is the bounded linear functional with respect to the vector fields derived from shape perturbation, then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>R</mi> <mi>ω</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$R_{\omega}(u)$</EquationSource> </InlineEquation> becomes definable at any <i>ω</i>. Using <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>J</mi> <mi>ω</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$J_{\omega}(u)=0$</EquationSource> </InlineEquation>, the result of erasing smooth regions of <i>u</i> from <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>R</mi> <mi>D</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$R_{D}(u)$</EquationSource> </InlineEquation> is the shape sensitivity of singular points expressed by the GJ-integral made in smooth regions.</p><p><i>Making</i> is done from energy density functions in 2nd-order partial differential equations/systems (PDE/SYS) including nonlinearities and 4th-order PDE using Kirchhoff as an example, where <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>R</mi> <mi>D</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$R_{D}(u)$</EquationSource> </InlineEquation> is associated with the Fréchet derivative of an energy functional. The material Fréchet derivative of the minimizer obtained using the adjoint variable <i>v</i> is expressed by the variation <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>δ</mi> <mi>u</mi> </msub> <msub> <mi>R</mi> <mi>D</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> <mo stretchy="false">[</mo> <mi>v</mi> <mo stretchy="false">]</mo> </math></EquationSource> <EquationSource Format="TEX">$\delta _{u} R_{D}(u)[v]$</EquationSource> </InlineEquation> of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>R</mi> <mi>D</mi> </msub> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$R_{D}(u)$</EquationSource> </InlineEquation> with respect to <i>u</i> and is a generalization of Hadamard’s variational formula, and the shape sensitivity of eigenvalues are linked to the GJ-integral <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13661_2025_2093_Article_IEq13.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>δ</mi> <mi>u</mi> </msub> <msubsup> <mi>R</mi> <mi>D</mi> <mi>E</mi> </msubsup> </math></EquationSource> <EquationSource Format="TEX">$\delta _{u} R_{D}^{E}$</EquationSource> </InlineEquation> in eigenvalue problems.</p><p>The theory can be numerically calculated and is useful for visualization of shape sensitivities and diagnosis of stress concentrations.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Generalized J-integral – mathematical foundation

  • Kohji Ohtsuka

摘要

This article describes the mathematics for building the foundations of the theory of the Generalized J-integral (GJ-integral) in various variational problems defined on D that gives the shape derivative on singular points such as boundaries, cracks, joints of different boundary conditions and interfaces, which is applicable in fracture mechanics and the shape gradient in shape sensitivity analysis. When the solution u is regular inside ω D $\omega \cap D$ for an open set ω, the GJ-integral J ω ( u ) $J_{\omega}(u)$ is made so that J ω ( u ) = 0 $J_{\omega}(u)=0$ , and is divided into the sum of Path(Surface)-integral P ω ( u ) $P_{\omega}(u)$ and Region-integral R ω ( u ) $R_{\omega}(u)$ . If for all u, R ω ( u ) $R_{\omega}(u)$ is the bounded linear functional with respect to the vector fields derived from shape perturbation, then R ω ( u ) $R_{\omega}(u)$ becomes definable at any ω. Using J ω ( u ) = 0 $J_{\omega}(u)=0$ , the result of erasing smooth regions of u from R D ( u ) $R_{D}(u)$ is the shape sensitivity of singular points expressed by the GJ-integral made in smooth regions.

Making is done from energy density functions in 2nd-order partial differential equations/systems (PDE/SYS) including nonlinearities and 4th-order PDE using Kirchhoff as an example, where R D ( u ) $R_{D}(u)$ is associated with the Fréchet derivative of an energy functional. The material Fréchet derivative of the minimizer obtained using the adjoint variable v is expressed by the variation δ u R D ( u ) [ v ] $\delta _{u} R_{D}(u)[v]$ of R D ( u ) $R_{D}(u)$ with respect to u and is a generalization of Hadamard’s variational formula, and the shape sensitivity of eigenvalues are linked to the GJ-integral δ u R D E $\delta _{u} R_{D}^{E}$ in eigenvalue problems.

The theory can be numerically calculated and is useful for visualization of shape sensitivities and diagnosis of stress concentrations.