我无法适应6F5 超几何函数一行就搞定了。你能建议修改一下来修复它吗?如果你有更好的符号可以写,那么你可以。
\documentclass[11pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{anyfontsize}
\usepackage{tikz}
\usepackage{mathtools, nccmath}
\usepackage[edges]{forest}
\usepackage{bm}
\usetikzlibrary{arrows.meta}
\fontfamily{cmr}
\usetikzlibrary{matrix,shapes,arrows,positioning,chains,shapes.geometric}
\usepackage[margin=1in]{geometry}
\usepackage{amsmath, amsthm, amssymb,amsfonts}
\usepackage{graphicx}
\usepackage{tcolorbox}
\usepackage[numbers]{natbib}
\usepackage{tikz-feynman}
\setcounter{MaxMatrixCols}{20}
\usepackage{hyperref}
\newtheorem{example}{Example}
\renewenvironment{abstract}
{\quotation\small\noindent\rule{\linewidth}{.5pt}\par\smallskip
{\centering\bfseries\abstractname\par}\medskip}
{\par\noindent\rule{\linewidth}{.5pt}\endquotation}
\setlength{\arrayrulewidth}{0.3mm}
\setlength{\tabcolsep}{6pt}
\renewcommand{\arraystretch}{1.5}
\begin{document}
\section{Triangle}
\begin{equation}
\begin{multlined}
I_2=\frac{(s)^{-a_{12345}+D}\Gamma(D/2-a_5)\Gamma(a_{12345}-D)\Gamma(-a_{23}+D/2)\Gamma(-a_{14}+D)\Gamma(-a_{1235}+D)\Gamma(-a_{1245}+D)}{\Gamma(a_3)\Gamma(a_4)\Gamma(a_5)\Gamma(-a_{12345}+3D/2)\Gamma(-a_{235}+D)\Gamma(-a_{145}+D)}\\
\times _{6}F_{5}\left[\begin{array}{l}
{1+a_{12345}-3D/2,\,1+a_{235}-D,\,1+a_{145}-D,\,a_{12345}-D,\,1/2+(a_{1234})/2-D/2,\,1+(a_{1234})/2-D/2} \\
{1+a_{1234}-D,\,1+a_{1235}-D,\,1+a_{1245}-D,\,1+a_{23}-D/2,\,1+a_{14}-D/2}
\end{array} ; -\frac{4 m^{2}}{s} \right]
\end{multlined}
\end{equation}
\end{document}
答案1
我认为这样看起来还不错。当然,它仍然有点拥挤,但方程式适合边缘。我主要将分数改为D/2
以\frac{D}{2}
节省一些空间,并将超几何函数参数的大小改为\scriptsize
。
\documentclass[11pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage{mathtools, amsthm, amssymb, amsfonts}
\begin{document}
\begin{equation}
\begin{multlined}
I_2 = \frac{(s)^{-a_{12345}+D}\Gamma(\frac{D}{2}-a_5)\Gamma(a_{12345}-D)\Gamma(-a_{23}+\frac{D}{2})\Gamma(-a_{14}+D)\Gamma(-a_{1235}+D)\Gamma(-a_{1245}+D)}{\Gamma(a_3)\Gamma(a_4)\Gamma(a_5)\Gamma(-a_{12345}+\frac{3D}{2})\Gamma(-a_{235}+D)\Gamma(-a_{145}+D)}\\
\times {}_{6}F_{5}
\!\left[ \hspace{-3mm} \begin{aligned}
& \scriptstyle
1+a_{12345}-\frac{3D}{2},\,1+a_{235}-D,\,1+a_{145}-D,\,a_{12345}-D,\,\frac{1}{2}+\frac{(a_{1234})}{2}-\frac{D}{2},\,1+\frac{(a_{1234})}{2}-\frac{D}{2} \\
& \scriptstyle
1+a_{1234}-D,\,1+a_{1235}-D,\,1+a_{1245}-D,\,1+a_{23}-\frac{D}{2},\,1+a_{14}-\frac{D}{2}
\end{aligned} ; -\frac{4 m^{2}}{s} \right]
\end{multlined}
\end{equation}
\end{document}
这是另一个解决方案,其中超几何函数稍大一些;它的参数在 中,\textstyle
而不是在 中\scriptstyle
。为了使函数适合该行,我将二元运算符 + 和 - 括在括号中,这样它们就不再被解释为二元运算符,并且它们周围的空间也少了很多。
\documentclass[11pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage{mathtools, amsthm, amssymb, amsfonts}
\begin{document}
\begin{equation}
\begin{aligned}
I_2 = \frac{(s)^{-a_{12345}+D}\Gamma(\frac{D}{2}-a_5)\Gamma(a_{12345}-D)\Gamma(-a_{23}+\frac{D}{2})\Gamma(-a_{14}+D)\Gamma(-a_{1235}+D)\Gamma(-a_{1245}+D)}{\Gamma(a_3)\Gamma(a_4)\Gamma(a_5)\Gamma(-a_{12345}+\frac{3D}{2})\Gamma(-a_{235}+D)\Gamma(-a_{145}+D)}\\
\times {}_{6}F_{5}
\!\left[ \begin{aligned}
& \textstyle
1{+}a_{12345}{-}\frac{3D}{2},\,
1{+}a_{235}{-}D,\,
1{+}a_{145}{-}D,\,
a_{12345}{-}D,\,
\frac{1}{2}{+}\frac{(a_{1234})}{2}{-}\frac{D}{2},\,
1{+}\frac{(a_{1234})}{2}{-}\frac{D}{2} \\
& \textstyle
1{+}a_{1234}{-}D,\,
1{+}a_{1235}{-}D,\,
1{+}a_{1245}{-}D,\,
1{+}a_{23}{-}\frac{D}{2},\,
1{+}a_{14}{-}\frac{D}{2}
\end{aligned} ; -\frac{4 m^{2}}{s} \right]
\end{aligned}
\end{equation}
\end{document}
另外,这与对齐问题无关,但如果您写入\times _{6}F_{5}
,下标中的“6”将被排版为符号的下标\times
。要使其出现在“F”的左侧,您可以{}
在 之前添加空括号_{6}
,如示例中所示。