1 // Copyright (c) 2006 Xiaogang Zhang
2 // Copyright (c) 2006 John Maddock
3 // Use, modification and distribution are subject to the
4 // Boost Software License, Version 1.0. (See accompanying file
5 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8 // XZ wrote the original of this file as part of the Google
9 // Summer of Code 2006. JM modified it to fit into the
10 // Boost.Math conceptual framework better, and to correctly
11 // handle the various corner cases.
14 #ifndef BOOST_MATH_ELLINT_3_HPP
15 #define BOOST_MATH_ELLINT_3_HPP
21 #include <boost/math/special_functions/math_fwd.hpp>
22 #include <boost/math/special_functions/ellint_rf.hpp>
23 #include <boost/math/special_functions/ellint_rj.hpp>
24 #include <boost/math/special_functions/ellint_1.hpp>
25 #include <boost/math/special_functions/ellint_2.hpp>
26 #include <boost/math/special_functions/log1p.hpp>
27 #include <boost/math/special_functions/atanh.hpp>
28 #include <boost/math/constants/constants.hpp>
29 #include <boost/math/policies/error_handling.hpp>
30 #include <boost/math/tools/workaround.hpp>
31 #include <boost/math/special_functions/round.hpp>
33 // Elliptic integrals (complete and incomplete) of the third kind
34 // Carlson, Numerische Mathematik, vol 33, 1 (1979)
36 namespace boost { namespace math {
40 template <typename T, typename Policy>
41 T ellint_pi_imp(T v, T k, T vc, const Policy& pol);
43 // Elliptic integral (Legendre form) of the third kind
44 template <typename T, typename Policy>
45 T ellint_pi_imp(T v, T phi, T k, T vc, const Policy& pol)
47 // Note vc = 1-v presumably without cancellation error.
50 static const char* function = "boost::math::ellint_3<%1%>(%1%,%1%,%1%)";
53 T sphi = sin(fabs(phi));
56 if (k * k * sphi * sphi > 1)
58 return policies::raise_domain_error<T>(function,
59 "Got k = %1%, function requires |k| <= 1", k, pol);
61 // Special cases first:
65 return (k == 0) ? phi : ellint_f_imp(phi, k, pol);
67 if((v > 0) && (1 / v < (sphi * sphi)))
69 // Complex result is a domain error:
70 return policies::raise_domain_error<T>(function,
71 "Got v = %1%, but result is complex for v > 1 / sin^2(phi)", v, pol);
79 // http://functions.wolfram.com/08.06.03.0008.01
81 result = sqrt(1 - m * sphi * sphi) * tan(phi) - ellint_e_imp(phi, k, pol);
83 result += ellint_f_imp(phi, k, pol);
86 if(phi == constants::half_pi<T>())
88 // Have to filter this case out before the next
89 // special case, otherwise we might get an infinity from
91 // Also note that since we can't represent PI/2 exactly
92 // in a T, this is a bit of a guess as to the users true
95 return ellint_pi_imp(v, k, vc, pol);
97 if((phi > constants::half_pi<T>()) || (phi < 0))
99 // Carlson's algorithm works only for |phi| <= pi/2,
100 // use the integrand's periodicity to normalize phi
102 // Xiaogang's original code used a cast to long long here
103 // but that fails if T has more digits than a long long,
104 // so rewritten to use fmod instead:
106 // See http://functions.wolfram.com/08.06.16.0002.01
108 if(fabs(phi) > 1 / tools::epsilon<T>())
111 return policies::raise_domain_error<T>(
113 "Got v = %1%, but this is only supported for 0 <= phi <= pi/2", v, pol);
115 // Phi is so large that phi%pi is necessarily zero (or garbage),
116 // just return the second part of the duplication formula:
118 result = 2 * fabs(phi) * ellint_pi_imp(v, k, vc, pol) / constants::pi<T>();
122 T rphi = boost::math::tools::fmod_workaround(T(fabs(phi)), T(constants::half_pi<T>()));
123 T m = boost::math::round((fabs(phi) - rphi) / constants::half_pi<T>());
125 if((m != 0) && (k >= 1))
127 return policies::raise_domain_error<T>(function, "Got k=1 and phi=%1% but the result is complex in that domain", phi, pol);
129 if(boost::math::tools::fmod_workaround(m, T(2)) > 0.5)
133 rphi = constants::half_pi<T>() - rphi;
135 result = sign * ellint_pi_imp(v, rphi, k, vc, pol);
136 if((m > 0) && (vc > 0))
137 result += m * ellint_pi_imp(v, k, vc, pol);
139 return phi < 0 ? T(-result) : result;
147 return atan(vcr * tan(phi)) / vcr;
153 T arg = vcr * tan(phi);
154 return (boost::math::log1p(arg, pol) - boost::math::log1p(-arg, pol)) / (2 * vcr);
157 if((v < 0) && fabs(k) <= 1)
160 // If we don't shift to 0 <= v <= 1 we get
161 // cancellation errors later on. Use
162 // A&S 17.7.15/16 to shift to v > 0.
164 // Mathematica simplifies the expressions
165 // given in A&S as follows (with thanks to
166 // Rocco Romeo for figuring these out!):
168 // V = (k2 - n)/(1 - n)
169 // Assuming[(k2 >= 0 && k2 <= 1) && n < 0, FullSimplify[Sqrt[(1 - V)*(1 - k2 / V)] / Sqrt[((1 - n)*(1 - k2 / n))]]]
170 // Result: ((-1 + k2) n) / ((-1 + n) (-k2 + n))
172 // Assuming[(k2 >= 0 && k2 <= 1) && n < 0, FullSimplify[k2 / (Sqrt[-n*(k2 - n) / (1 - n)] * Sqrt[(1 - n)*(1 - k2 / n)])]]
173 // Result : k2 / (k2 - n)
175 // Assuming[(k2 >= 0 && k2 <= 1) && n < 0, FullSimplify[Sqrt[1 / ((1 - n)*(1 - k2 / n))]]]
176 // Result : Sqrt[n / ((k2 - n) (-1 + n))]
179 T N = (k2 - v) / (1 - v);
180 T Nm1 = (1 - k2) / (1 - v);
183 if(p2 <= tools::min_value<T>())
184 p2 = sqrt(-v) * sqrt(N);
187 T delta = sqrt(1 - k2 * sphi * sphi);
190 result = ellint_pi_imp(N, phi, k, Nm1, pol);
191 result *= v / (v - 1);
192 result *= (k2 - 1) / (v - k2);
197 t = ellint_f_imp(phi, k, pol);
201 t = v / ((k2 - v) * (v - 1));
202 if(t > tools::min_value<T>())
204 result += atan((p2 / 2) * sin(2 * phi) / delta) * sqrt(t);
208 result += atan((p2 / 2) * sin(2 * phi) / delta) * sqrt(fabs(1 / (k2 - v))) * sqrt(fabs(v / (v - 1)));
214 // See http://functions.wolfram.com/08.06.03.0013.01
215 result = sqrt(v) * atanh(sqrt(v) * sin(phi), pol) - log(1 / cos(phi) + tan(phi));
219 #if 0 // disabled but retained for future reference: see below.
223 // If v > 1 we can use the identity in A&S 17.7.7/8
224 // to shift to 0 <= v <= 1. In contrast to previous
225 // revisions of this header, this identity does now work
226 // but appears not to produce better error rates in
227 // practice. Archived here for future reference...
231 T Nm1 = (v - k2) / v;
232 T p1 = sqrt((-vc) * (1 - k2 / v));
233 T delta = sqrt(1 - k2 * sphi * sphi);
235 // These next two terms have a large amount of cancellation
236 // so it's not clear if this relation is useable even if
237 // the issues with phi > pi/2 can be fixed:
239 result = -ellint_pi_imp(N, phi, k, Nm1, pol);
240 result += ellint_f_imp(phi, k, pol);
242 // This log term gives the complex result when
244 // However that case is dealt with as an error above,
245 // so we should always get a real result here:
247 result += log((delta + p1 * tan(phi)) / (delta - p1 * tan(phi))) / (2 * p1);
252 // Carlson's algorithm works only for |phi| <= pi/2,
253 // by the time we get here phi should already have been
256 BOOST_ASSERT(fabs(phi) < constants::half_pi<T>());
257 BOOST_ASSERT(phi >= 0);
268 result = sphi * (ellint_rf_imp(x, y, z, pol) + v * t * ellint_rj_imp(x, y, z, p, pol) / 3);
273 // Complete elliptic integral (Legendre form) of the third kind
274 template <typename T, typename Policy>
275 T ellint_pi_imp(T v, T k, T vc, const Policy& pol)
277 // Note arg vc = 1-v, possibly without cancellation errors
279 using namespace boost::math::tools;
281 static const char* function = "boost::math::ellint_pi<%1%>(%1%,%1%)";
285 return policies::raise_domain_error<T>(function,
286 "Got k = %1%, function requires |k| <= 1", k, pol);
290 // Result is complex:
291 return policies::raise_domain_error<T>(function,
292 "Got v = %1%, function requires v < 1", v, pol);
297 return (k == 0) ? boost::math::constants::pi<T>() / 2 : ellint_k_imp(k, pol);
302 // Apply A&S 17.7.17:
304 T N = (k2 - v) / (1 - v);
305 T Nm1 = (1 - k2) / (1 - v);
307 result = boost::math::detail::ellint_pi_imp(N, k, Nm1, pol);
308 // This next part is split in two to avoid spurious over/underflow:
309 result *= -v / (1 - v);
310 result *= (1 - k2) / (k2 - v);
311 result += ellint_k_imp(k, pol) * k2 / (k2 - v);
319 T value = ellint_rf_imp(x, y, z, pol) + v * ellint_rj_imp(x, y, z, p, pol) / 3;
324 template <class T1, class T2, class T3>
325 inline typename tools::promote_args<T1, T2, T3>::type ellint_3(T1 k, T2 v, T3 phi, const boost::false_type&)
327 return boost::math::ellint_3(k, v, phi, policies::policy<>());
330 template <class T1, class T2, class Policy>
331 inline typename tools::promote_args<T1, T2>::type ellint_3(T1 k, T2 v, const Policy& pol, const boost::true_type&)
333 typedef typename tools::promote_args<T1, T2>::type result_type;
334 typedef typename policies::evaluation<result_type, Policy>::type value_type;
335 return policies::checked_narrowing_cast<result_type, Policy>(
336 detail::ellint_pi_imp(
337 static_cast<value_type>(v),
338 static_cast<value_type>(k),
339 static_cast<value_type>(1-v),
340 pol), "boost::math::ellint_3<%1%>(%1%,%1%)");
343 } // namespace detail
345 template <class T1, class T2, class T3, class Policy>
346 inline typename tools::promote_args<T1, T2, T3>::type ellint_3(T1 k, T2 v, T3 phi, const Policy& pol)
348 typedef typename tools::promote_args<T1, T2, T3>::type result_type;
349 typedef typename policies::evaluation<result_type, Policy>::type value_type;
350 return policies::checked_narrowing_cast<result_type, Policy>(
351 detail::ellint_pi_imp(
352 static_cast<value_type>(v),
353 static_cast<value_type>(phi),
354 static_cast<value_type>(k),
355 static_cast<value_type>(1-v),
356 pol), "boost::math::ellint_3<%1%>(%1%,%1%,%1%)");
359 template <class T1, class T2, class T3>
360 typename detail::ellint_3_result<T1, T2, T3>::type ellint_3(T1 k, T2 v, T3 phi)
362 typedef typename policies::is_policy<T3>::type tag_type;
363 return detail::ellint_3(k, v, phi, tag_type());
366 template <class T1, class T2>
367 inline typename tools::promote_args<T1, T2>::type ellint_3(T1 k, T2 v)
369 return ellint_3(k, v, policies::policy<>());
374 #endif // BOOST_MATH_ELLINT_3_HPP