Reference documentation for deal.II version 8.5.1
polynomials_piecewise.cc
1 // ---------------------------------------------------------------------
2 //
3 // Copyright (C) 2000 - 2016 by the deal.II authors
4 //
5 // This file is part of the deal.II library.
6 //
7 // The deal.II library is free software; you can use it, redistribute
8 // it, and/or modify it under the terms of the GNU Lesser General
9 // Public License as published by the Free Software Foundation; either
10 // version 2.1 of the License, or (at your option) any later version.
11 // The full text of the license can be found in the file LICENSE at
12 // the top level of the deal.II distribution.
13 //
14 // ---------------------------------------------------------------------
15 
16 #include <deal.II/base/polynomials_piecewise.h>
17 
18 
19 DEAL_II_NAMESPACE_OPEN
20 
21 
22 
23 namespace Polynomials
24 {
25 
26  template <typename number>
28  const unsigned int n_intervals,
29  const unsigned int interval,
30  const bool spans_next_interval)
31  :
32  polynomial (coefficients_on_interval),
33  n_intervals (n_intervals),
34  interval (interval),
35  spans_two_intervals (spans_next_interval)
36  {
37  Assert (n_intervals > 0, ExcMessage ("No intervals given"));
38  AssertIndexRange (interval, n_intervals);
39  }
40 
41 
42 
43  template <typename number>
44  void
46  std::vector<number> &values) const
47  {
48  Assert (values.size() > 0, ExcZero());
49 
50  value(x,values.size()-1,&values[0]);
51  }
52 
53 
54 
55  template <typename number>
56  void
58  const unsigned int n_derivatives,
59  number *values) const
60  {
61  // shift polynomial if necessary
62  number y = x;
63  double derivative_change_sign = 1.;
64  if (n_intervals > 0)
65  {
66  const number step = 1./n_intervals;
67  // polynomial spans over two intervals
68  if (spans_two_intervals)
69  {
70  const double offset = step * interval;
71  if (x<offset || x>offset+step+step)
72  {
73  for (unsigned int k=0; k<=n_derivatives; ++k)
74  values[k] = 0;
75  return;
76  }
77  else if (x<offset+step)
78  y = x-offset;
79  else
80  {
81  derivative_change_sign = -1.;
82  y = offset+step+step-x;
83  }
84  }
85  else
86  {
87  const double offset = step * interval;
88  if (x<offset || x>offset+step)
89  {
90  for (unsigned int k=0; k<=n_derivatives; ++k)
91  values[k] = 0;
92  return;
93  }
94  else
95  y = x-offset;
96  }
97 
98  // on subinterval boundaries, cannot evaluate derivatives properly, so
99  // set them to zero
100  if ((std::abs(y)<1e-14 && (interval > 0 ||
101  derivative_change_sign == -1.))
102  ||
103  (std::abs(y-step)<1e-14 &&
104  (interval < n_intervals-1 || derivative_change_sign == -1.)))
105  {
106  values[0] = value(x);
107  for (unsigned int d=1; d<=n_derivatives; ++d)
108  values[d] = 0;
109  return;
110  }
111  }
112 
113  polynomial.value(y, n_derivatives, values);
114 
115  // change sign if necessary
116  for (unsigned int j=1; j<=n_derivatives; j+=2)
117  values[j] *= derivative_change_sign;
118  }
119 
120 
121 
122  std::vector<PiecewisePolynomial<double> >
123  generate_complete_Lagrange_basis_on_subdivisions (const unsigned int n_subdivisions,
124  const unsigned int base_degree)
125  {
126  std::vector<Polynomial<double> > p_base =
127  LagrangeEquidistant::generate_complete_basis(base_degree);
128  for (unsigned int i=0; i<p_base.size(); ++i)
129  p_base[i].scale(n_subdivisions);
130 
131  std::vector<PiecewisePolynomial<double> > p;
132  p.reserve (n_subdivisions * base_degree + 1);
133 
134  p.push_back (PiecewisePolynomial<double> (p_base[0], n_subdivisions, 0,
135  false));
136  for (unsigned int s=0; s<n_subdivisions; ++s)
137  for (unsigned int i=0; i<base_degree; ++i)
138  p.push_back (PiecewisePolynomial<double> (p_base[i+1], n_subdivisions,
139  s,
140  i==(base_degree-1) &&
141  s<n_subdivisions-1));
142  return p;
143  }
144 
145 }
146 
147 // ------------------ explicit instantiations --------------- //
148 
149 namespace Polynomials
150 {
151  template class PiecewisePolynomial<float>;
152  template class PiecewisePolynomial<double>;
153  template class PiecewisePolynomial<long double>;
154 }
155 
156 DEAL_II_NAMESPACE_CLOSE
#define AssertIndexRange(index, range)
Definition: exceptions.h:1170
static ::ExceptionBase & ExcMessage(std::string arg1)
#define Assert(cond, exc)
Definition: exceptions.h:313
std::vector< PiecewisePolynomial< double > > generate_complete_Lagrange_basis_on_subdivisions(const unsigned int n_subdivisions, const unsigned int base_degree)
PiecewisePolynomial(const Polynomial< number > &coefficients_on_interval, const unsigned int n_intervals, const unsigned int interval, const bool spans_next_interval)
static ::ExceptionBase & ExcZero()